TAMC C

42 papers

YearTitle / Authors
2010A Categorical View of Timed Weak Bisimulation.
Natalya Gribovskaya, Irina B. Virbitskaite
2010A Dichotomy for
Jin-Yi Cai, Michael Kowalczyk
2010A Note on the Testability of Ramsey's Class.
Charles Jordan, Thomas Zeugmann
2010A Visual Model of Computation.
Ian Mackie
2010Algebraic Proofs over Noncommutative Formulas.
Iddo Tzameret
2010An
Christophe Crespelle, Ioan Todinca
2010An Automata-Theoretic Characterization of the Chomsky-Hierarchy.
Benedek Nagy
2010Binary De Bruijn Partial Words with One Hole.
Francine Blanchet-Sadri, Jarett Schwartz, Slater Stich, Benjamin J. Wyatt
2010Centdian Computation for Sensor Networks.
Boaz Ben-Moshe, Amit Dvir, Michael Segal, Arie Tamir
2010Closed Rectangle-of-Influence Drawings for Irreducible Triangulations.
Sadish Sadasivam, Huaming Zhang
2010Community Structure in Large Complex Networks.
Liaoruo Wang, John E. Hopcroft
2010Complexity Invariance of Real Interpretations.
Guillaume Bonfante, Florian L. Deloup
2010Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs.
Laurent Gourvès, Adria Lyra, Carlos A. J. Martinhon, Jérôme Monnot
2010Deterministic Polynomial-Time Algorithms for Designing Short DNA Words.
Ming-Yang Kao, Henry C. M. Leung, He Sun, Yong Zhang
2010Different Approaches to Proof Systems.
Olaf Beyersdorff, Sebastian Müller
2010Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width.
Pinar Heggernes, Daniel Meister, Udi Rotics
2010Generating Internally Triconnected Rooted Plane Graphs.
Bingbing Zhuang, Hiroshi Nagamochi
2010Graph Sharing Games: Complexity and Connectivity.
Josef Cibulka, Jan Kyncl, Viola Mészáros, Rudolf Stolar, Pavel Valtr
2010Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult.
Nicholas Korpelainen, Vadim V. Lozin, Alexander Tiskin
2010Incremental List Coloring of Graphs, Parameterized by Conservation.
Sepp Hartung, Rolf Niedermeier
2010Kernel and Fast Algorithm for Dense Triplet Inconsistency.
Sylvain Guillemot, Matthias Mnich
2010Maximum Independent Set in Graphs of Average Degree at Most Three in
Nicolas Bourgeois, Bruno Escoffier, Vangelis Th. Paschos, Johan M. M. van Rooij
2010New Research Directions in the Information Age.
John E. Hopcroft
2010Nonlocal Quantum XOR Games for Large Number of Players.
Andris Ambainis, Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh
2010Nontriviality for Exponential Time w.r.t. Weak Reducibilities.
Klaus Ambos-Spies, Timur Bakibayev
2010On Solution Concepts for Matching Games.
Péter Biró, Walter Kern, Daniël Paulusma
2010Optimal Acceptors and Optimal Proof Systems.
Edward A. Hirsch
2010Pivot and Loop Complementation on Graphs and Set Systems.
Robert Brijder, Hendrik Jan Hoogeboom
2010Proof Complexity of Non-classical Logics.
Olaf Beyersdorff
2010Recovering Social Networks from Contagion Information.
Sucheta Soundarajan, John E. Hopcroft
2010Revisiting the Minimum Breakpoint Linearization Problem.
Laurent Bulteau, Guillaume Fertin, Irena Rusu
2010Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable.
Stefan Ratschan
2010Schnyder Greedy Routing Algorithm.
Xin He, Huaming Zhang
2010Simultaneity in Event Structures.
G. Michele Pinna, Andrea Saba
2010Streaming Algorithms for Some Problems in Log-Space.
Ajesh Babu, Nutan Limaye, Girish Varma
2010Temperature Aware Online Scheduling with a Low Cooling Factor.
Martin Birks, Stanley P. Y. Fung
2010The Complexity of Geometric Problems in High Dimension.
Christian Knauer
2010The Laplacian Paradigm: Emerging Algorithms for Massive Graphs.
Shang-Hua Teng
2010The Max
Laurent Gourvès, Jérôme Monnot
2010Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Jan Kratochvíl, Angsheng Li, Jirí Fiala, Petr Kolman
2010Twisted Jacobi Intersections Curves.
Rongquan Feng, Menglong Nie, Hongfeng Wu
2010Two-Layer Planarization Parameterized by Feedback Edge Set.
Johannes Uhlmann, Mathias Weller