Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shreyas Pai, Sriram V. Pemmaraju |
Connectivity Lower Bounds in Broadcast Congested Clique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 32:1-32:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Prantar Ghosh |
New Verification Schemes for Frequency-Based Functions on Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 22:1-22:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Telikepalli Kavitha |
Min-Cost Popular Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 25:1-25:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | M. Praveen |
What You Must Remember When Transforming Datawords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 55:1-55:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Omer Wasim, Valerie King |
Fully Dynamic Sequential and Distributed Algorithms for MAX-CUT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)., pp. 33:1-33:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-174-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pallavi Jain 0001, Lawqueen Kanesh, William Lochet, Saket Saurabh 0001, Roohani Sharma |
Exact and Approximate Digraph Bandwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 18:1-18:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Isolde Adler, Christophe Paul, Dimitrios M. Thilikos |
Connected Search for a Lazy Robber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 7:1-7:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Jain 0015, Raghunath Tewari |
An O(n^(1/4 +epsilon)) Space and Polynomial Algorithm for Grid Graph Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 19:1-19:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Sven Dziadek, Werner Kuich |
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 38:1-38:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akanksha Agrawal 0001, Arindam Biswas 0001, Édouard Bonnet, Nick Brettell, Radu Curticapean, Dániel Marx, Tillmann Miltzow, Venkatesh Raman 0001, Saket Saurabh 0001 |
Parameterized Streaming Algorithms for Min-Ones d-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 8:1-8:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Alessandra Raffaetà |
Minimisation of Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 30:1-30:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Agnishom Chattopadhyay, M. Praveen |
Query Preserving Watermarking Schemes for Locally Treelike Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 36:1-36:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Prasad Naldurg |
Practical Formal Methods for Real World Cryptography (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 1:1-1:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Fournier, Guillaume Malod, Maud Szusterman, Sébastien Tavenas |
Nonnegative Rank Measures and Monotone Algebraic Branching Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 15:1-15:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino |
A Categorical Account of Replicated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 42:1-42:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Lucarelli, Benjamin Moseley, Kim Thang Nguyen, Abhinav Srivastav, Denis Trystram |
Online Non-Preemptive Scheduling to Minimize Maximum Weighted Flow-Time on Related Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 24:1-24:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ramanathan S. Thinniyam, Georg Zetzsche |
Regular Separability and Intersection Emptiness Are Independent Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 51:1-51:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Paul Gastin (eds.) |
39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Patricia Bouyer, Anirban Majumdar 0002 |
Concurrent Parameterized Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 31:1-31:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Denis Kuperberg, Laureline Pinault, Damien Pous |
Cyclic Proofs and Jumping Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 45:1-45:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Mansard |
Boolean Algebras from Trace Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 48:1-48:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Angelo Montanari, Adriano Peron |
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 34:1-34:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marco Kuhlmann, Andreas Maletti, Lena Katharina Schiffer |
The Tree-Generative Capacity of Combinatory Categorial Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 44:1-44:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Parthasarathy Madhusudan |
Reachability in Concurrent Uninterpreted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 46:1-46:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi |
Two-Way Parikh Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 40:1-40:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Mestel |
Widths of Regular and Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 49:1-49:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ranko Lazic 0001 |
Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 3:1-3:2, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Toniann Pitassi |
Progress in Lifting and Applications in Lower Bounds (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 4:1-4:1, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Abhranil Chatterjee 0001, Rajit Datta, Partha Mukhopadhyay |
Fast Exact Algorithms Using Hadamard Product of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 9:1-9:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Dudek, Dror Fried |
Transformations of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 39:1-39:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yujin Choi, Seungjun Lee, Hee-Kap Ahn |
Maximum-Area Rectangles in a Simple Polygon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 12:1-12:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nutan Limaye, Srikanth Srinivasan 0001, Utkarsh Tripathi |
More on AC^0[oplus] and Variants of the Majority Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 22:1-22:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Hoi, Sanjay Jain 0001, Frank Stephan 0001 |
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 17:1-17:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 0:1-0:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Krauthgamer |
Sketching Graphs and Combinatorial Optimization (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 2:1-2:1, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kanthi K. Sarpatwar, Baruch Schieber, Hadas Shachnai |
The Preemptive Resource Allocation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 26:1-26:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Telikepalli Kavitha |
Popular Roommates in Simply Exponential Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 20:1-20:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anand Louis, Rakesh Venkat |
Planted Models for k-Way Edge and Vertex Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 23:1-23:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bordais, Shibashis Guha, Jean-François Raskin |
Expected Window Mean-Payoff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 32:1-32:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Ekanshdeep Gupta |
The Well Structured Problem for Presburger Counter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 41:1-41:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Angelo Montanari, Adriano Peron |
Interval Temporal Logic for Visibly Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 33:1-33:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001 |
An Algebraic Framework to Reason About Concurrency (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 6:1-6:1, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Potukuchi |
On the AC^0[oplus] Complexity of Andreev's Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 25:1-25:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chetan Gupta 0002, Rahul Jain 0015, Vimal Raj Sharma, Raghunath Tewari |
Unambiguous Catalytic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 16:1-16:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leroux |
Distance Between Mutually Reachable Petri Net Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 47:1-47:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Benjamin Monmege, Bruno Quoitin |
Dynamics on Games: Simulation-Based Techniques and Applications to Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 35:1-35:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sanjana Kolisetty, Linh Le, Ilya Volkovich, Mihalis Yannakakis |
The Complexity of Finding S-Factors in Regular Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 21:1-21:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Prerona Chatterjee, Ramprasad Saptharishi |
Constructing Faithful Homomorphisms over Fields of Finite Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 11:1-11:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim Roughgarden |
How Computer Science Informs Modern Auction Design (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 5:1-5:1, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001 |
New Results on Cutting Plane Proofs for Horn Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 43:1-43:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Srikanth Srinivasan 0001, Utkarsh Tripathi, S. Venkitesh |
On the Probabilistic Degrees of Symmetric Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 28:1-28:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich, Doron Tiferet |
Degrees of Ambiguity of Büchi Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 50:1-50:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Hugo Bazille, Eric Fabre, Blaise Genest |
Classification Among Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 29:1-29:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Kirill Simonov |
Parameterized k-Clustering: Tractability Island. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 14:1-14:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roy Schwartz 0002, Mohit Singh, Sina Yazdanbod |
Online and Offline Algorithms for Circuit Switch Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 27:1-27:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diptarka Chakraborty, Debarati Das 0001, Michal Koucký 0001 |
Approximate Online Pattern Matching in Sublinear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 10:1-10:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Dreier, Peter Rossmanith |
Motif Counting in Preferential Attachment Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 13:1-13:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter Chini, Roland Meyer 0001, Prakash Saivasan |
Complexity of Liveness in Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., pp. 37:1-37:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-131-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amy Babay, Michael Dinitz, Zeyu Zhang 0003 |
Characterizing Demand Graphs for (Fixed-Parameter) Shallow-Light Steiner Network. ![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. 33:1-33: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 | Siddhesh Chaubal, Anna Gál |
New Constructions with Quadratic Separation between Sensitivity and Block Sensitivity. ![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. 13:1-13: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 | Deepanjan Kesh |
Space Complexity of Two Adaptive Bitprobe Schemes Storing Three Elements. ![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. 12:1-12:12, 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 | Swaroop N. Prabhakar, Vikram Sharma 0001 |
Stronger Tradeoffs for Orthogonal Range Querying in the Semigroup Model. ![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. 45:1-45:14, 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 | Ágnes Cseh, Telikepalli Kavitha |
Popular Matchings in Complete Graphs. ![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. 17:1-17:14, 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 | Pierre Ganty, Elena Gutiérrez |
The Parikh Property for Weighted Context-Free Grammars. ![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. 32:1-32:20, 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 | Pranabendu Misra, Saket Saurabh 0001, Roohani Sharma, Meirav Zehavi |
Sub-Exponential Time Parameterized Algorithms for Graph Layout Problems on Digraphs with Bounded Independence Number. ![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. 35:1-35: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 | Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling |
A Symbolic Framework to Analyse Physical Proximity in Security Protocols. ![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. 29:1-29:20, 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 | Thomas Place, Marc Zeitoun |
The Complexity of Separation for Levels in Concatenation Hierarchies. ![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. 47:1-47:17, 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 | Siddharth Bhandari, Prahladh Harsha, Tulasimohan Molli, Srikanth Srinivasan 0001 |
On the Probabilistic Degree of OR over the Reals. ![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. 5:1-5:12, 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 | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl |
On Canonical Models for Rational Functions over Infinite Words. ![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. 30:1-30:17, 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 | Vincent Penelle, Sylvain Salvati, Grégoire Sutre |
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems. ![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. 44:1-44:20, 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 | Ola Svensson |
Algorithms for the Asymmetric Traveling Salesman Problem (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. 3:1-3: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 | Kazuyuki Asada, Naoki Kobayashi 0001 |
Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered. ![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. 14:1-14:15, 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 | Bhaskar Ray Chaudhury, Kurt Mehlhorn |
Combinatorial Algorithms for General Linear Arrow-Debreu Markets. ![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. 26:1-26: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 | Béatrice Bérard, Stefan Haar, Loïc Hélouët |
Hyper Partial Order Logic. ![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. 20:1-20:21, 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 | Sumedh Tirodkar |
Deterministic Algorithms for Maximum Matching on General Graphs in the Semi-Streaming Model. ![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. 39:1-39: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 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya |
Verification of Timed Asynchronous Programs. ![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. 8:1-8: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 | Junjie Luo 0001, Hendrik Molter, André Nichterlein, Rolf Niedermeier |
Parameterized Dynamic Cluster Editing. ![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. 46:1-46:15, 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 | Marc Bagnol, Denis Kuperberg |
Büchi Good-for-Games Automata Are Efficiently Recognizable. ![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. 16:1-16:14, 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 | Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis |
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. ![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. 22:1-22: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 | Alain Finkel, Jérôme Leroux, Grégoire Sutre |
Reachability for Two-Counter Machines with One Test and One Reset. ![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. 31:1-31:14, 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 | David Baelde, Anthony Lick, Sylvain Schmitz |
A Hypersequent Calculus with Clusters for Tense Logic over Ordinals. ![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. 15:1-15: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 | Elazar Goldenberg, Karthik C. S. |
Towards a General Direct Product Testing Theorem. ![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. 11:1-11:17, 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 | Karl Bringmann, Bhaskar Ray Chaudhury |
Sketching, Streaming, and Fine-Grained Complexity of (Weighted) LCS. ![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. 40:1-40: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 | Mohsen Alambardar Meybodi, Fedor V. Fomin, Amer E. Mouawad, Fahad Panolan |
On the Parameterized Complexity of [1, j]-Domination Problems. ![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. 34:1-34:14, 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 | Faried Abu Zaid |
Uniformly Automatic Classes of Finite Structures. ![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. 10:1-10:21, 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 | Satya V. Lokam, R. Ramanujam 0001 (eds.) |
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-055-2 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Manisha Bansal, Naveen Garg 0001, Neelima Gupta |
A 5-Approximation for Universal Facility Location. ![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. 24:1-24:12, 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 | Udi Boker, Karoliina Lehtinen |
On the Way to Alternating Weak Automata. ![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. 21:1-21: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 | Balthazar Bauer, Jevgenijs Vihrovs, Hoeteck Wee |
On the Inner Product Predicate and a Generalization of Matching Vector Families. ![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. 41:1-41:13, 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 | Markus Bläser, Balagopal Komarath, Karteek Sreenivasaiah |
Graph Pattern Polynomials. ![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. 18:1-18:13, 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 | Stéphane Le Roux 0001, Arno Pauly, Mickael Randour |
Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions. ![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. 38:1-38:20, 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 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![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. 0:i-0:xiv, 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 | Faried Abu Zaid, Chris Köcher |
The Cayley-Graph of the Queue Monoid: Logic and Decidability. ![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. 9:1-9:17, 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 | Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto |
The Delta-Framework. ![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. 37:1-37:21, 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 | Sumit Ganguly, Paritosh K. Pandya (eds.) |
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alessio Mansutti |
Extending Propositional Separation Logic for Robustness Properties. ![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. 42:1-42:23, 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 | Santosh S. Vempala |
Continuous Algorithms (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. 4:1-4: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 | Bhaskar Ray Chaudhury, Yun Kuen Cheung, Jugal Garg, Naveen Garg 0001, Martin Hoefer 0001, Kurt Mehlhorn |
On Fair Division for Indivisible Items. ![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. 25:1-25:17, 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 | Samir Datta, Siddharth Iyer, Raghav Kulkarni, Anish Mukherjee 0001 |
Shortest k-Disjoint Paths via Determinants. ![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. 19:1-19:21, 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 | Anantha Padmanabha, R. Ramanujam 0001, Yanjing Wang 0001 |
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. ![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. 43:1-43:20, 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 |
|