Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Philip Bille, Anders Roy Christiansen, Patrick Hagge Cording, Inge Li Gørtz |
Finger Search in Grammar-Compressed 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. 36:1-36: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 | Mikkel Thorup |
Fast and Powerful Hashing Using Tabulation (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. 1:1-1: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 | Jaikumar Radhakrishnan, Swagato Sanyal |
The Zero-Error Randomized Query Complexity of the Pointer Function. ![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. 16:1-16: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 | Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz |
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. ![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. 48:1-48: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 | Karthik C. S., Sébastien Tavenas |
On the Sensitivity Conjecture for Disjunctive Normal Forms. ![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. 15:1-15: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 | Aounon Kumar |
Capacitated k-Center Problem with Vertex Weights. ![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. 8:1-8: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 | Akash Lal, S. Akshay 0001, Saket Saurabh 0001, Sandeep Sen (eds.) |
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Fahad Panolan, Meirav Zehavi |
Parameterized Algorithms for List K-Cycle. ![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. 22:1-22: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 | Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi 0001 |
Mean-Payoff Games on Timed Automata. ![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. 44:1-44: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 | Boaz Barak |
Convexity, Bayesianism, and the Quest Towards Optimal Algorithms (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 7-7, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sudeshna Kolay, Fahad Panolan |
Parameterized Algorithms for Deletion to (r, ell)-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 420-433, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guy Avni, Orna Kupferman, Tami Tamir |
Congestion Games with Multisets of Resources and Applications in Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 365-379, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anamitra Roy Choudhury, Syamantak Das, Amit Kumar 0001 |
Minimizing Weighted lp-Norm of Flow-Time in the Rejection Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 25-37, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Goyal, Tobias Mömke |
Robust Reoptimization of Steiner Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 10-24, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Denis Kuperberg, Orna Kupferman |
The Sensing Cost of Monitoring and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 380-393, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prateek Karandikar, Philippe Schnoebelen |
Decidability in the Logic of Subsequences and Supersequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 84-97, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Cachera, Uli Fahrenberg, Axel Legay |
An omega-Algebra for Real-Time Energy Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 394-407, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Henryk Michalewski, Matteo Mio |
On the Problem of Computing the Probability of Regular Sets of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 489-502, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prachi Goyal, Pranabendu Misra, Fahad Panolan, Geevarghese Philip, Saket Saurabh 0001 |
Finding Even Subgraphs Even Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 434-447, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arindam Khan 0001, Mohit Singh |
On Weighted Bipartite Edge Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 136-150, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Moitra |
Beyond Matrix Completion (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 8-8, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sudip Biswas, Arnab Ganguly 0002, Rahul Shah 0001, Sharma V. Thankachan |
Forbidden Extension Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 320-335, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Leonard J. Schulman, Vijay V. Vazirani |
Allocation of Divisible Goods Under Lexicographic Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 543-559, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sagnik Mukhopadhyay, Swagato Sanyal |
Towards Better Separation between Deterministic and Randomized Query Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 206-220, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer 0001, Mehdi Seyed Salehi |
What's Decidable about Availability Languages?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 192-205, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Worrell 0001 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 5-6, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Iglesias, Rajmohan Rajaraman, R. Ravi 0001, Ravi Sundaram |
Rumors Across Radio, Wireless, Telephone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 517-528, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Balaji, Samir Datta, Venkatesh Ganesan |
Counting Euler Tours in Undirected Bounded Treewidth Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 246-260, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
Failure-aware Runtime Verification of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 590-603, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hal Daumé III, Samir Khuller, Manish Purohit, Gregory Sanders |
On Correcting Inputs: Inverse Optimization for Online Structured Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 38-51, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Nobuko Yoshida |
On the Expressiveness of Multiparty Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 560-574, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez 0001, Gabriel Renault |
Quantitative Games under Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 293-306, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sepehr Assadi, Sanjeev Khanna, Yang Li 0025, Val Tannen |
Dynamic Sketching for Graph Optimization Problems with Applications to Cut-Preserving Sketches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 52-68, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karthekeyan Chandrasekaran, Venkata Gandikota, Elena Grigorescu |
Deciding Orthogonality in Construction-A Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 151-162, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 2-4, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel |
Control Improvisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 463-474, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
Revisiting Robustness in Priced Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 261-277, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Magnús M. Halldórsson, Tigran Tonoyan |
The Price of Local Power Control in Wireless Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 529-542, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moses Samson Charikar |
Bypassing Worst Case Analysis: Tensor Decomposition and Clustering (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 1, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Till Fluschnik, Stefan Kratsch, Rolf Niedermeier, Manuel Sorge |
The Parameterized Complexity of the Minimum Shared Edges Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 448-462, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prahladh Harsha, G. Ramalingam (eds.) |
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Lukas Fleischer, Manfred Kufleitner |
Efficient Algorithms for Morphisms over Omega-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 112-124, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Amaldev Manuel |
Fragments of Fixpoint Logic on Data Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 98-111, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Patrick Gardy, Nicolas Markey |
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 69-83, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan |
Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 9-9, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Véronique Cortier, Eric le Morvan |
Secure Refinements of Communication Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 575-589, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |
A Provably Correct Sampler for Probabilistic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 475-488, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Weidner |
Probabilistic Regular Expressions and MSO Logic on Finite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 503-516, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, Diptarka Chakraborty, Debarati Das 0001, Satyadev Nandakumar |
Dimension, Pseudorandomness and Extraction of Pseudorandomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 221-235, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arijit Bishnu, Amit Chakrabarti, Subhas C. Nandy, Sandeep Sen |
On Density, Threshold and Emptiness Queries for Intervals in the Streaming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 336-349, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. i-xiv, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Chiplunkar, Sundar Vishwanathan |
Approximating the Regular Graphic TSP in Near Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 125-135, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Marie van den Bogaard |
Games with Delays - A Frankenstein Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 307-319, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Braverman, Harry Lang, Keith D. Levin, Morteza Monemizadeh |
Clustering on Sliding Windows in Polylogarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 350-364, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Nikolay Karpov, Alexander S. Kulikov |
Parameterized Complexity of Secluded Connectivity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 408-419, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Aduri Pavan |
On the NP-Completeness of the Minimum Circuit Size Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 236-245, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
One-way Definability of Sweeping Transducer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 178-191, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz |
Ordered Tree-Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 163-177, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege |
Simple Priced Timed Games are not That Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India, pp. 278-292, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-97-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Tingting Han 0001 |
On the Complexity of Computing Maximum Entropy for Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 571-583, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Umang Mathur 0001, Stefan Schwoon |
Computing Information Flow Using Symbolic Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 505-516, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Christian Müller 0008, Karla Burnett |
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 545-556, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara 0002, Othmane Rezine |
Verification of Dynamic Register Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 653-665, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Durand 0001, Meena Mahajan, Guillaume Malod, Nicolas de Rugy-Altherre, Nitin Saurabh |
Homomorphism Polynomials Complete for VP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 493-504, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Raskin, Ocan Sankur |
Multiple-Environment Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 531-543, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya, Paul Gastin |
Reasoning About Distributed Systems: WYSIWYG (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 11-30, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diptarka Chakraborty, Aduri Pavan, Raghunath Tewari, N. V. Vinodchandran, Lin F. Yang |
New Time-Space Upperbounds for Directed Reachability in High-genus and H-minor-free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 585-595, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Navarro 0001, Rajeev Raman, Srinivasa Rao Satti |
Asymptotically Optimal Encodings for Range Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 291-301, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mary Southern, Kaustuv Chaudhuri |
A Two-Level Logic Approach to Reasoning About Typed Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 557-569, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Archontia C. Giannopoulou, Daniel Lokshtanov, Saket Saurabh 0001, Ondrej Suchý |
Tree Deletion Set Has a Polynomial Kernel (but no OPT^O(1) Approximation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 85-96, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Finite-Valued Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 133-145, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Amaldev Manuel |
Generalized Data Automata and Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 267-278, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anant Dhayal, Jayalal Sarma, Saurabh Sawlani |
Polynomial Min/Max-weighted Reachability is in Unambiguous Log-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 597-609, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah, Martin Zimmermann 0002 |
The Complexity of Counting Models of Linear-time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 241-252, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Bansal 0001 |
New Developments in Iterated Rounding (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 1-10, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Jean-François Raskin |
Quantitative Games with Interval Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 365-377, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Debasis Mandal, Aduri Pavan, Rajeswari Venugopalan |
Separating Cook Completeness from Karp-Levin Completeness Under a Worst-Case Hardness Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 445-456, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ryan O'Donnell, A. C. Cem Say |
One Time-traveling Bit is as Good as Logarithmically Many. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 469-480, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz, Michael Elberfeld |
Parameterized Complexity of Fixed Variable Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 109-120, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manu Basavaraju, Fedor V. Fomin, Petr A. Golovach, Saket Saurabh 0001 |
Connecting Vertices by Independent Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 73-84, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Daniel Stan |
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 351-363, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi 0001 |
First-order Definable String Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 147-159, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Denis Kuperberg, Orna Kupferman |
Regular Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 161-173, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Grohe |
Colour Refinement: A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 31-31, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Geevarghese Philip, M. S. Ramanujan 0001 |
Vertex Exponential Algorithms for Connected f-Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 61-71, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Paul Gastin, Akshay Kumar |
Parameterized Communicating Automata: Complementation and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 625-637, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi |
Synchronizing Words for Weighted and Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 121-132, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Kazimierz Dabrowski, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma |
Editing to Eulerian Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 97-108, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claire David, Nadime Francis, Filip Murlak |
Consistency of Injective Tree Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 279-290, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Raman 0001, S. P. Suresh (eds.) |
34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Richard Ryan Williams |
The Polynomial Method in Circuit Complexity Applied to Algorithm Design (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 47-60, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Klauck, Supartha Podder |
New Bounds for the Garden-Hose Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 481-492, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Zhilin Wu |
Extending Temporal Logics with Data Variable Quantifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 253-265, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danny Hucke, Markus Lohrey, Eric Noeth |
Constructing Small Tree Grammars and Small Circuits for Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 457-468, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski |
Information Leakage of Non-Terminating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 517-529, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
On Bounded Reachability Analysis of Shared Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 611-623, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl, Igor Walukiewicz |
Distributed Synthesis for Acyclic Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 639-651, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001 |
Notes on Counting with Finite Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 339-350, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
Lipschitz Robustness of Finite-state Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 431-443, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|