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. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mikkel Thorup |
Fast and Powerful Hashing Using Tabulation (Invited Talk). |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaikumar Radhakrishnan, Swagato Sanyal |
The Zero-Error Randomized Query Complexity of the Pointer Function. |
FSTTCS |
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. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karthik C. S., Sébastien Tavenas |
On the Sensitivity Conjecture for Disjunctive Normal Forms. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aounon Kumar |
Capacitated k-Center Problem with Vertex Weights. |
FSTTCS |
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 |
FSTTCS |
2016 |
DBLP BibTeX RDF |
|
1 | Fahad Panolan, Meirav Zehavi |
Parameterized Algorithms for List K-Cycle. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi 0001 |
Mean-Payoff Games on Timed Automata. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Boaz Barak |
Convexity, Bayesianism, and the Quest Towards Optimal Algorithms (Invited Talk). |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sudeshna Kolay, Fahad Panolan |
Parameterized Algorithms for Deletion to (r, ell)-Graphs. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guy Avni, Orna Kupferman, Tami Tamir |
Congestion Games with Multisets of Resources and Applications in Synthesis. |
FSTTCS |
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. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Goyal, Tobias Mömke |
Robust Reoptimization of Steiner Trees. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Denis Kuperberg, Orna Kupferman |
The Sensing Cost of Monitoring and Synthesis. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prateek Karandikar, Philippe Schnoebelen |
Decidability in the Logic of Subsequences and Supersequences. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Cachera, Uli Fahrenberg, Axel Legay |
An omega-Algebra for Real-Time Energy Problems. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Henryk Michalewski, Matteo Mio |
On the Problem of Computing the Probability of Regular Sets of Trees. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prachi Goyal, Pranabendu Misra, Fahad Panolan, Geevarghese Philip, Saket Saurabh 0001 |
Finding Even Subgraphs Even Faster. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arindam Khan 0001, Mohit Singh |
On Weighted Bipartite Edge Coloring. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Moitra |
Beyond Matrix Completion (Invited Talk). |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sudip Biswas, Arnab Ganguly 0002, Rahul Shah 0001, Sharma V. Thankachan |
Forbidden Extension Queries. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Leonard J. Schulman, Vijay V. Vazirani |
Allocation of Divisible Goods Under Lexicographic Preferences. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sagnik Mukhopadhyay, Swagato Sanyal |
Towards Better Separation between Deterministic and Randomized Query Complexity. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer 0001, Mehdi Seyed Salehi |
What's Decidable about Availability Languages?. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Worrell 0001 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk). |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Iglesias, Rajmohan Rajaraman, R. Ravi 0001, Ravi Sundaram |
Rumors Across Radio, Wireless, Telephone. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Balaji, Samir Datta, Venkatesh Ganesan |
Counting Euler Tours in Undirected Bounded Treewidth Graphs. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
Failure-aware Runtime Verification of Distributed Systems. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hal Daumé III, Samir Khuller, Manish Purohit, Gregory Sanders |
On Correcting Inputs: Inverse Optimization for Online Structured Prediction. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Nobuko Yoshida |
On the Expressiveness of Multiparty Sessions. |
FSTTCS |
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. |
FSTTCS |
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. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karthekeyan Chandrasekaran, Venkata Gandikota, Elena Grigorescu |
Deciding Orthogonality in Construction-A Lattices. |
FSTTCS |
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). |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel |
Control Improvisation. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
Revisiting Robustness in Priced Timed Games. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Magnús M. Halldórsson, Tigran Tonoyan |
The Price of Local Power Control in Wireless Scheduling. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moses Samson Charikar |
Bypassing Worst Case Analysis: Tensor Decomposition and Clustering (Invited Talk). |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Till Fluschnik, Stefan Kratsch, Rolf Niedermeier, Manuel Sorge |
The Parameterized Complexity of the Minimum Shared Edges Problem. |
FSTTCS |
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 |
FSTTCS |
2015 |
DBLP BibTeX RDF |
|
1 | Lukas Fleischer, Manfred Kufleitner |
Efficient Algorithms for Morphisms over Omega-Regular Languages. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Amaldev Manuel |
Fragments of Fixpoint Logic on Data Words. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Patrick Gardy, Nicolas Markey |
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan |
Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk). |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Véronique Cortier, Eric le Morvan |
Secure Refinements of Communication Channels. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |
A Provably Correct Sampler for Probabilistic Programs. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Weidner |
Probabilistic Regular Expressions and MSO Logic on Finite Trees. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, Diptarka Chakraborty, Debarati Das 0001, Satyadev Nandakumar |
Dimension, Pseudorandomness and Extraction of Pseudorandomness. |
FSTTCS |
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. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Chiplunkar, Sundar Vishwanathan |
Approximating the Regular Graphic TSP in Near Linear Time. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Marie van den Bogaard |
Games with Delays - A Frankenstein Approach. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Braverman, Harry Lang, Keith D. Levin, Morteza Monemizadeh |
Clustering on Sliding Windows in Polylogarithmic Space. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Petr A. Golovach, Nikolay Karpov, Alexander S. Kulikov |
Parameterized Complexity of Secluded Connectivity Problems. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Aduri Pavan |
On the NP-Completeness of the Minimum Circuit Size Problem. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
One-way Definability of Sweeping Transducer. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Pawel Parys, Sylvain Salvati, Igor Walukiewicz |
Ordered Tree-Pushdown Systems. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege |
Simple Priced Timed Games are not That Simple. |
FSTTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Tingting Han 0001 |
On the Complexity of Computing Maximum Entropy for Markovian Models. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Umang Mathur 0001, Stefan Schwoon |
Computing Information Flow Using Symbolic Model-Checking. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Christian Müller 0008, Karla Burnett |
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara 0002, Othmane Rezine |
Verification of Dynamic Register Automata. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Durand 0001, Meena Mahajan, Guillaume Malod, Nicolas de Rugy-Altherre, Nitin Saurabh |
Homomorphism Polynomials Complete for VP. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Raskin, Ocan Sankur |
Multiple-Environment Markov Decision Processes. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya, Paul Gastin |
Reasoning About Distributed Systems: WYSIWYG (Invited Talk). |
FSTTCS |
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. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Navarro 0001, Rajeev Raman, Srinivasa Rao Satti |
Asymptotically Optimal Encodings for Range Selection. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mary Southern, Kaustuv Chaudhuri |
A Two-Level Logic Approach to Reasoning About Typed Specification Languages. |
FSTTCS |
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). |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Finite-Valued Weighted Automata. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Amaldev Manuel |
Generalized Data Automata and Fixpoint Logic. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anant Dhayal, Jayalal Sarma, Saurabh Sawlani |
Polynomial Min/Max-weighted Reachability is in Unambiguous Log-space. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah, Martin Zimmermann 0002 |
The Complexity of Counting Models of Linear-time Temporal Logic. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Bansal 0001 |
New Developments in Iterated Rounding (Invited Talk). |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Jean-François Raskin |
Quantitative Games with Interval Objectives. |
FSTTCS |
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. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ryan O'Donnell, A. C. Cem Say |
One Time-traveling Bit is as Good as Logarithmically Many. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz, Michael Elberfeld |
Parameterized Complexity of Fixed Variable Logics. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manu Basavaraju, Fedor V. Fomin, Petr A. Golovach, Saket Saurabh 0001 |
Connecting Vertices by Independent Trees. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Daniel Stan |
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi 0001 |
First-order Definable String Transformations. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaull Almagor, Denis Kuperberg, Orna Kupferman |
Regular Sensing. |
FSTTCS |
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). |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Geevarghese Philip, M. S. Ramanujan 0001 |
Vertex Exponential Algorithms for Connected f-Factors. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Paul Gastin, Akshay Kumar |
Parameterized Communicating Automata: Complementation and Model Checking. |
FSTTCS |
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. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Kazimierz Dabrowski, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma |
Editing to Eulerian Graphs. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claire David, Nadime Francis, Filip Murlak |
Consistency of Injective Tree Patterns. |
FSTTCS |
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 |
FSTTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Richard Ryan Williams |
The Polynomial Method in Circuit Complexity Applied to Algorithm Design (Invited Talk). |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Klauck, Supartha Podder |
New Bounds for the Garden-Hose Model. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Zhilin Wu |
Extending Temporal Logics with Data Variable Quantifications. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danny Hucke, Markus Lohrey, Eric Noeth |
Constructing Small Tree Grammars and Small Circuits for Formulas. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski |
Information Leakage of Non-Terminating Processes. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
On Bounded Reachability Analysis of Shared Memory Systems. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl, Igor Walukiewicz |
Distributed Synthesis for Acyclic Architectures. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Chistikov 0001 |
Notes on Counting with Finite Machines. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
Lipschitz Robustness of Finite-state Transducers. |
FSTTCS |
2014 |
DBLP DOI BibTeX RDF |
|