Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jérémie Cabessa, Olivier Finkel |
Expressive Power of Evolving Neural Networks Working on Infinite Input Streams. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dima Grigoriev, Vladimir V. Podolskii |
Tropical Combinatorial Nullstellensatz and Fewnomials Testing. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Jurdzinski, Michal Rózanski |
Deterministic Oblivious Local Broadcast in the SINR Model. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Klasing, Marc Zeitoun (eds.) |
Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bousquet, Arnaud Mary, Aline Parreau |
Token Jumping in Minor-Closed Classes. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Hromkovic, Peter Rossmanith |
What One Has to Know When Attacking P vs. NP (Extended Abstract). |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bärtschi, Thomas Tschager |
Energy-Efficient Fast Delivery by Mobile Agents. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser, B. V. Raghavendra Rao, Jayalal Sarma |
Testing Polynomial Equivalence by Scaling Matrices. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kord Eickmeyer, Ken-ichi Kawarabayashi |
FO Model Checking on Map Graphs. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Bentert, Till Fluschnik, André Nichterlein, Rolf Niedermeier |
Parameterized Aspects of Triangle Enumeration. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl |
A Tour of Recent Results on Word Transducers. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | George Manoussakis |
Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Perdrix, Luc Sanselme |
Determinism and Computational Power of Real Measurement-Based Quantum Computation. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Éric Pin |
Some Results of Zoltán Ésik on Regular Languages. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar |
On Weak-Space Complexity over Complex Numbers. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Crochemore, Alice Héliou, Gregory Kucherov, Laurent Mouchard, Solon P. Pissis, Yann Ramusat |
Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas |
Reliable Communication via Semilattice Properties of Partial Knowledge. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Charis Papadopoulos, Spyridon Tzimas |
Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Shen |
Automatic Kolmogorov Complexity and Normality Revisited. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Engels, B. V. Raghavendra Rao, Karteek Sreenivasaiah |
On \varSigma \wedge \varSigma \wedge \varSigma Circuits: The Role of Middle \varSigma Fan-In, Homogeneity and Bottom Degree. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
Decidable Weighted Expressions with Presburger Combinators. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Elena Gutiérrez |
Parikh Image of Pushdown Automata. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joost Engelfriet, Andreas Maletti |
Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars. |
FCT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Kucera 0001 |
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Scharpfenecker |
On the Structure of Solution-Graphs for Boolean Formulas. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Simon Martiel, Simon Perdrix |
Block Representation of Reversible Causal Graph Dynamics. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Radu Iosif |
Interprocedural Reachability for Flat Integer Programs. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Kowaluk, Gabriela Majewska |
β-skeletons for a Set of Line Segments in R2. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás |
On the Enumeration of Permutominoes. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Andrade, Etienne Birmelé, Arnaud Mary, Thomas Picchetti, Marie-France Sagot |
Incremental Complexity of a Bi-objective Hypergraph Transversal Problem. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Marek Szykula |
Complexity of Suffix-Free Regular Languages. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange, Étienne Lozes |
Conjunctive Visibly-Pushdown Path Queries. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marin Bougeret, Guillerme Duvillié, Rodolphe Giroudeau, Rémi Watrigant |
Multidimensional Binary Vector Assignment Problem: Standard, Structural and Above Guarantee Parameterizations. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa De Bonis, Ugo Vaccaro |
ϵ-Almost Selectors and Their Applications. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Geissmann, Matús Mihalák, Peter Widmayer |
Recurring Comparison Faults: Sorting and Finding the Minimum. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marek Karpinski |
Towards Better Inapproximability Bounds for TSP: A Challenge of Global Dependencies. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Cappai, Ugo Dal Lago |
On Equivalences, Metrics, and Polynomial Time. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nimrod Talmon |
Privacy in Elections: k-Anonymizing Preference Orders. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Damaschke |
Pairs Covered by a Sequence of Sets. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joan Boyar, Magnus Gausdal Find |
Constructive Relationships Between Algebraic Thickness and Normality. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Johannes Köbler, Gaurav Rattan, Oleg Verbitsky 0001 |
On the Power of Color Refinement. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun |
A Note on Decidable Separability by Piecewise Testable Languages. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Moser, Frank Stephan 0001 |
Depth, Highness and DNR Degrees. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Kaminski 0001, Daniël Paulusma, Anthony Stewart, Dimitrios M. Thilikos |
Minimal Disconnected Cuts in Planar Graphs. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Kosowski, Igor Walukiewicz (eds.) |
Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mercè Claverol, Delia Garijo, Matias Korman, Carlos Seara, Rodrigo I. Silveira |
Stabbing Segments with Rectilinear Objects. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Karelovic, Wieslaw Zielonka |
Nearest Fixed Points and Concurrent Priority Games. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Srimanta Bhattacharya |
Derandomized Construction of Combinatorial Batch Codes. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Dirk Pattinson, Lutz Schröder |
Reasoning with Global Assumptions in Arithmetic Modal Logics. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Iain A. Stewart |
On the Mathematics of Data Centre Network Topologies. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Gawrychowski, Florin Manea |
Longest α-Gapped Repeat and Palindrome. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | N. R. Aravind, Pushkar S. Joglekar |
On the Expressive Power of Read-Once Determinants. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Charles Paperman |
Alternation Hierarchies of First Order Logic with Regular Predicates. |
FCT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Gourvès, Jérôme Monnot, Aris Pagourtzis |
The Lazy Bureaucrat Problem with Common Arrivals and Deadlines: Approximation and Mechanism Design. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joan Boyar, Kim S. Larsen, Abyayananda Maiti |
The Frequent Items Problem in Online Streaming under Various Performance Measures. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Kowaluk, Gabriela Majewska |
New Sequential and Parallel Algorithms for Computing the β-Spectrum. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
A Formal Framework for Property-Driven Obfuscation Strategies. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Asahiro, Hiroshi Eto, Takehiro Ito, Eiji Miyano |
Complexity of Finding Maximum Regular Induced Subgraphs with Prescribed Degree. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sotiris E. Nikoletseas, Panagiota N. Panagopoulou, Christoforos L. Raptopoulos, Paul G. Spirakis |
On the Structure of Equilibria in Basic Network Formation. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Özlem Salehi, Abuzer Yakaryilmaz, A. C. Cem Say |
Real-Time Vector Automata. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Matsikoudis, Edward A. Lee |
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neta Barkay, Ely Porat, Bar Shalem |
Efficient Sampling of Non-strict Turnstile Data Streams. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita |
Expressivity of Time-Varying Graphs. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine |
Decision Problems for Linear Recurrence Sequences. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steven Chaplick, Jirí Fiala 0001, Pim van 't Hof, Daniël Paulusma, Marek Tesar 0001 |
Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abraham P. Punnen, Piyashat Sripratak, Daniel Karapetyan |
Domination Analysis of Algorithms for Bipartite Boolean Quadratic Programs. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chrobak |
Together or Separate? Algorithmic Aggregation Problems. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joan Boyar, Magnus Gausdal Find |
Cancellation-Free Circuits in Unbounded and Bounded Depth. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang |
On Independence Domination. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Peleg |
Randomized Distributed Decision (Invited Lecture Abstract). |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Gaurav Rattan, Yadu Vasudev |
On the Isomorphism Problem for Decision Trees and Decision Lists. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriela Asli Rino Nesin, Richard M. Thomas |
Groups with a Recursively Enumerable Irreducible Word Problem. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Kranakis, Fraser MacQuarrie, Oscar Morales-Ponce |
Approximation Algorithms for the Antenna Orientation Problem. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Cattanéo, Simon Perdrix |
Parameterized Complexity of Weak Odd Domination Problems. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Elli Zavou |
Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Gasieniec, Frank Wolter (eds.) |
Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kewen Liao, Hong Shen 0001, Longkun Guo |
Improved Approximation Algorithms for Constrained Fault-Tolerant Resource Allocation - (Extended Abstract). |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak |
Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kaspars Balodis |
One Alternation Can Be More Powerful Than Randomization in Small and Fast Two-Way Finite Automata. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
On the Average Size of Glushkov and Equation Automata for KAT Expressions. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yixin Cao 0001, Jianer Chen, Jia-Hao Fan |
An O *(1.84 k ) Parameterized Algorithm for the Multiterminal Cut Problem. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Akutsu, Takeyuki Tamura, Avraham A. Melkman, Atsuhiro Takasu |
On the Complexity of Finding a Largest Common Subtree of Bounded Degree. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás |
Guarding Thin Orthogonal Polygons Is Hard. |
FCT |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Fenner |
Functions That Preserve p-Randomness. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Florian Corzilius, Erika Ábrahám |
Virtual Substitution for SMT-Solving. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chia-Jung Lee, Chi-Jen Lu, Shi-Chun Tsai |
Computational Randomness from Generalized Hardcore Sets. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Owe, Martin Steffen, Jan Arne Telle (eds.) |
Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Charlton, Bernhard Reus |
Specification Patterns and Proofs for Recursion through the Store. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ebbesen, Paul Fischer, Carsten Witt |
Edge-Matching Problems with Rotations. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Cicalese, Martin Milanic, Ugo Vaccaro |
Hardness, Approximability, and Exact Algorithms for Vector Domination and Total Vector Domination in Graphs. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder |
A Coinductive Calculus for Asynchronous Side-Effecting Processes. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Annabell Berger, Matthias Müller-Hannemann |
Dag Realizations of Directed Degree Sequences. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabien Givors, Grégory Lafitte |
Sub-computabilities. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Z. Gutin, Mark Jones 0001, Anders Yeo |
A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Bessy, Anthony Perez 0001 |
Polynomial Kernels for Proper Interval Completion and Related Problems. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Staiger |
Constructive Dimension and Hausdorff Dimension: The Case of Exact Dimension. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine |
Enumeration of Minimal Dominating Sets and Variants. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001, Rohit Singh 0002 |
On Memoryless Quantitative Objectives. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter |
LIFO-Search on Digraphs: A Searching Game for Cycle-Rank. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Nicolas Boria, Aristotelis Giannakos, Giorgio Lucarelli, Vangelis Th. Paschos |
Online Maximum k-Coverage. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|