Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tomas Gavenciak |
Catching a Fast Robber on Interval Graphs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Richard Schmied, Claus Viehmann |
Approximating Edge Dominating Set in Dense Graphs. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Bell, Prudence W. H. Wong |
Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naoyuki Kamiyama |
Submodular Function Minimization under a Submodular Set Covering Constraint. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Lipton |
Quantum Complexity: Some Recent Results, Some Open Problems, Some Thoughts. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ning Ding 0001, Dawu Gu |
A Note on Obfuscation for Cryptographic Functionalities of Secret-Operation Then Public-Encryption. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Gautam Prakriya |
Planarity Testing Revisited. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Francis Y. L. Chin, Henry C. M. Leung, Siu-Ming Yiu |
Non-adaptive Complex Group Testing with Multiple Positive Sets. |
TAMC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bingbing Zhuang, Hiroshi Nagamochi |
Generating Internally Triconnected Rooted Plane Graphs. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Gourvès, Adria Lyra, Carlos A. J. Martinhon, Jérôme Monnot |
Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Boaz Ben-Moshe, Amit Dvir, Michael Segal 0001, Arie Tamir |
Centdian Computation for Sensor Networks. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ajesh Babu, Nutan Limaye, Girish Varma |
Streaming Algorithms for Some Problems in Log-Space. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Petr A. Golovach, Bernard Lidický, Daniël Paulusma |
L(2, 1, 1)-Labeling Is NP-Complete for Trees. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rongquan Feng, Menglong Nie, Hongfeng Wu |
Twisted Jacobi Intersections Curves. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Charles Jordan, Thomas Zeugmann |
A Note on the Testability of Ramsey's Class. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christian Knauer |
The Complexity of Geometric Problems in High Dimension. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Natalya Gribovskaya, Irina B. Virbitskaite |
A Categorical View of Timed Weak Bisimulation. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jin-yi Cai, Michael Kowalczyk |
A Dichotomy for k-Regular Graphs with {0, 1}-Vertex Assignments and Real Edge Functions. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sucheta Soundarajan, John E. Hopcroft |
Recovering Social Networks from Contagion Information. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Birks, Stanley P. Y. Fung |
Temperature Aware Online Scheduling with a Low Cooling Factor. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sadish Sadasivam, Huaming Zhang |
Closed Rectangle-of-Influence Drawings for Irreducible Triangulations. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Crespelle, Ioan Todinca |
An O(n2){\mathcal{O}}(n^2)-time Algorithm for the Minimal Interval Completion Problem. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Sebastian Müller 0003 |
Different Approaches to Proof Systems. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Yang Kao, Henry C. M. Leung, He Sun 0001, Yong Zhang 0001 |
Deterministic Polynomial-Time Algorithms for Designing Short DNA Words. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bonfante, Florian L. Deloup |
Complexity Invariance of Real Interpretations. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ratschan |
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Iddo Tzameret |
Algebraic Proofs over Noncommutative Formulas. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Gourvès, Jérôme Monnot |
The Max k-Cut Game and Its Strong Equilibria. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John E. Hopcroft |
New Research Directions in the Information Age. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | G. Michele Pinna, Andrea Saba |
Simultaneity in Event Structures. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liaoruo Wang, John E. Hopcroft |
Community Structure in Large Complex Networks. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Hirsch |
Optimal Acceptors and Optimal Proof Systems. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ambos-Spies, Timur Bakibayev |
Nontriviality for Exponential Time w.r.t. Weak Reducibilities. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bulteau, Guillaume Fertin, Irena Rusu |
Revisiting the Minimum Breakpoint Linearization Problem. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bourgeois, Bruno Escoffier, Vangelis Th. Paschos, Johan M. M. van Rooij |
Maximum Independent Set in Graphs of Average Degree at Most Three in O(1.08537n){\mathcal O}(1.08537^n). |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy |
An Automata-Theoretic Characterization of the Chomsky-Hierarchy. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pinar Heggernes, Daniel Meister 0001, Udi Rotics |
Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Uhlmann, Mathias Weller |
Two-Layer Planarization Parameterized by Feedback Edge Set. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Brijder, Hendrik Jan Hoogeboom |
Pivot and Loop Complementation on Graphs and Set Systems. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Guillemot, Matthias Mnich |
Kernel and Fast Algorithm for Dense Triplet Inconsistency. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Hua Teng |
The Laplacian Paradigm: Emerging Algorithms for Massive Graphs. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Péter Biró 0001, Walter Kern, Daniël Paulusma |
On Solution Concepts for Matching Games. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Josef Cibulka, Jan Kyncl, Viola Mészáros, Rudolf Stolar, Pavel Valtr 0001 |
Graph Sharing Games: Complexity and Connectivity. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff |
Proof Complexity of Non-classical Logics. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie |
A Visual Model of Computation. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Jarett Schwartz, Slater Stich, Benjamin J. Wyatt |
Binary De Bruijn Partial Words with One Hole. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Korpelainen, Vadim V. Lozin, Alexander Tiskin |
Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Dmitry Kravchenko, Nikolajs Nahimovs, Alexander Rivosh |
Nonlocal Quantum XOR Games for Large Number of Players. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kratochvíl, Angsheng Li, Jirí Fiala 0001, Petr Kolman (eds.) |
Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sepp Hartung, Rolf Niedermeier |
Incremental List Coloring of Graphs, Parameterized by Conservation. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xin He, Huaming Zhang |
Schnyder Greedy Routing Algorithm. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy |
Distributed Systems and Their Environments. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maw-Shang Chang, Ling-Ju Hung, Ton Kloks, Sheng-Lung Peng |
Block-Graph Width. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Sorbi |
Strong Positive Reducibilities. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Daniel Raible 0001 |
Searching Trees: An Essay. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Z. Zhang |
The Two-Guard Polygon Walk Problem. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki |
Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Atish Das Sarma, Richard J. Lipton, Danupon Nanongkai |
Best-Order Streaming Model. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Iyad A. Kanj |
On Spanners of Geometric Graphs. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ei Ando, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita |
Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Sorbi, Guohua Wu, Yue Yang 0004 |
High Minimal Pairs in the Enumeration Degrees. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu 0002, Guohua Wu |
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jianer Chen, Iyad A. Kanj, Ge Xia |
On Parameterized Exponential Time Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Eustáquio Duarte Pinto, Fábio Protti, Jayme Luiz Szwarcfiter |
Exact and Experimental Algorithms for a Huffman-Based Error Detecting Code. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
even codes, Data compression, error detection, Huffman codes, Hamming codes |
1 | Xiao Yin, Daming Zhu |
Polynomial-Time Algorithm for Sorting by Generalized Translocations. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
translocation, Algorithm, genome rearrangement |
1 | Christoph Schubert |
Terminal Coalgebras for Measure-Polynomial Functors. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fangju Wang, Kyle Swegles |
An Online Algorithm for Applying Reinforcement Learning to Handle Ambiguity in Spoken Dialogues. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | S. Barry Cooper |
The Extended Turing Model as Contextual Tool. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Witt |
Greedy Local Search and Vertex Cover in Sparse Random Graphs. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lusheng Wang 0001, Binhai Zhu |
On the Tractability of Maximal Strip Recovery. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of Motion Planning on Directed Graphs. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Lafitte, Michael Weiss |
An Almost Totally Universal Tile Set. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zongyang Zhang, Zhenfu Cao, Rong Ma |
An Observation on Non-Malleable Witness-Indistinguishability and Non-Malleable Zero-Knowledge. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bin Fu, Ming-Yang Kao, Lusheng Wang 0001 |
Discovering Almost Any Hidden Motif from Multiple Sequences in Polynomial Time with Low Sample Complexity and High Success Probability. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Bampas, Andreas-Nikolas Göbel, Aris Pagourtzis, Aris Tentes |
On the Connection between Interval Size Functions and Path Counting. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Bereg, Minghui Jiang 0001, Boting Yang, Binhai Zhu |
On the Red/Blue Spanning Tree Problem. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peng Zhang 0008, Jin-yi Cai, Linqing Tang, Wenbo Zhao 0001 |
Approximation and Hardness Results for Label Cut and Related Problems. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Binhai Zhu |
Approximability and Fixed-Parameter Tractability for the Exemplar Genomic Distance Problems. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Elberfeld, Ilka Schnoor, Till Tantau |
Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bo Jiang 0004, Xuehou Tan |
Searching a Circular Corridor with Two Flashlights. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jianer Chen, S. Barry Cooper (eds.) |
Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Erich Doberkat |
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Qilong Feng, Yang Liu 0002, Songjian Lu, Jianxin Wang 0001 |
Improved Deterministic Algorithms for Weighted Matching and Packing Problems. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jiong Guo |
Fixed-Parameter Algorithms for Graph-Modeled Date Clustering. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maren Martens |
A Simple Greedy Algorithm for the k-Disjoint Flow Problem. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leslie G. Valiant |
Neural Computations That Support Long Mixed Sequences of Knowledge Acquisition Tasks. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ruei-Yuan Chang, Guanling Lee, Sheng-Lung Peng |
Minimum Vertex Ranking Spanning Tree Problem on Permutation Graphs. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Toulouse, Roberto Wolfler Calvo |
On the Complexity of the Multiple Stack TSP, kSTSP. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marc Kaplan, Sophie Laplante |
Kolmogorov Complexity and Combinatorial Methods in Communication Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Carbone, Linda Dib |
Co-evolution and Information Signals in Biological Sequences. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lokshtanov, Matthias Mnich, Saket Saurabh 0001 |
Linear Kernel for Planar Connected Dominating Set. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jin-yi Cai, Pinyan Lu, Mingji Xia |
A Computational Proof of Complexity of Some Restricted Counting Problems. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ambos-Spies, Thorsten Kräling |
Quantitative Aspects of Speed-Up and Gap Phenomena. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Faisal N. Abu-Khzam |
A Quadratic Kernel for 3-Set Packing. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
crown decomposition, kernelization, Fixed-parameter algorithms, Set Packing |
1 | Jirí Fiala 0001, Petr A. Golovach, Jan Kratochvíl |
Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Markus Hinkelmann, Andreas Jakoby |
Preserving Privacy versus Data Retention. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anke van Zuylen |
Linear Programming Based Approximation Algorithms for Feedback Set Problems in Bipartite Tournaments. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pinar Heggernes, Daniel Meister 0001, Charis Papadopoulos |
A Complete Characterisation of the Linear Clique-Width of Path Powers. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Berendsen, Taolue Chen, David N. Jansen |
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|