Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kasturi R. Varadarajan, Xin Xiao |
On the Sensitivity of Shape Fitting Problems. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Achlioptas, Themis Gouleakis |
Algorithmic Improvements of the Lovász Local Lemma via Cluster Expansion . |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Varun Rajan |
Space Efficient Edge-Fault Tolerant Routing. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Crowston, Gregory Z. Gutin, Mark Jones 0001 |
Directed Acyclic Subgraph Problem Parameterized above the Poljak-Turzik Bound. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Santosh S. Vempala |
Randomly-oriented k-d Trees Adapt to Intrinsic Dimension. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001 |
Bisimilarity of Probabilistic Pushdown Automata. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amit Kumar 0001, Preeti Ranjan Panda, Smruti R. Sarangi |
Efficient on-line algorithm for maintaining k-cover of sparse bit-strings. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan T. Chakaravarthy, Natwar Modani, Sivaramakrishnan R. Natarajan, Sambuddha Roy, Yogish Sabharwal |
Density Functions subject to a Co-Matroid Constraint. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Bonsma |
Rerouting shortest paths in planar graphs. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Navin Goyal, Luis Rademacher |
Lower Bounds for the Average and Smoothed Number of Pareto Optima. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Geevarghese Philip, Yngve Villanger |
Minimum Fill-in of Sparse Graphs: Kernelization and Approximation. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais |
Streamability of Nested Word Transductions. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Phokion G. Kolaitis |
Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Amit Kumar (eds.) |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India |
FSTTCS |
2011 |
DBLP BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Pierre Ganty |
Approximating Petri Net Reachability Along Context-free Traces. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló, Leonid Libkin, Juan L. Reutter |
Parameterized Regular Expressions and Their Languages. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prabhanjan Ananth, Meghana Nasre, Kanthi K. Sarpatwar |
Rainbow Connectivity: Hardness and Tractability. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Blaise Genest |
Minimal Disclosure in Partially Observable Markov Decision Processes. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pinar Heggernes, Pim van 't Hof, Daniel Lokshtanov, Christophe Paul |
Obtaining a Bipartite Graph by Contracting Few Edges. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal, Teodor Knapik |
Higher order indexed monadic systems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König 0001 |
Conditional Reactive Systems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
Author Index. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala |
A Perfect-Information Construction for Coordination in Games. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Albers |
Energy-Efficient Algorithms (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Glaßer, Christian Reitwießner, Maximilian Witek |
Applications of Discrepancy Theory in Multiobjective Approximation. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Siavosh Benabbas, Siu On Chan, Konstantinos Georgiou, Avner Magen |
Tight Gaps for Vertex Cover in the Sherali-Adams SDP Hierarchy. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz |
Using non-convex approximations for efficient analysis of timed automata. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Darondeau, Stéphane Demri, Roland Meyer 0001, Christophe Morvan |
Petri Net Reachability Graphs: Decidability Status of FO Properties. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Denis Kuperberg, Michael Vanden Boom |
Quasi-Weak Cost Automata: A New Variant of Weakness. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ocan Sankur, Patricia Bouyer, Nicolas Markey |
Shrinking Timed Automata. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kieronski, Jakub Michaliszyn, Jan Otop |
Modal Logics Definable by Universal Three-Variable Formulas. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aleksander Madry, Debmalya Panigrahi |
The Semi-stochastic Ski-rental Problem. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Felgenhauer, Harald Zankl, Aart Middeldorp |
Layer Systems for Proving Confluence. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hongfei Fu 0001, Joost-Pieter Katoen |
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alex Bain, John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman |
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yang Cai 0001, Ting Zhang |
A Tight Lower Bound for Streett Complementation. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay, Claus R. Thrane |
The Quantitative Linear-Time--Branching-Time Spectrum. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marek Cygan, Fabrizio Grandoni 0001, Stefano Leonardi 0001, Marcin Mucha, Marcin Pilipczuk, Piotr Sankowski |
Approximation Algorithms for Union and Intersection Covering Problems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Oren Ben-Kiki, Philip Bille, Dany Breslauer, Leszek Gasieniec, Roberto Grossi, Oren Weimann |
Optimal Packed String Matching. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Amit Kumar |
Frontmatter, Table of Contents, Preface, Conference Organization, External Reviewers. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Crowston, Michael R. Fellows, Gregory Z. Gutin, Mark Jones 0001, Frances A. Rosamond, Stéphan Thomassé, Anders Yeo |
Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki |
The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
Nash Equilibria in Concurrent Games with Büchi Objectives. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Umesh V. Vazirani |
Quantum State Description Complexity (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Duparc, Alessandro Facchini, Filip Murlak |
Definable Operations On Weakly Recognizable Sets of Trees. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Céline Chevalier, Stéphanie Delaune, Steve Kremer |
Transforming Password Protocols to Compose. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang 0001 |
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | B. V. Raghavendra Rao, Jayalal Sarma |
Isomorphism testing of read-once functions and polynomials. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Göller, Markus Lohrey |
The First-Order Theory of Ground Tree Rewrite Graphs. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Madhu Sudan 0001 |
Physical limits of Communication (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manoj Gupta 0002, Yogish Sabharwal, Sandeep Sen |
The update complexity of selection and related problems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Abhijin Adiga, L. Sunil Chandran, Rogers Mathew |
Cubicity, Degeneracy, and Crossing Number. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Durand 0001, Johannes Ebbing, Juha Kontinen, Heribert Vollmer |
Dependence logic with a majority quantifier. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hague |
Parameterised Pushdown Systems with Non-Atomic Writes. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Saverio Caminiti, Irene Finocchi, Emanuele G. Fusco, Francesco Silvestri 0001 |
Dynamic programming in faulty memory hierarchies (cache-obliviously). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wieslaw Zielonka |
Playing in stochastic environment: from multi-armed bandits to two-player games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Fellows, Bart M. P. Jansen, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh 0001 |
Determining the Winner of a Dodgson Election is Hard. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Neeldhara Misra, Geevarghese Philip, Venkatesh Raman 0001, Saket Saurabh 0001 |
The effect of girth on the kernelization complexity of Connected Dominating Set. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schewe |
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Qi Ge, Daniel Stefankovic |
A graph polynomial for independent sets of bipartite graphs. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Orna Kupferman, Avital Steinitz |
Parityizing Rabin and Streett. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
ATL with Strategy Contexts: Expressiveness and Model Checking. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider |
Satisfiability of Acyclic and Almost Acyclic CNF Formulas. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Berman, Sofya Raskhodnikova, Ge Ruan |
Finding Sparser Directed Spanners. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 |
Computing Rational Radical Sums in Uniform TC^0. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Model checking time-constrained scenario-based specifications. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Václav Brozek, Kousha Etessami |
One-Counter Stochastic Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Bireswar Das, Johannes Köbler, Seinosuke Toda |
Colored Hypergraph Isomorphism is Fixed Parameter Tractable. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Pudlák |
On extracting computations from propositional proofs (a survey). |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Jacobo Torán, Fabian Wagner |
Graph Isomorphism is not AC^0 reducible to Group Isomorphism. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001 |
Fast equivalence-checking for normed context-free processes. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sara Capecchi, Elena Giachino, Nobuko Yoshida |
Global Escape in Multiparty Sessions. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas R. Radcliffe, Rakesh M. Verma |
Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle |
Special tree-width and the verification of monadic second-order graph pr operties. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Pavol Cerný |
Expressiveness of streaming string transducers. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hague, Anthony Widjaja To |
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gagan Goel, Pushkar Tripathi, Lei Wang 0010 |
Combinatorial Problems with Discounted Price Functions in Multi-agent Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Khandekar, Baruch Schieber, Hadas Shachnai, Tami Tamir |
Minimizing Busy Time in Multiple Machine Real-time Scheduling. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan T. Chakaravarthy, Vinayaka Pandit, Sambuddha Roy, Yogish Sabharwal |
Finding Independent Sets in Unions of Perfect Graphs. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Model Checking Concurrent Programs with Nondeterminism and Randomization. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Petr Hlinený, Jan Obdrzálek |
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sourav Chakraborty 0001, Eldar Fischer, Arie Matsliah, Ronald de Wolf |
New Results on Quantum Property Testing. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schulz 0002 |
First-Order Logic with Reachability Predicates on Infinite Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Yogish Sabharwal |
A Near-linear Time Constant Factor Algorithm for Unsplittable Flow Problem on Line with Bag Constraints. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig |
Global Model Checking of Ordered Multi-Pushdown Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun |
Place-Boundedness for Vector Addition Systems with one zero-test. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | André Chailloux, Iordanis Kerenidis, Jamie Sikora |
Lower bounds for Quantum Oblivious Transfer. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Nicaud, Carine Pivoteau, Benoît Razet |
Average Analysis of Glushkov Automata under a BST-Like Model. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rishi Saket |
Quasi-Random PCP and Hardness of 2-Catalog Segmentation. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ahmet Kara 0002, Thomas Schwentick, Thomas Zeume |
Temporal Logics on Words with Multiple Data Values. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Generalizing the powerset construction, coalgebraically. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Lodaya, Meena Mahajan |
Frontmatter, Table of Contents, Preface, Conference Organization, Author Index. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maurice J. Jansen, Youming Qiao, Jayalal Sarma |
Deterministic Black-Box Identity Testing $pi$-Ordered Algebraic Branching Programs. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Aldric Degorre |
Two Size Measures for Timed Languages. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Blaise Genest, Anca Muscholl, Zhilin Wu |
Verifying Recursive Active Documents with Positive Data Tree Rewriting. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Reasoning About Strategies. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Santosh S. Vempala |
Recent Progress and Open Problems in Algorithmic Convex Geometry. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|