Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sonika Arora, Venkatesan T. Chakaravarthy, Kanika Gupta, Neelima Gupta, Yogish Sabharwal |
Replica Placement on Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 213-225, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sariel Har-Peled, Nirman Kumar |
Robust Proximity Search for Balls Using Sublinear Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 315-326, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erick Chastain, Adi Livnat, Christos H. Papadimitriou, Umesh V. Vazirani |
Algorithms, Games, and Evolution (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 45-46, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manoj Gupta 0002 |
Maintaining Approximate Maximum Matching in an Incremental Bipartite Graph in Polylogarithmic Update Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 227-239, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Bock, Yuri Faenza, Carsten Moldenhauer, Andres J. Ruiz-Vargas |
Solving the Stable Set Problem in Terms of the Odd Cycle Packing Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 187-198, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux |
Foundation of Diagnosis and Predictability in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 417-429, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Georgiou, Edward Lee |
Lift & Project Systems Performing on the Partial Vertex Cover Polytope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 199-211, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Efraim Gelman, Amnon Ta-Shma |
The Benes Network is q*(q-1)/2n-Almost q-set-wise Independent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 327-338, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Tami Tamir |
Properties and Utilization of Capacitated Automata (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 33-44, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Grossi, Giulia Menconi, Nadia Pisanti, Roberto Trani, Søren Vind |
Output-Sensitive Pattern Extraction in Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 303-314, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Keil 0002, Peter Thiemann 0001 |
Symbolic Solving of Extended Regular Expression Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 175-186, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 |
Behavioral Metrics via Functor Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 403-415, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Nathanaël Fijalkow, Florian Horn 0001 |
Playing Safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 379-390, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón |
Metaconfluence of Calculi with Explicit Substitutions at a Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 391-402, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bodini, Antoine Genitrini, Frédéric Peschanski |
The Combinatorics of Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 425-436, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Stefan Repke |
Decidability Results on the Existence of Lookahead Delegators for NFA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 327-338, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barna Saha |
Renting a Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 437-448, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault, Andrzej S. Murawski |
Böhm Trees as Higher-Order Recursive Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 91-102, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Archita Agarwal, Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Sambuddha Roy, Yogish Sabharwal |
Distributed and Parallel Algorithms for Set Cover Problems with Small Neighborhood Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 249-261, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Salvati, Igor Walukiewicz |
Evaluation is MSOL-compatible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 103-114, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tim Smith |
On Infinite Words Determined by Stack Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 413-424, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parinya Chalermsook, Suresh Venkatasubramanian |
Clustering With Center Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 401-412, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evripidis Bampis, Alexander V. Kononov, Dimitrios Letsios, Giorgio Lucarelli, Maxim Sviridenko |
Energy Efficient Scheduling and Routing via Randomized Rounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 449-460, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazushige Terui |
Intersection Types for Normalization and Verification (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 41-42, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
On the Structure and Complexity of Rational Sets of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 377-388, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Haddad |
Model Checking and Functional Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 115-126, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hague |
Saturation of Concurrent Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 313-325, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jian Li 0015, Zeyu Zhang |
Ranking with Diverse Intents and Correlated Contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 351-362, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer 0001 |
A Theory of Partitioned Global Address Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 127-139, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place, Lorijn van Rooijen, Marc Zeitoun |
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 363-375, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Igor Potapov |
Composition Problems for Braids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 175-187, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Maubert, Sophie Pinchinat |
Jumping Automata for Uniform Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 287-298, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Subhash Khot |
On Approximation Resistance of Predicates (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 19-19, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hofman, Slawomir Lasota 0001, Richard Mayr, Patrick Totzke |
Simulation Over One-counter Nets is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 515-526, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Ionut Dinca, Blaise Genest, Alin Stefanescu |
Implementing Realistic Asynchronous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 213-224, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Prahladh Harsha, Rahul Jain 0001 |
A Strong Direct Product Theorem for the Tribes Function via the Smooth-Rectangle Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 141-152, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre |
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 299-311, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anil Seth, Nisheeth K. Vishnoi (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon |
Optimal Constructions for Active Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 527-539, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Srikanth Srinivasan 0001 |
On Improved Degree Lower Bounds for Polynomial Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 201-212, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Ramyaa |
Computing With a Fixed Number of Pointers (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 3-18, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manu Basavaraju, Mathew C. Francis, M. S. Ramanujan 0001, Saket Saurabh 0001 |
Partially Polynomial Kernels for Set Cover and Test Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 67-78, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kamyar Khodamoradi, Ramesh Krishnamurti, Arash Rafiey, Georgios Stamoulis |
PTAS for Ordered Instances of Resource Allocation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 461-473, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | L. Sunil Chandran, Deepak Rajendraprasad |
Inapproximability of Rainbow Colouring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 153-162, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florin Manea, Mike Müller, Dirk Nowotka |
On the Pseudoperiodic Extension of u^l = v^m w^n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 475-486, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Markus L. Schmid, Yngve Villanger |
On the Parameterised Complexity of String Morphism Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 55-66, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe, Stephan Kreutzer, Sebastian Siebertz |
Characterisations of Nowhere Dense Graphs (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 21-40, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario E. Consuegra, Giri Narasimhan |
Geometric Avatar Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 389-400, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Prachi Goyal, Neeldhara Misra, Fahad Panolan |
Faster Deterministic Algorithms for r-Dimensional Matching Using Representative Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 237-248, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
Frontmatter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Nutan Limaye |
DLOGTIME Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 189-200, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Hemant Chitnis, Fedor V. Fomin, Petr A. Golovach |
Parameterized Complexity of the Anchored k-Core Problem for Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 79-90, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Sivaramakrishnan R. Natarajan, Sambuddha Roy |
Knapsack Cover Subject to a Matroid Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 275-286, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Crowston, Mark Jones 0001, Gabriele Muciaccia, Geevarghese Philip, Ashutosh Rai 0001, Saket Saurabh 0001 |
Polynomial Kernels for lambda-extendible Properties Parameterized Above the Poljak-Turzik Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 43-54, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan Guruswami |
Polar Codes: Reliable Communication with Complexity Polynomial in the Gap to Shannon Capacity (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 1-1, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Loïg Jezequel, Stefan Schwoon |
Computation of Summaries Using Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 225-236, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Paulin Fournier |
Parameterized Verification of Many Identical Probabilistic Timed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 501-513, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný 0001, Aistis Simaitis |
Solvency Markov Decision Processes with Interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 487-499, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Chung Huang, Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail 0001 |
Fair Matchings and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 339-350, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sonika Arora, Venkatesan T. Chakaravarthy, Neelima Gupta, Koyel Mukherjee, Yogish Sabharwal |
Replica Placement via Capacitated Vertex Cover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 263-274, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh |
Primal Infon Logic: Derivability in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 163-174, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Michael Ummels |
The Complexity of Quantitative Information Flow in Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 534-545, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys |
Decidable classes of documents for XPath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 99-111, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Khaled M. Elbassioni, Naveen Garg 0001, Divya Gupta 0001, Amit Kumar 0001, Vishal Narula, Arindam Pal 0001 |
Approximation Algorithms for the Unsplittable Flow Problem on Paths and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 267-275, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Thomas A. Henzinger |
Approximate Determinization of Quantitative Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 362-373, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Martin Zimmermann 0002 |
Cost-Parity and Cost-Streett Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 124-135, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Binay K. Bhattacharya, Yuzhuang Hu |
k-delivery traveling salesman problem on tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 325-336, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kishore Kothapalli, Sriram V. Pemmaraju |
Super-Fast 3-Ruling Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 136-147, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher H. Broadbent, Stefan Göller |
On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 160-172, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah 0001 |
Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 461-473, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Minati De, Subhas C. Nandy, Sasanka Roy |
Minimum Enclosing Circle with Few Extra Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 510-521, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Widjaja Lin |
Accelerating tree-automatic relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 313-324, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan T. Chakaravarthy, Arindam Pal 0001, Sambuddha Roy, Yogish Sabharwal |
Scheduling Resources for Executing a Partial Set of Jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 199-210, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Howard Straubing |
An effective characterization of the alternation hierarchy in two-variable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 86-98, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
Frontmatter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Rabani |
Learning Mixtures of Distributions over Large Discrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 1-3, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hee-Kap Ahn, Siu-Wing Cheng, Hyuk Jun Kweon, Juyoung Yon |
Overlap of Convex Polytopes under Rigid Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 498-509, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg |
Timed Lossy Channel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 374-386, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, Vojtech Rehák |
Verification of Open Interactive Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 474-485, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lokshtanov, Saket Saurabh 0001, Magnus Wahlström |
Subexponential Parameterized Odd Cycle Transversal on Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 424-434, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid |
Test Generation Using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 24-33, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Swastik Kopparty, Srikanth Srinivasan 0001 |
Certifying polynomials for AC^0(parity) circuits, with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 36-47, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Parthasarathy Madhusudan |
Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 34-35, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Mnich, Geevarghese Philip, Saket Saurabh 0001, Ondrej Suchý |
Beyond Max-Cut: lambda-Extendible Properties Parameterized Above the Poljak-Turzik Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 412-423, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pranavadatta Devaki, Aditya Kanade |
Static Analysis for Checking Data Format Compatibility of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 522-533, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Khandekar, Kirsten Hildrum, Deepak Rajan, Joel L. Wolf |
Scheduling with Setup Costs and Monotone Penalties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 185-198, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guy Feigenblat, Ely Porat, Ariel Shiftan |
Exponential Space Improvement for minwise Based Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 70-85, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bonnet, Alain Finkel, M. Praveen |
Extending the Rackoff technique to Affine nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 301-312, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Gennaro Parlato |
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 173-184, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Köbler, Sebastian Kuhnert, Oleg Verbitsky 0001 |
Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Logspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 387-399, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Gajarský, Petr Hlinený |
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 112-123, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Abhash Anand, Surender Baswana, Manoj Gupta 0002, Sandeep Sen |
Maintaining Approximate Maximum Weighted Matching in Fully Dynamic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 257-266, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro |
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 289-300, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gergei Bana, Pedro Adão, Hideki Sakurada |
Computationally Complete Symbolic Attacker in Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 546-560, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Andrea Turrini |
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 435-447, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre |
Safety Verification of Communicating One-Counter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 224-235, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, César Sánchez 0001 |
Visibly Rational Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 211-223, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Ivanyos, Hartmut Klauck, Troy Lee, Miklos Santha, Ronald de Wolf |
New bounds on the classical and quantum communication complexity of some graph properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 148-159, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Szymon Torunczyk |
Imperative Programming in Sets with Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 4-15, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak D'Souza, Telikepalli Kavitha, Jaikumar Radhakrishnan (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|