Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gilles Geeraerts, Shibashis Guha, Jean-François Raskin |
Safe and Optimal Scheduling for Hard and Soft Tasks. |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Umang Bhaskar, Abheek Ghosh |
On the Welfare of Cardinal Voting Mechanisms. |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier |
Symbolic Approximation of Weighted Timed Games. |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar |
Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper). |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ramprasad Saptharishi, Anamay Tengse |
Quasipolynomial Hitting Sets for Circuits with Restricted Parse Trees. |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude |
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method". |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sapna Grover, Neelima Gupta, Samir Khuller, Aditya Pancholi |
Constant Factor Approximation Algorithm for Uniform Hard Capacitated Knapsack Median Problem. |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Abhranil Chatterjee 0001, Rajit Datta, Partha Mukhopadhyay |
Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators. |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla |
Model Checking Randomized Security Protocols (Invited Paper). |
FSTTCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dileep Kini, Mahesh Viswanathan 0001 |
Complexity of Model Checking MDPs against LTL Specifications. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesan Guruswami, Rishi Saket |
Hardness of Rainbow Coloring Hypergraphs. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akanksha Agrawal 0001, R. Krithika 0001, Daniel Lokshtanov, Amer E. Mouawad, M. S. Ramanujan 0001 |
On the Parameterized Complexity of Simultaneous Deletion Problems. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka |
Local Patterns. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
The Complexity of the Diagonal Problem for Recursion Schemes. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Meghana Nasre, Prajakta Nimbhorkar |
Popular Matchings with Lower Quotas. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath |
Maintaining Reeb Graphs of Triangulated 2-Manifolds. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wilke |
Backward Deterministic Büchi Automata on Infinite Words. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Michaliszyn, Jan Otop, Piotr Wieczorek |
Querying Best Paths in Graph Databases. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Alain Finkel, Jean Goubault-Larrecq |
Forward Analysis for WSTS, Part III: Karp-Miller Trees. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yixin Cao 0001, Yuping Ke, Yota Otachi, Jie You |
Vertex Deletion Problems on Chordal Graphs. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Onur Cagirici, Petr Hlinený, Bodhayan Roy |
On Colourability of Polygon Visibility Graphs. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Luke Hinde, Ján Pich |
Reasons for Hardness in QBF Proof Systems. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akash Kumar 0003, Anand Louis, Madhur Tulsiani |
Finding Pseudorandom Colorings of Pseudorandom Graphs. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lokshtanov, Saket Saurabh 0001, Roohani Sharma, Meirav Zehavi |
Balanced Judicious Bipartition is Fixed-Parameter Tractable. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Étienne Lozes, Denis Lugiez |
On Symbolic Heaps Modulo Permission Theories. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Bednarczyk, Witold Charatonik |
Modulo Counting on Words and Trees. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Devavrat Shah |
Matrix Estimation, Latent Variable Model and Collaborative Filtering. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alina Ene, Viswanath Nagarajan, Rishi Saket |
Approximation Algorithms for Stochastic k-TSP. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Gimbert |
On the Control of Asynchronous Automata. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edith Elkind |
Justified Representation in Multiwinner Voting: Axioms and Algorithms. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Gal Vardi, Moshe Y. Vardi |
Flow Games. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Anshu, Dmitry Gavinsky, Rahul Jain 0001, Srijita Kundu, Troy Lee, Priyanka Mukhopadhyay, Miklos Santha, Swagato Sanyal |
A Composition Theorem for Randomized Query Complexity. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Nutan Limaye, Michael Ludwig |
A Unified Method for Placing Problems in Polylogarithmic Depth. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Orna Kupferman, Michal Skrzypczak |
How Deterministic are Good-For-Games Automata?. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Nikhil S. Mande |
A Lifting Theorem with Applications to Symmetric Functions. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi |
On Hashing-Based Approaches to Approximate DNF-Counting. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Boninger, Joshua Brody, Owen Kephart |
Non-Adaptive Data Structure Bounds for Dynamic Predecessor. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Michaliszyn, Jan Otop |
Average Stack Cost of Büchi Pushdown Automata. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker |
Rabin vs. Streett Automata. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Paul Gölz |
Synthesis in Distributed Environments. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Biman Roy |
A Dichotomy Theorem for the Inverse Satisfiability Problem. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bharatram Rangarajan |
A Combinatorial Proof of Ihara-Bass's Formula for the Zeta Function of Regular Graphs. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Bernd Finkbeiner |
Symmetric Synthesis. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Verification of Asynchronous Programs with Nested Locks. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Prateek Jain 0002, Sham M. Kakade, Rahul Kidambi, Praneeth Netrapalli, Venkata Krishna Pillutla, Aaron Sidford |
A Markov Chain Theory Approach to Characterizing the Minimax Optimality of Stochastic Gradient Descent (for Least Squares). |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl |
Automated Synthesis: a Distributed Viewpoint. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weinert |
VLDL Satisfiability and Model Checking via Tree Automata. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yi Huang, Mano Vikash Janardhanan, Lev Reyzin |
Network Construction with Ordered Constraints. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir |
Monitoring for Silent Actions. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elena Grigorescu, Erfan Sadeqi Azer, Samson Zhou |
Streaming for Aibohphobes: Longest Palindrome with Mismatches. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Apoorv Garg, Abhiram G. Ranade |
Train Scheduling on a Unidirectional Path. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vinod Vaikuntanathan |
Some Open Problems in Information-Theoretic Cryptography. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Brandl, Telikepalli Kavitha |
Popular Matchings with Multiple Partners. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Serge Haddad, Engel Lefaucheux |
Probabilistic Disclosure: Maximisation vs. Minimisation. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guru Guruganesh, Euiwoong Lee |
Understanding the Correlation Gap For Matchings. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amey Bhangale, Subhash Khot, Devanathan Thiruvenkatachari |
An Improved Dictatorship Test with Perfect Completeness. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weinert, Martin Zimmermann 0002 |
Visibly Linear Dynamic Logic. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sushmita Gupta, Sanjukta Roy |
Stable Matching Games: Manipulation via Subgraph Isomorphism. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aritra Banik, Fahad Panolan, Venkatesh Raman 0001, Vibha Sahlot |
Fréchet Distance Between a Line and Avatar Point Set. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Slawomir Lasota 0001, Joanna Ochremiak, Szymon Torunczyk |
Homomorphism Problems for First-Order Definable Structures. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan |
Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk). |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | R. Krithika 0001, Pranabendu Misra, Ashutosh Rai 0001, Prafullkumar Tale |
Lossy Kernels for Graph Contraction Problems. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karthekeyan Chandrasekaran, Mahdi Cheraghchi, Venkata Gandikota, Elena Grigorescu |
Local Testing for Membership in Lattices. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjoy K. Baruah, Arvind Easwaran, Zhishan Guo |
Mixed-Criticality Scheduling to Minimize Makespan. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amit Deshpande 0001, Prahladh Harsha, Rakesh Venkat |
Embedding Approximately Low-Dimensional l_2^2 Metrics into l_1. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnamoorthy Dinesh 0001, Sajin Koroth, Jayalal Sarma |
Characterization and Lower Bounds for Branching Program Size Using Projective Dimension. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark de Berg, Bart M. P. Jansen, Debankur Mukherjee |
Independent-Set Reconfiguration Thresholds of Hereditary Graph Classes. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Umang Bhaskar, Ajil Jalal, Rahul Vaze |
The Adwords Problem with Strict Capacity Constraints. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Rai 0001, M. S. Ramanujan 0001 |
Strong Parameterized Deletion: Bipartite Graphs. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramya C., B. V. Raghavendra Rao |
Sum of Products of Read-Once Formulas. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aleksander Madry |
Continuous Optimization: The "Right" Language for Graph Algorithms? (Invited Talk). |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat |
Tunable Online MUS/MSS Enumeration. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig |
One-Counter Automata with Counter Observability. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar |
Model Checking Population Protocols. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mithilesh Kumar 0001, Daniel Lokshtanov |
Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Bipartite Tournaments. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Berman, Meiram Murzabulatov, Sofya Raskhodnikova |
The Power and Limitations of Uniform Samples in Testing Properties of Figures. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Prahladh Harsha, Srikanth Srinivasan 0001 |
Robust Multiplication-Based Tests for Reed-Muller Codes. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Radu Mardare, Bingtian Xue |
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi 0001 |
FO-Definable Transformations of Infinite Strings. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian P. L. Haslbeck, Tobias Nipkow |
Verified Analysis of List Update Algorithms. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Chauhan, Tobias Friedrich 0001, Ralf Rothenberger |
Greed is Good for Deterministic Scale-Free Networks. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mooly Sagiv |
Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk). |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla |
Understanding Cutting Planes for QBFs. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Romain Brenguier, Guillermo A. Pérez 0001, Jean-François Raskin, Ocan Sankur |
Admissibility in Quantitative Graph Games. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moses Ganardi, Danny Hucke, Markus Lohrey |
Querying Regular Languages over Sliding Windows. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin |
Graph Decompositions and Algorithms (Invited Talk). |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Waldo Gálvez, Fabrizio Grandoni 0001, Salvatore Ingala, Arindam Khan 0001 |
Improved Pseudo-Polynomial-Time Approximation for Strip Packing. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sriram V. Pemmaraju, Vivek B. Sardeshmukh |
Super-Fast MST Algorithms in the Congested Clique Using o(m) Messages. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Felix Klein 0001, Martin Zimmermann 0002 |
Prompt Delay. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bach Le, Aquinas Hobor, Anthony W. Lin |
Decidability and Complexity of Tree Share Formulas. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Roland Meyer 0001, Sebastian Muskalla |
Summaries for Context-Free Games. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Gawrychowski, Artur Jez |
LZ77 Factorisation of Trees. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns |
My O Is Bigger Than Yours (Invited Talk). |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mrinal Kumar 0001, Ramprasad Saptharishi |
Finer Separations Between Shallow Arithmetic Circuits. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote |
Aperiodicity of Rational Functions Is PSPACE-Complete. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nirman Kumar, Benjamin Raichel, Subhash Suri, Kevin Verbeek |
Most Likely Voronoi Diagrams in Higher Dimensions. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001, David A. Naumann, Mohammad Nikouei |
Relational Logic with Framing and Hypotheses. |
FSTTCS |
2016 |
DBLP DOI BibTeX RDF |
|