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 |
FSTTCS |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Backes 0001, Matteo Maffei, Esfandiar Mohammadi |
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Braud |
Covering of ordinals. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Adriaan Moors |
Fighting bit Rot with Types (Experience Report: Scala Collections). |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak |
The Wadge Hierarchy of Max-Regular Languages. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | M. Praveen, Kamal Lodaya |
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Avi Wigderson |
Randomness extractors -- applications and constructions. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Taly, Ashish Tiwari 0001 |
Deductive Verification of Continuous Dynamical Systems. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran |
Kolmogorov Complexity in Randomness Extraction. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Khandekar, Guy Kortsarz, Zeev Nutov |
Approximating Fault-Tolerant Group-Steiner Problems. |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | R. Ravi 0001 |
Iterative Methods in Combinatorial Optimization. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding, Karianto Wong |
On Nondeterministic Unranked Tree Automata with Sibling Constraints. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Pushkar S. Joglekar, Srikanth Srinivasan 0001 |
Arithmetic Circuits and the Hadamard Product of Polynomials. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Kneis, Alexander Langer, Peter Rossmanith |
A Fine-grained Analysis of a Simple Independent Set Algorithm. |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Chung Huang, Zoya Svitkina |
Donation Center Location Problem. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Szymon Torunczyk |
Deterministic Automata and Extensions of Weak MSO. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich |
Synthesis of Finite-state and Definable Winning Strategies. |
FSTTCS |
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). |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marc Kaplan, Iordanis Kerenidis, Sophie Laplante, Jérémie Roland |
Non-Local Box Complexity and Secure Function Evaluation. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Madeira, S. Muthukrishnan 0001 |
Functionally Private Approximations of Negligibly-Biased Estimators. |
FSTTCS |
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 |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chandan Saha 0001, Ramprasad Saptharishi, Nitin Saxena 0001 |
The Power of Depth 2 Circuits over Algebras. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar |
Structure and Specification as Sources of Complexity. |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Axel Legay, Sophie Pinchinat |
On Timed Alternating Simulation for Concurrent Timed Games. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cristau |
Automata and temporal logic over arbitrary linear time. |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer |
On the Memory Consumption of Probabilistic Pushdown Automata. |
FSTTCS |
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). |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Abhinav Kumar 0006, Satyanarayana V. Lokam, Vijay M. Patankar, Jayalal Sarma |
Using Elimination Theory to construct Rigid Matrices. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Tracol, Christel Baier, Marcus Größer |
Recurrence and Transience for Probabilistic Automata. |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Stephan Kreutzer |
Domination Problems in Nowhere-Dense Classes. |
FSTTCS |
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. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen |
Priced Timed Automata: Theory and Tools. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Sunil Easaw Simon |
Nash Equilibrium in Generalised Muller Games. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr |
Fractional Pebbling and Thrifty Branching Programs. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kattenbelt, Michael Huth 0001 |
Verification and Refutation of Probabilistic Specifications via Games. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune, Steve Kremer, Olivier Pereira |
Simulation based security in the applied pi calculus. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman 0001, Saket Saurabh 0001 |
Subexponential Algorithms for Partial Cover Problems. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Georg Moser, Andreas Schnabl, Johannes Waldmann |
Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations. |
FSTTCS |
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. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sampath Kannan, Sanjeev Khanna, Sudeepa Roy |
STCON in Directed Unique-Path Graphs. |
FSTTCS |
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. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Pushkar S. Joglekar |
Some Sieving Algorithms for Lattice Problems. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gulan, Henning Fernau |
An Optimal Construction of Finite Automata from Regular Expressions. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Komusiewicz, Johannes Uhlmann |
A Cubic-Vertex Kernel for Flip Consensus Tree. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001 |
Sound Lemma Generation for Proving Inductive Validity of Equations. |
FSTTCS |
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. |
FSTTCS |
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. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cristau, Florian Horn 0001 |
Graph Games on Ordinals. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner |
Abstraction Refinement for Games with Incomplete Information. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chandra Chekuri, Nitish Korula |
Single-Sink Network Design with Vertex Connectivity Requirements. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel |
Banach-Mazur Games on Graphs. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Comon-Lundh |
About models of security protocols. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florian Horn 0001 |
Explicit Muller Games are PTIME. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juan Rodríguez-Hortalá |
A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Marion, Romain Péchoux |
Analyzing the Implicit Computational Complexity of object-oriented programs. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Telikepalli Kavitha |
Dynamic matrix rank with partial lookahead. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal |
Boolean algebras of unambiguous context-free languages. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chandra Chekuri, Nitish Korula |
Pruning 2-Connected Graphs. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Jurdzinski, Ashutosh Trivedi 0001 |
Average-Time Games. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Samir Datta, Nutan Limaye, Prajakta Nimbhorkar |
3-connected Planar Graph Isomorphism is in Log-space. |
FSTTCS |
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 |
FSTTCS |
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. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Inaba, Sebastian Maneth |
The Complexity of Tree Transducer Output Languages. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alan M. Frieze, Ravi Kannan |
A new approach to the planted clique problem. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leslie G. Valiant |
Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Laurent Doyen 0001 |
On the Power of Imperfect Information. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Omid Amini, Fedor V. Fomin, Saket Saurabh 0001 |
Implicit Branching and Parameterized Partial Cover Problems (Extended Abstract). |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Uriel Feige |
On Estimation Algorithms vs Approximation Algorithms. |
FSTTCS |
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. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Noam Berger, Nevin Kapur, Leonard J. Schulman, Vijay V. Vazirani |
Solvency Games. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
Analyzing Asynchronous Programs with Preemption. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey |
Leaf languages and string compression. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | André Chailloux, Iordanis Kerenidis |
Increasing the power of the verifier in Quantum Zero Knowledge. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hayman, Glynn Winskel |
The unfolding of general Petri nets. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Glaßer, Alan L. Selman, Stephen D. Travers, Liyu Zhang |
Non-mitotic Sets. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Herlihy |
The Multicore Revolution. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Brévilliers, Nicolas Chevallier, Dominique Schmitt |
Triangulations of Line Segment Sets in the Plane. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune, Steve Kremer, Mark Ryan 0001 |
Symbolic Bisimulation for the Applied Pi Calculus. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Luigi Santocanale |
Undirected Graphs of Entanglement 2. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider |
Covering Graphs with Few Complete Bipartite Subgraphs. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce |
A Formal Investigation of. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Amit Kumar 0001, Yogish Sabharwal |
The Priority k-Median Problem. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Jérémie Delaitre, Stéphanie Delaune |
Safely Composing Security Protocols. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Diptikalyan Saha |
An Incremental Bisimulation Algorithm. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Benedikt Bollig, Paul Gastin |
Automata and Logics for Timed Message Sequence Charts. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Chevalier, Mounira Kourjieh |
Key Substitution in the Symbolic Analysis of Cryptographic Protocols. |
FSTTCS |
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. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anand Srivastav, Sören Werth |
Probabilistic Analysis of the Degree Bounded Minimum Spanning Tree Problem. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Judicaël Courant, Cristian Ene, Yassine Lakhnech |
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee |
Stochastic Müller Games are PSPACE-Complete. |
FSTTCS |
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 |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard M. Karp |
Streaming Algorithms for Selection and Approximate Sorting. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Takuro Fukunaga, Magnús M. Halldórsson, Hiroshi Nagamochi |
"Rent-or-Buy" Scheduling and Cost Coloring Problems. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|