Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kamal Lodaya, Meena Mahajan (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-23-1 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Backes 0001, Matteo Maffei, Esfandiar Mohammadi |
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, pp. 352-363, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-23-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Braud |
Covering of ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 97-108, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Adriaan Moors |
Fighting bit Rot with Types (Experience Report: Scala Collections). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 427-451, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak |
The Wadge Hierarchy of Max-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 121-132, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | M. Praveen, Kamal Lodaya |
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 347-358, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Avi Wigderson |
Randomness extractors -- applications and constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 471-473, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Taly, Ashish Tiwari 0001 |
Deductive Verification of Continuous Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 383-394, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran |
Kolmogorov Complexity in Randomness Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 215-226, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Khandekar, Guy Kortsarz, Zeev Nutov |
Approximating Fault-Tolerant Group-Steiner Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 263-274, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa H. Ammar, Deeparnab Chakrabarty, Atish Das Sarma, Subrahmanyam Kalyanasundaram, Richard J. Lipton |
Algorithms for Message Ferrying on Mobile ad hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 13-24, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | R. Ravi 0001 |
Iterative Methods in Combinatorial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 453-469, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Karianto Wong |
On Nondeterministic Unranked Tree Automata with Sibling Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 311-322, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Pushkar S. Joglekar, Srikanth Srinivasan 0001 |
Arithmetic Circuits and the Hadamard Product of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 25-36, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Kneis, Alexander Langer, Peter Rossmanith |
A Fine-grained Analysis of a Simple Independent Set Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 287-298, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Khandekar, Kirsten Hildrum, Sujay S. Parekh, Deepak Rajan, Jay Sethuraman, Joel L. Wolf |
Bounded Size Graph Clustering with Applications to Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 275-286, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Chung Huang, Zoya Svitkina |
Donation Center Location Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 227-238, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Szymon Torunczyk |
Deterministic Automata and Extensions of Weak MSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 73-84, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich |
Synthesis of Finite-state and Definable Winning Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 359-370, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lukás Holík, Tomás Vojnar |
Mediating for Reduction (on Minimizing Alternating Büchi Automata). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 1-12, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marc Kaplan, Iordanis Kerenidis, Sophie Laplante, Jérémie Roland |
Non-Local Box Complexity and Secure Function Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 239-250, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Madeira, S. Muthukrishnan 0001 |
Functionally Private Approximations of Negligibly-Biased Estimators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 323-334, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Kannan, K. Narayan Kumar (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic 0001 |
The Covering and Boundedness Problems for Branching Vector Addition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 181-192, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chandan Saha 0001, Ramprasad Saptharishi, Nitin Saxena 0001 |
The Power of Depth 2 Circuits over Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 371-382, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar |
Structure and Specification as Sources of Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 407-416, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera 0001 |
Continuous-Time Stochastic Games with Time-Bounded Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 61-72, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Axel Legay, Sophie Pinchinat |
On Timed Alternating Simulation for Concurrent Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 85-96, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cristau |
Automata and temporal logic over arbitrary linear time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 133-144, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Prajakta Nimbhorkar, Thomas Thierauf, Fabian Wagner |
Graph Isomorphism for K_{3, 3}-free and K_5-free graphs is in Log-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 145-156, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer |
On the Memory Consumption of Probabilistic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 49-60, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Kannan, K. Narayan Kumar |
Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Abhinav Kumar 0006, Satyanarayana V. Lokam, Vijay M. Patankar, Jayalal Sarma |
Using Elimination Theory to construct Rigid Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 299-310, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Tracol, Christel Baier, Marcus Größer |
Recurrence and Transience for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 395-406, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Bessy, Fedor V. Fomin, Serge Gaspers, Christophe Paul, Anthony Perez 0001, Saket Saurabh 0001, Stéphan Thomassé |
Kernels for Feedback Arc Set In Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 37-47, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Stephan Kreutzer |
Domination Problems in Nowhere-Dense Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 157-168, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Georgiou, Avner Magen, Iannis Tourlakis |
On the Tightening of the Standard SDP for Vertex Cover with $ell_1$ Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 203-214, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen |
Priced Timed Automata: Theory and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 417-425, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Sunil Easaw Simon |
Nash Equilibrium in Generalised Muller Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 335-346, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr |
Fractional Pebbling and Thrifty Branching Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 109-120, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kattenbelt, Michael Huth 0001 |
Verification and Refutation of Probabilistic Specifications via Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 251-262, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune, Steve Kremer, Olivier Pereira |
Simulation based security in the applied pi calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 169-180, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman 0001, Saket Saurabh 0001 |
Subexponential Algorithms for Partial Cover Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, pp. 193-201, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-13-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Georg Moser, Andreas Schnabl, Johannes Waldmann |
Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 304-315, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Golovin, Anupam Gupta 0001, Amit Kumar 0001, Kanat Tangwongsan |
All-Norms and All-L_p-Norms Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 199-210, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sampath Kannan, Sanjeev Khanna, Sudeepa Roy |
STCON in Directed Unique-Path Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 256-267, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Hariharan, Madhavan Mukund, V. Vinay |
2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. i, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Pushkar S. Joglekar |
Some Sieving Algorithms for Lattice Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 25-36, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gulan, Henning Fernau |
An Optimal Construction of Finite Automata from Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 211-222, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Komusiewicz, Johannes Uhlmann |
A Cubic-Vertex Kernel for Flip Consensus Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 280-291, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001 |
Sound Lemma Generation for Proving Inductive Validity of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 13-24, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Samuel Müller 0002, Birgit Pfitzmann |
Runtime Monitoring of Metric First-order Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 49-60, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Josep Díaz, Lefteris M. Kirousis, Dieter Mitsche, Xavier Pérez-Giménez |
A new upper bound for 3-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 163-174, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cristau, Florian Horn 0001 |
Graph Games on Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 143-154, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner |
Abstraction Refinement for Games with Incomplete Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 175-186, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chandra Chekuri, Nitish Korula |
Single-Sink Network Design with Vertex Connectivity Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 131-142, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel |
Banach-Mazur Games on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 364-382, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Comon-Lundh |
About models of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 352-356, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florian Horn 0001 |
Explicit Muller Games are PTIME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 235-243, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juan Rodríguez-Hortalá |
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 328-339, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Marion, Romain Péchoux |
Analyzing the Implicit Computational Complexity of object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 316-327, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Telikepalli Kavitha |
Dynamic matrix rank with partial lookahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 268-279, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal |
Boolean algebras of unambiguous context-free languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 83-94, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chandra Chekuri, Nitish Korula |
Pruning 2-Connected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 119-130, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Jurdzinski, Ashutosh Trivedi 0001 |
Average-Time Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 340-351, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Nutan Limaye, Prajakta Nimbhorkar |
3-connected Planar Graph Isomorphism is in Log-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 155-162, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty |
Harnessing the Multicores: Nested Data Parallelism in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 383-414, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Inaba, Sebastian Maneth |
The Complexity of Tree Transducer Output Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 244-255, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alan M. Frieze, Ravi Kannan |
A new approach to the planted clique problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 187-198, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leslie G. Valiant |
Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 415-422, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Laurent Doyen 0001 |
On the Power of Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 73-82, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Omid Amini, Fedor V. Fomin, Saket Saurabh 0001 |
Implicit Branching and Parameterized Partial Cover Problems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 1-12, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Uriel Feige |
On Estimation Algorithms vs Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 357-363, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Hariharan, Madhavan Mukund, V. Vinay |
2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 10, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 107-118, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Noam Berger, Nevin Kapur, Leonard J. Schulman, Vijay V. Vazirani |
Solvency Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 61-72, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
Analyzing Asynchronous Programs with Preemption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 37-48, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey |
Leaf languages and string compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 292-303, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | André Chailloux, Iordanis Kerenidis |
Increasing the power of the verifier in Quantum Zero Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 95-106, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hayman, Glynn Winskel |
The unfolding of general Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India, pp. 223-234, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Glaßer, Alan L. Selman, Stephen D. Travers, Liyu Zhang |
Non-mitotic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 146-157, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Herlihy |
The Multicore Revolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 1-8, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Brévilliers, Nicolas Chevallier, Dominique Schmitt |
Triangulations of Line Segment Sets in the Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 388-399, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune, Steve Kremer, Mark Ryan 0001 |
Symbolic Bisimulation for the Applied Pi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 133-145, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Luigi Santocanale |
Undirected Graphs of Entanglement 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 508-519, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider |
Covering Graphs with Few Complete Bipartite Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 340-351, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce |
A Formal Investigation of. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 485-496, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Amit Kumar 0001, Yogish Sabharwal |
The Priority k-Median Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 71-83, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune |
Safely Composing Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 352-363, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Diptikalyan Saha |
An Incremental Bisimulation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 204-215, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Benedikt Bollig, Paul Gastin |
Automata and Logics for Timed Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 290-302, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Chevalier, Mounira Kourjieh |
Key Substitution in the Symbolic Analysis of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 121-132, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Therese C. Biedl, Masud Hasan, Alejandro López-Ortiz |
Reconstructing Convex Polygons and Polyhedra from Edge and Face Counts in Orthogonal Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 400-411, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anand Srivastav, Sören Werth |
Probabilistic Analysis of the Degree Bounded Minimum Spanning Tree Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 497-507, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Judicaël Courant, Cristian Ene, Yassine Lakhnech |
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 364-375, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee |
Stochastic Müller Games are PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 436-448, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Sanjiva Prasad (eds.) |
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![Springer, 978-3-540-77049-7 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard M. Karp |
Streaming Algorithms for Selection and Approximate Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 9-20, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Takuro Fukunaga, Magnús M. Halldórsson, Hiroshi Nagamochi |
"Rent-or-Buy" Scheduling and Cost Coloring Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 84-95, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|