Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gilles Geeraerts, Shibashis Guha, Jean-François Raskin |
Safe and Optimal Scheduling for Hard and Soft Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 36:1-36:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Umang Bhaskar, Abheek Ghosh |
On the Welfare of Cardinal Voting Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 27:1-27:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier |
Symbolic Approximation of Weighted Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 28:1-28:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar |
Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 1:1-1:1, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ramprasad Saptharishi, Anamay Tengse |
Quasipolynomial Hitting Sets for Circuits with Restricted Parse Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 6:1-6:19, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude |
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method". ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 48:1-48:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sapna Grover, Neelima Gupta, Samir Khuller, Aditya Pancholi |
Constant Factor Approximation Algorithm for Uniform Hard Capacitated Knapsack Median Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 23:1-23:22, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Abhranil Chatterjee 0001, Rajit Datta, Partha Mukhopadhyay |
Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 7:1-7:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla |
Model Checking Randomized Security Protocols (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 2:1-2:1, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dileep Kini, Mahesh Viswanathan 0001 |
Complexity of Model Checking MDPs against LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 35:1-35:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan Guruswami, Rishi Saket |
Hardness of Rainbow Coloring Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 33:33-33:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akanksha Agrawal 0001, R. Krithika 0001, Daniel Lokshtanov, Amer E. Mouawad, M. S. Ramanujan 0001 |
On the Parameterized Complexity of Simultaneous Deletion Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 9:1-9:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka |
Local Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 24:1-24:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
The Complexity of the Diagonal Problem for Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 45:1-45:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Meghana Nasre, Prajakta Nimbhorkar |
Popular Matchings with Lower Quotas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 44:1-44:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 0:i-0:x, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath |
Maintaining Reeb Graphs of Triangulated 2-Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 8:1-8:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wilke |
Backward Deterministic Büchi Automata on Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 6:6-6:9, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Michaliszyn, Jan Otop, Piotr Wieczorek |
Querying Best Paths in Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 43:1-43:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Alain Finkel, Jean Goubault-Larrecq |
Forward Analysis for WSTS, Part III: Karp-Miller Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 16:1-16:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yixin Cao 0001, Yuping Ke, Yota Otachi, Jie You |
Vertex Deletion Problems on Chordal Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 22:1-22:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Onur Cagirici, Petr Hlinený, Bodhayan Roy |
On Colourability of Polygon Visibility Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 21:1-21:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Luke Hinde, Ján Pich |
Reasons for Hardness in QBF Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 14:1-14:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akash Kumar 0003, Anand Louis, Madhur Tulsiani |
Finding Pseudorandom Colorings of Pseudorandom Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 37:1-37:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lokshtanov, Saket Saurabh 0001, Roohani Sharma, Meirav Zehavi |
Balanced Judicious Bipartition is Fixed-Parameter Tractable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 40:40-40:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Étienne Lozes, Denis Lugiez |
On Symbolic Heaps Modulo Permission Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 25:1-25:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Witold Charatonik |
Modulo Counting on Words and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 12:1-12:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Devavrat Shah |
Matrix Estimation, Latent Variable Model and Collaborative Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 4:1-4:8, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alina Ene, Viswanath Nagarajan, Rishi Saket |
Approximation Algorithms for Stochastic k-TSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 27:27-27:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Gimbert |
On the Control of Asynchronous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 30:1-30:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edith Elkind |
Justified Representation in Multiwinner Voting: Axioms and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 1:1-1:10, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Gal Vardi, Moshe Y. Vardi |
Flow Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 38:38-38:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Anshu, Dmitry Gavinsky, Rahul Jain 0001, Srijita Kundu, Troy Lee, Priyanka Mukhopadhyay, Miklos Santha, Swagato Sanyal |
A Composition Theorem for Randomized Query Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 10:1-10:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Nutan Limaye, Michael Ludwig |
A Unified Method for Placing Problems in Polylogarithmic Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 36:36-36:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Orna Kupferman, Michal Skrzypczak |
How Deterministic are Good-For-Games Automata?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 18:1-18:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Nikhil S. Mande |
A Lifting Theorem with Applications to Symmetric Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 23:1-23:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi |
On Hashing-Based Approaches to Approximate DNF-Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 41:1-41:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Boninger, Joshua Brody, Owen Kephart |
Non-Adaptive Data Structure Bounds for Dynamic Predecessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 20:1-20:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Michaliszyn, Jan Otop |
Average Stack Cost of Büchi Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 42:1-42:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker |
Rabin vs. Streett Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 17:1-17:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Paul Gölz |
Synthesis in Distributed Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 28:1-28:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Biman Roy |
A Dichotomy Theorem for the Inverse Satisfiability Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 39:39-39:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bharatram Rangarajan |
A Combinatorial Proof of Ihara-Bass's Formula for the Zeta Function of Regular Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 46:46-46:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Bernd Finkbeiner |
Symmetric Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 26:1-26:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Verification of Asynchronous Programs with Nested Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 11:1-11:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prateek Jain 0002, Sham M. Kakade, Rahul Kidambi, Praneeth Netrapalli, Venkata Krishna Pillutla, Aaron Sidford |
A Markov Chain Theory Approach to Characterizing the Minimax Optimality of Stochastic Gradient Descent (for Least Squares). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 2:1-2:10, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl |
Automated Synthesis: a Distributed Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 3:1-3:5, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weinert |
VLDL Satisfiability and Model Checking via Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 47:47-47:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yi Huang, Mano Vikash Janardhanan, Lev Reyzin |
Network Construction with Ordered Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 34:34-34:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir |
Monitoring for Silent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 7:1-7:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elena Grigorescu, Erfan Sadeqi Azer, Samson Zhou |
Streaming for Aibohphobes: Longest Palindrome with Mismatches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 31:1-31:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Apoorv Garg, Abhiram G. Ranade |
Train Scheduling on a Unidirectional Path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 29:1-29:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vinod Vaikuntanathan |
Some Open Problems in Information-Theoretic Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 5:1-5:7, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Brandl, Telikepalli Kavitha |
Popular Matchings with Multiple Partners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 19:1-19:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Serge Haddad, Engel Lefaucheux |
Probabilistic Disclosure: Maximisation vs. Minimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 13:1-13:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guru Guruganesh, Euiwoong Lee |
Understanding the Correlation Gap For Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 32:1-32:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amey Bhangale, Subhash Khot, Devanathan Thiruvenkatachari |
An Improved Dictatorship Test with Perfect Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, pp. 15:1-15:23, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weinert, Martin Zimmermann 0002 |
Visibly Linear Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 28:1-28:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sushmita Gupta, Sanjukta Roy |
Stable Matching Games: Manipulation via Subgraph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 29:1-29:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aritra Banik, Fahad Panolan, Venkatesh Raman 0001, Vibha Sahlot |
Fréchet Distance Between a Line and Avatar Point Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 32:1-32:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Slawomir Lasota 0001, Joanna Ochremiak, Szymon Torunczyk |
Homomorphism Problems for First-Order Definable Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 14:1-14:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan |
Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 6:1-6:2, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | R. Krithika 0001, Pranabendu Misra, Ashutosh Rai 0001, Prafullkumar Tale |
Lossy Kernels for Graph Contraction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 23:1-23:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karthekeyan Chandrasekaran, Mahdi Cheraghchi, Venkata Gandikota, Elena Grigorescu |
Local Testing for Membership in Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 46:1-46:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah, Arvind Easwaran, Zhishan Guo |
Mixed-Criticality Scheduling to Minimize Makespan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 7:1-7:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amit Deshpande 0001, Prahladh Harsha, Rakesh Venkat |
Embedding Approximately Low-Dimensional l_2^2 Metrics into l_1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 10:1-10:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnamoorthy Dinesh 0001, Sajin Koroth, Jayalal Sarma |
Characterization and Lower Bounds for Branching Program Size Using Projective Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 37:1-37:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark de Berg, Bart M. P. Jansen, Debankur Mukherjee |
Independent-Set Reconfiguration Thresholds of Hereditary Graph Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 34:1-34:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Umang Bhaskar, Ajil Jalal, Rahul Vaze |
The Adwords Problem with Strict Capacity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 30:1-30:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Rai 0001, M. S. Ramanujan 0001 |
Strong Parameterized Deletion: Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 21:1-21:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramya C., B. V. Raghavendra Rao |
Sum of Products of Read-Once Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 39:1-39:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aleksander Madry |
Continuous Optimization: The "Right" Language for Graph Algorithms? (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 4:1-4:2, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat |
Tunable Online MUS/MSS Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 50:1-50:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 26:1-26:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig |
One-Counter Automata with Counter Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 20:1-20:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar |
Model Checking Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 27:1-27:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mithilesh Kumar 0001, Daniel Lokshtanov |
Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Bipartite Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 24:1-24:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Berman, Meiram Murzabulatov, Sofya Raskhodnikova |
The Power and Limitations of Uniform Samples in Testing Properties of Figures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 45:1-45:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Prahladh Harsha, Srikanth Srinivasan 0001 |
Robust Multiplication-Based Tests for Reed-Muller Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 17:1-17:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Radu Mardare, Bingtian Xue |
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 25:1-25:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi 0001 |
FO-Definable Transformations of Infinite Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 12:1-12:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian P. L. Haslbeck, Tobias Nipkow |
Verified Analysis of List Update Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 49:1-49:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Chauhan, Tobias Friedrich 0001, Ralf Rothenberger |
Greed is Good for Deterministic Scale-Free Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 33:1-33:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mooly Sagiv |
Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 2:1-2:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla |
Understanding Cutting Planes for QBFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 40:1-40:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur |
Admissibility in Quantitative Graph Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 42:1-42:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moses Ganardi, Danny Hucke, Markus Lohrey |
Querying Regular Languages over Sliding Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 18:1-18:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin |
Graph Decompositions and Algorithms (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 5:1-5:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Waldo Gálvez, Fabrizio Grandoni 0001, Salvatore Ingala, Arindam Khan 0001 |
Improved Pseudo-Polynomial-Time Approximation for Strip Packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 9:1-9:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 0:i-0:xiv, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sriram V. Pemmaraju, Vivek B. Sardeshmukh |
Super-Fast MST Algorithms in the Congested Clique Using o(m) Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 47:1-47:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Felix Klein 0001, Martin Zimmermann 0002 |
Prompt Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 43:1-43:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bach Le, Aquinas Hobor, Anthony W. Lin |
Decidability and Complexity of Tree Share Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 19:1-19:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Roland Meyer 0001, Sebastian Muskalla |
Summaries for Context-Free Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 41:1-41:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Gawrychowski, Artur Jez |
LZ77 Factorisation of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 35:1-35:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns |
My O Is Bigger Than Yours (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 3:1-3:2, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mrinal Kumar 0001, Ramprasad Saptharishi |
Finer Separations Between Shallow Arithmetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 38:1-38:12, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote |
Aperiodicity of Rational Functions Is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 13:1-13:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nirman Kumar, Benjamin Raichel, Subhash Suri, Kevin Verbeek |
Most Likely Voronoi Diagrams in Higher Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 31:1-31:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001, David A. Naumann, Mohammad Nikouei |
Relational Logic with Framing and Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 11:1-11:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|