Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Kowalczyk, Jin-yi Cai |
Holant Problems for Regular Graphs with Complex Edge Functions. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Marion, Thomas Schwentick (eds.) |
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France |
STACS |
2010 |
DBLP BibTeX RDF |
|
1 | Fedor V. Fomin, Yngve Villanger |
Finding Induced Subgraphs via Minimal Triangulations. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lance Fortnow, Jack H. Lutz, Elvira Mayordomo |
Inseparability and Strong Hypotheses for Disjoint NP Pairs. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Kuhn |
Local Multicoloring Algorithms: Computing a Nearly-Optimal TDMA Schedule in Constant Time. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Erik D. Demaine, MohammadTaghi Hajiaghayi, Hamid Mahini, Morteza Zadimoghaddam |
The Price of Anarchy in Cooperative Network Creation Games. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Aubrun, Mathieu Sablik |
An Order on Sets of Tilings Corresponding to an Order on Languages. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Partha Mukhopadhyay |
Quantum Query Complexity of Multilinear Identity Testing. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Babak Farzad, Lap Chi Lau, Van Bang Le, Nguyen Ngoc Tuy |
Computing Graph Roots Without Short Cycles. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Albers, Jean-Yves Marion |
Preface - 26th International Symposium on Theoretical Aspects of Computer Science. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov, Víctor Dalmau, Martin Grohe, Dániel Marx |
Enumerating Homomorphisms. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
Weak MSO with the Unbounding Quantifier. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kratsch |
Polynomial Kernelizations for MIN F+Pi1 and MAX NP. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mustaq Ahmed, Anna Lubiw |
Shortest Paths Avoiding Forbidden Subpaths. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Manfred Kufleitner |
Fragments of First-Order Logic over Infinite Words. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Václav Brozek, Antonín Kucera 0001, Jan Obdrzálek |
Qualitative Reachability in Stochastic BPA Games. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe |
Büchi Complementation Made Tight. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Le Gall |
Efficient Isomorphism Testing for a Class of Group Extensions. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos |
Approximating Acyclicity Parameters of Sparse Hypergraphs. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Cheraghchi, Amin Shokrollahi |
Almost-Uniform Sampling of Points on High-Dimensional Algebraic Varieties. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bousquet, Jean Daligault, Stéphan Thomassé, Anders Yeo |
A Polynomial Kernel for Multicut in Trees. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ho-Leung Chan, Jeff Edmonds, Tak Wah Lam, Lap-Kei Lee, Alberto Marchetti-Spaccamela, Kirk Pruhs |
Nonclairvoyant Speed Scaling for Flow and Energy. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kirsten, Sylvain Lombardy |
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bodo Manthey |
On Approximating Multi-Criteria TSP. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Eric Pin |
Profinite Methods in Automata Theory. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Glencora Borradaile, Erik D. Demaine, Siamak Tazari |
Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joël Alwen, Chris Peikert |
Generating Shorter Bases for Hard Random Lattices. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Florian Horn 0001 |
Random Fruits on the Zielonka Tree. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Gelade, Marcel Marquardt, Thomas Schwentick |
The Dynamic Complexity of Formal Languages. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Victor Chepoi, Morgan Seston |
An Approximation Algorithm for linfinity Fitting Robinson Structures to Distances. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gianni Franceschini, Roberto Grossi, S. Muthukrishnan 0001 |
Optimal Cache-Aware Suffix Selection. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Marx |
Tractable Structures for Constraint Satisfaction with Truth Tables. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sourav Chakraborty 0001, Eldar Fischer, Arie Matsliah, Raphael Yuster |
Hardness and Algorithms for Rainbow Connectivity. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Hromkovic, Georg Schnitger |
Ambiguity and Communication. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Danny Hermelin, Gad M. Landau, Shir Landau, Oren Weimann |
A Unified Algorithm for Accelerating Edit-Distance Computation via Text-Compression. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bienvenu, Rod Downey |
Kolmogorov Complexity and Solovay Functions. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Albers, Jean-Yves Marion (eds.) |
26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings |
STACS |
2009 |
DBLP BibTeX RDF |
|
1 | Eda Baykan, Monika Henzinger, Stefan F. Keller, Sebastian De Castelberg, Markus Kinzler |
A Comparison of Techniques for Sampling Web Pages. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Leslie Ann Goldberg, Martin Grohe, Mark Jerrum, Marc Thurley |
A Complexity Dichotomy for Partition Functions with Mixed Signs. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Fedor V. Fomin, Daniel Lokshtanov, Daniel Raible 0001, Saket Saurabh 0001, Yngve Villanger |
Kernel(s) for Problems with No Kernel: On Out-Trees with Many Leaves. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Julien Clément 0001, Maxime Crochemore, Giuseppina Rindone |
Reverse Engineering Prefix Tables. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Schweikardt |
Lower Bounds for Multi-Pass Processing of Multiple Data Streams. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Szczepan Hummel, Henryk Michalewski, Damian Niwinski |
On the Borel Inseparability of Game Tree Languages. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Grossi, Alessio Orlandi, Rajeev Raman, S. Srinivasa Rao 0001 |
More Haste, Less Waste: Lowering the Redundancy in Fully Indexable Dictionaries. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Jean Goubault-Larrecq |
Forward Analysis for WSTS, Part I: Completions. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ronald de Wolf |
Error-Correcting Data Structures. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pietro di Lena, Luciano Margara |
Undecidable Properties of Limit Set Dynamics of Cellular Automata. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Artur Jez, Alexander Okhotin |
Equations over Sets of Natural Numbers with Addition Only. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Khaled M. Elbassioni, Erik Krohn, Domagoj Matijevic, Julián Mestre, Domagoj Severdija |
Improved Approximations for Guarding 1.5-Dimensional Terrains. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Elsässer, Thomas Sauerwald |
Cover Time and Broadcast Time. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Barbay, Gonzalo Navarro 0001 |
Compressed Representations of Permutations, and Applications. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Gronemeier |
Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information Complexity of the AND-Function and Disjointness. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jop Briët, Ronald de Wolf |
Locally Decodable Quantum Codes. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Ebenlendr, Jirí Sgall |
Semi-Online Preemptive Scheduling: One Algorithm for All Variants. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédérique Bassino, Julien David, Cyril Nicaud |
On the Average Complexity of Moore's State Minimization Algorithm. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Fellows, Jiong Guo, Hannes Moser, Rolf Niedermeier |
A Generalization of Nemhauser and Trotter's Local Optimization Theorem. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Dirk Pattinson |
Strong Completeness of Coalgebraic Modal Logics. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kenya Ueno |
A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Bhattacharyya 0001, Victor Chen, Madhu Sudan 0001, Ning Xie 0002 |
Testing Linear-Invariant Non-Linear Properties. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Péter Gács, Mathieu Hoyrup, Cristobal Rojas |
Randomness on Computable Probability Spaces - A Dynamical Point of View. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marius Zimand |
Extracting the Kolmogorov Complexity of Strings and Sequences from Sources with Limited Independence. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Englert, Heiko Röglin, Jacob Spönemann, Berthold Vöcking |
Economical Caching. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Boyer 0001, Guillaume Theyssier |
On Local Symmetries and Universality in Cellular Automata. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Erlebach, Torben Hagerup, Klaus Jansen, Moritz Minzlaff, Alexander Wolff 0001 |
Trimming of Graphs, with Application to Point Labeling. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iyad A. Kanj, Michael J. Pelsmajer, Ge Xia, Marcus Schaefer 0001 |
On the Induced Matching Problem. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filip Murlak |
Weak index versus Borel rank. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chao Chen 0012, Daniel Freedman |
Quantifying Homology Classes. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chandan Saha 0001 |
Factoring Polynomials over Finite Fields using Balance Test. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Thierauf, Fabian Wagner |
The Isomorphism Problem for Planar 3-Connected Graphs is in Unambiguous Logspace. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Gelade, Frank Neven |
Succinctness of the Complement and Intersection of Regular Expressions. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Raghav Kulkarni, Sambuddha Roy |
Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iyad A. Kanj, Ljubomir Perkovic |
On Geometric Spanners of Euclidean and Unit Disk Graphs. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan T. Chakaravarthy, Sambuddha Roy |
Finding Irrefutable Certificates for S2p via Arthur and Merlin. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Eric Pin, Pedro V. Silva |
A Mahler's theorem for functions from words to integers. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Sakarovitch, Rodrigo de Souza |
On the decomposition of k-valued rational relations. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Johan M. M. van Rooij, Hans L. Bodlaender |
Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Briest, Martin Hoefer 0001, Piotr Krysta |
Stackelberg Network Pricing Games. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Albers, Pascal Weil |
Abstracts Collection - 25th International Symposium on Theoretical Aspects of Computer Science. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sören Laue |
Geometric Set Cover and Hitting Sets for Polytopes in R3. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jui-Yi Kao, Jeffrey O. Shallit, Zhi Xu 0002 |
The Frobenius Problem in a Free Monoid. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske |
Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Bonifaci, Peter Korteweg, Alberto Marchetti-Spaccamela, Leen Stougie |
Minimizing Flow Time in the Wireless Gathering Problem. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pinyan Lu, Changyuan Yu |
An Improved Randomized Truthful Mechanism for Scheduling Unrelated Machines. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Okhotin, Artur Jez |
Complexity of solutions of equations over sets of natural numbers. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Glaßer, Heinz Schmitz, Victor L. Selivanov |
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser, Christian Hoffmann 0001 |
On the Complexity of the Interlace Polynomial. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Angsheng Li, Mingji Xia |
A Theory for Valiant's Matchcircuits (Extended Abstract). |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shachar Lovett |
Lower bounds for adaptive linearity tests. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Albers, Pascal Weil (eds.) |
STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings |
STACS |
2008 |
DBLP BibTeX RDF |
|
1 | Thomas Schwentick |
A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract). |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mirela Damian, Robin Y. Flatland, Joseph O'Rourke, Suneeta Ramaswami |
Connecting Polygonizations via Stretches and Twangs. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Diana Fischer, Erich Grädel, Lukasz Kaiser |
Model Checking Games for the Quantitative µ-Calculus. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Crochemore, Lucian Ilie |
Understanding Maximal Repetitions in Strings. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Trimmed Moebius Inversion and Graphs of Bounded Degree. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Meyer 0001 |
On Dynamic Breadth-First Search in External-Memory. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Albers, Pascal Weil |
Preface - 25th International Symposium on Theoretical Aspects of Computer Science. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mariano Zelke |
Weighted Matching in the Semi-Streaming Model. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Edith Hemaspaandra, Henning Schnoor |
On the Complexity of Elementary Modal Logics. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|