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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 150-163, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dima Grigoriev, Vladimir V. Podolskii |
Tropical Combinatorial Nullstellensatz and Fewnomials Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 284-297, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Jurdzinski, Michal Rózanski |
Deterministic Oblivious Local Broadcast in the SINR Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 312-325, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 978-3-662-55750-1 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bousquet, Arnaud Mary, Aline Parreau |
Token Jumping in Minor-Closed Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 136-149, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Hromkovic, Peter Rossmanith |
What One Has to Know When Attacking P vs. NP (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 11-28, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Bärtschi, Thomas Tschager |
Energy-Efficient Fast Delivery by Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 82-95, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser, B. V. Raghavendra Rao, Jayalal Sarma |
Testing Polynomial Equivalence by Scaling Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 111-122, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kord Eickmeyer, Ken-ichi Kawarabayashi |
FO Model Checking on Map Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 204-216, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Bentert, Till Fluschnik, André Nichterlein, Rolf Niedermeier |
Parameterized Aspects of Triangle Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 96-110, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl |
A Tour of Recent Results on Word Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 29-33, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | George Manoussakis |
Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 355-366, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Perdrix, Luc Sanselme |
Determinism and Computational Power of Real Measurement-Based Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 395-408, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Éric Pin |
Some Results of Zoltán Ésik on Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 34-37, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar |
On Weak-Space Complexity over Complex Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 298-311, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 164-176, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas |
Reliable Communication via Semilattice Properties of Partial Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 367-380, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 381-394, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Shen |
Automatic Kolmogorov Complexity and Normality Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 418-430, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 230-242, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
Decidable Weighted Expressions with Presburger Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 243-256, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Elena Gutiérrez |
Parikh Image of Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 271-283, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joost Engelfriet, Andreas Maletti |
Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 217-229, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Kucera 0001 |
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 12-24, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Scharpfenecker |
On the Structure of Solution-Graphs for Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 118-130, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Simon Martiel, Simon Perdrix |
Block Representation of Reversible Causal Graph Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 351-363, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Radu Iosif |
Interprocedural Reachability for Flat Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 133-145, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Kowaluk, Gabriela Majewska |
β-skeletons for a Set of Line Segments in R2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 65-78, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás |
On the Enumeration of Permutominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 41-52, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 202-213, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Marek Szykula |
Complexity of Suffix-Free Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 146-159, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange, Étienne Lozes |
Conjunctive Visibly-Pushdown Path Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 327-338, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 189-201, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa De Bonis, Ugo Vaccaro |
ϵ-Almost Selectors and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 255-268, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Geissmann, Matús Mihalák, Peter Widmayer |
Recurring Comparison Faults: Sorting and Finding the Minimum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 227-239, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marek Karpinski |
Towards Better Inapproximability Bounds for TSP: A Challenge of Global Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 3-11, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Cappai, Ugo Dal Lago |
On Equivalences, Metrics, and Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 311-323, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nimrod Talmon |
Privacy in Elections: k-Anonymizing Preference Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 299-310, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Damaschke |
Pairs Covered by a Sequence of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 214-226, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joan Boyar, Magnus Gausdal Find |
Constructive Relationships Between Algebraic Thickness and Normality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 106-117, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Johannes Köbler, Gaurav Rattan, Oleg Verbitsky 0001 |
On the Power of Color Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 339-350, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun |
A Note on Decidable Separability by Piecewise Testable Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 173-185, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Moser, Frank Stephan 0001 |
Depth, Highness and DNR Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 81-94, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Kaminski 0001, Daniël Paulusma, Anthony Stewart, Dimitrios M. Thilikos |
Minimal Disconnected Cuts in Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 243-254, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 978-3-319-22176-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mercè Claverol, Delia Garijo, Matias Korman, Carlos Seara, Rodrigo I. Silveira |
Stabbing Segments with Rectilinear Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 53-64, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Karelovic, Wieslaw Zielonka |
Nearest Fixed Points and Concurrent Priority Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 381-393, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Srimanta Bhattacharya |
Derandomized Construction of Combinatorial Batch Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 269-282, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Dirk Pattinson, Lutz Schröder |
Reasoning with Global Assumptions in Arithmetic Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 367-380, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Iain A. Stewart |
On the Mathematics of Data Centre Network Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 283-295, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Gawrychowski, Florin Manea |
Longest α-Gapped Repeat and Palindrome. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 27-40, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | N. R. Aravind, Pushkar S. Joglekar |
On the Expressive Power of Read-Once Determinants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 95-105, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Charles Paperman |
Alternation Hierarchies of First Order Logic with Regular Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, pp. 160-172, 2015, Springer, 978-3-319-22176-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 171-182, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joan Boyar, Kim S. Larsen, Abyayananda Maiti |
The Frequent Items Problem in Online Streaming under Various Performance Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 60-71, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miroslaw Kowaluk, Gabriela Majewska |
New Sequential and Parallel Algorithms for Computing the β-Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 210-224, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
A Formal Framework for Property-Driven Obfuscation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 133-144, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Asahiro, Hiroshi Eto, Takehiro Ito, Eiji Miyano |
Complexity of Finding Maximum Regular Induced Subgraphs with Prescribed Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 28-39, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 259-270, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Özlem Salehi, Abuzer Yakaryilmaz, A. C. Cem Say |
Real-Time Vector Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 293-304, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Matsikoudis, Edward A. Lee |
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 248-258, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neta Barkay, Ely Porat, Bar Shalem |
Efficient Sampling of Non-strict Turnstile Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 48-59, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita |
Expressivity of Time-Varying Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 95-106, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine |
Decision Problems for Linear Recurrence Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 2, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 121-132, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abraham P. Punnen, Piyashat Sripratak, Daniel Karapetyan |
Domination Analysis of Algorithms for Bipartite Boolean Quadratic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 271-282, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marek Chrobak |
Together or Separate? Algorithmic Aggregation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 1, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joan Boyar, Magnus Gausdal Find |
Cancellation-Free Circuits in Unbounded and Bounded Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 159-170, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang |
On Independence Domination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 183-194, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Peleg |
Randomized Distributed Decision (Invited Lecture Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 3, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 16-27, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriela Asli Rino Nesin, Richard M. Thomas |
Groups with a Recursively Enumerable Irreducible Word Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 283-292, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Kranakis, Fraser MacQuarrie, Oscar Morales-Ponce |
Approximation Algorithms for the Antenna Orientation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 225-235, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Cattanéo, Simon Perdrix |
Parameterized Complexity of Weak Odd Domination Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 107-120, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 145-158, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 978-3-642-40163-3 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kewen Liao, Hong Shen 0001, Longkun Guo |
Improved Approximation Algorithms for Constrained Fault-Tolerant Resource Allocation - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 236-247, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak |
Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 195-209, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kaspars Balodis |
One Alternation Can Be More Powerful Than Randomization in Small and Fast Two-Way Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 40-47, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 72-83, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 84-94, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 4-15, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás |
Guarding Thin Orthogonal Polygons Is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, pp. 305-316, 2013, Springer, 978-3-642-40163-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Fenner |
Functions That Preserve p-Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 336-347, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Florian Corzilius, Erika Ábrahám |
Virtual Substitution for SMT-Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 360-371, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chia-Jung Lee, Chi-Jen Lu, Shi-Chun Tsai |
Computational Randomness from Generalized Hardcore Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 78-89, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 978-3-642-22952-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Charlton, Bernhard Reus |
Specification Patterns and Proofs for Recursion through the Store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 310-321, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Ebbesen, Paul Fischer, Carsten Witt |
Edge-Matching Problems with Rotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 114-125, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 288-297, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder |
A Coinductive Calculus for Asynchronous Side-Effecting Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 276-287, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Annabell Berger, Matthias Müller-Hannemann |
Dag Realizations of Directed Degree Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 264-275, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabien Givors, Grégory Lafitte |
Sub-computabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 322-335, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 138-147, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Bessy, Anthony Perez 0001 |
Polynomial Kernels for Proper Interval Completion and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 229-239, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Staiger |
Constructive Dimension and Hausdorff Dimension: The Case of Exact Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 252-263, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine |
Enumeration of Minimal Dominating Sets and Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 298-309, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001, Rohit Singh 0002 |
On Memoryless Quantitative Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 148-159, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hunter |
LIFO-Search on Digraphs: A Searching Game for Cycle-Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 217-228, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Nicolas Boria, Aristotelis Giannakos, Giorgio Lucarelli, Vangelis Th. Paschos |
Online Maximum k-Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, pp. 181-192, 2011, Springer, 978-3-642-22952-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|