| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Glaßer, Christian Reitwießner, Maximilian Witek |
Applications of Discrepancy Theory in Multiobjective Approximation.  |
FSTTCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan |
Petri Net Reachability Graphs: Decidability Status of FO Properties. |
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 | B. V. Raghavendra Rao, Jayalal M. N. 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 | Aleksander Madry, Debmalya Panigrahi |
The Semi-stochastic Ski-rental Problem. |
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 | Jacques Duparc, Alessandro Facchini, Filip Murlak |
Definable Operations On Weakly Recognizable Sets of Trees. |
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 | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais |
Streamability of Nested Word Transductions. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley, Markus Rabe 0002, Sven Schewe, Lijun Zhang |
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand, Blaise Genest |
Minimal Disclosure in Partially Observable Markov Decision Processes. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ocan Sankur, Patricia Bouyer, Nicolas Markey |
Shrinking Timed Automata. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer |
Dependence logic with a majority quantifier. |
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 | Harrie Jan Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König |
Conditional Reactive Systems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague |
Parameterised Pushdown Systems with Non-Atomic Writes. |
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 | 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 | Hongfei Fu, Joost-Pieter Katoen |
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems. |
FSTTCS |
2011 |
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 | 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 | Saverio Caminiti, Irene Finocchi, Emanuele G. Fusco, Francesco Silvestri |
Dynamic programming in faulty memory hierarchies (cache-obliviously). |
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 | Mohamed Faouzi Atig, Pierre Ganty |
Approximating Petri Net Reachability Along Context-free Traces. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhu Sudan |
Physical limits of Communication (Invited Talk). |
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 | Prabhanjan Ananth, Meghana Nasre, Kanthi K. Sarpatwar |
Rainbow Connectivity: Hardness and Tractability. |
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 | Manoj Gupta, Yogish Sabharwal, Sandeep Sen |
The update complexity of selection and related problems. |
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 | Bertram Felgenhauer, Harald Zankl, Aart Middeldorp |
Layer Systems for Proving Confluence. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Caucal, Teodor Knapik |
Higher order indexed monadic systems. |
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 | Robert Crowston, Michael R. Fellows, Gregory Gutin, Mark Jones, 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 | Abhijin Adiga, L. Sunil Chandran, Rogers Mathew |
Cubicity, Degeneracy, and Crossing Number. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
A Tight Lower Bound for Streett Complementation. |
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 | Pablo Barceló, Leonid Libkin, Juan L. Reutter |
Parameterized Regular Expressions and Their Languages. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umesh V. Vazirani |
Quantum State Description Complexity (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Cygan, Fabrizio Grandoni, Stefano Leonardi, Marcin Mucha, Marcin Pilipczuk, Piotr Sankowski |
Approximation Algorithms for Union and Intersection Covering Problems. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Author Index. |
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 | Phokion G. Kolaitis |
Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk). |
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 | Susanne Albers |
Energy-Efficient Algorithms (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Pudlák |
On extracting computations from propositional proofs (a survey). |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman, Avital Steinitz |
Parityizing Rabin and Streett. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Model checking time-constrained scenario-based specifications. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Matteo Maffei, Esfandiar Mohammadi |
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. |
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 | Sara Capecchi, Elena Giachino, Nobuko Yoshida |
Global Escape in Multiparty Sessions. |
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 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Generalizing the powerset construction, coalgebraically. |
FSTTCS |
2010 |
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 | 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 | Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider |
Satisfiability of Acyclic and Almost Acyclic CNF Formulas. |
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 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Reasoning About Strategies. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice J. Jansen, Youming Qiao, Jayalal M. N. Sarma |
Deterministic Black-Box Identity Testing $pi$-Ordered Algebraic Branching Programs. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Berman, Sofya Raskhodnikova, Ge Ruan |
Finding Sparser Directed Spanners. |
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 | Ahmet Kara, Thomas Schwentick, Thomas Zeume |
Temporal Logics on Words with Multiple Data Values. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeldhara Misra, Geevarghese Philip, Venkatesh Raman, Saket Saurabh |
The effect of girth on the kernelization complexity of Connected Dominating Set. |
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 | Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Ronald de Wolf |
New Results on Quantum Property Testing. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell |
Computing Rational Radical Sums in Uniform TC^0. |
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 | Bruno Courcelle |
Special tree-width and the verification of monadic second-order graph pr operties. |
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 | Tomás Brázdil, Václav Brozek, Kousha Etessami |
One-Counter Stochastic Games. |
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 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
ATL with Strategy Contexts: Expressiveness and Model Checking. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný |
Expressiveness of streaming string transducers. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schulz |
First-Order Logic with Reachability Predicates on Infinite Systems. |
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 | Gagan Goel, Pushkar Tripathi, Lei Wang 0010 |
Combinatorial Problems with Discounted Price Functions in Multi-agent Systems. |
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 | Sven Schewe |
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Vempala |
Recent Progress and Open Problems in Algorithmic Convex Geometry. |
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 | Michael R. Fellows, Bart M. P. Jansen, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh |
Determining the Winner of a Dodgson Election is Hard. |
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 | Mohamed Faouzi Atig |
Global Model Checking of Ordered Multi-Pushdown Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Slawomir Lasota |
Fast equivalence-checking for normed context-free processes. |
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 | Rishi Saket |
Quasi-Random PCP and Hardness of 2-Catalog Segmentation. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Aldric Degorre |
Two Size Measures for Timed Languages. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Radcliffe, Rakesh M. Verma |
Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Model Checking Concurrent Programs with Nondeterminism and Randomization. |
FSTTCS |
2010 |
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 | Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr |
Fractional Pebbling and Thrifty Branching Programs. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cristau |
Automata and temporal logic over arbitrary linear time. |
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 | Chandan Saha, Ramprasad Saptharishi, Nitin Saxena |
The Power of Depth 2 Circuits over Algebras. |
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 | Chien-Chung Huang, Zoya Svitkina |
Donation Center Location Problem. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar |
Mediating for Reduction (on Minimizing Alternating Büchi Automata). |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")