The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FCT"( http://dblp.L3S.de/Venues/FCT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/fct

Publication years (Num. hits)
1977 (64) 1979 (50) 1981 (51) 1983 (45) 1985 (54) 1987 (111) 1989 (48) 1991 (44) 1993 (41) 1995 (38) 1997 (41) 1999 (48) 2001 (61) 2003 (40) 2005 (50) 2007 (44) 2009 (32) 2011 (32) 2013 (30) 2015 (30) 2017 (34)
Publication types (Num. hits)
inproceedings(968) proceedings(20)
Venues (Conferences, Journals, ...)
FCT(988)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 95 occurrences of 82 keywords

Results
Found 988 publication records. Showing 988 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Simon Perdrix, Luc Sanselme Determinism and Computational Power of Real Measurement-Based Quantum Computation. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Phokion G. Kolaitis, Simone Severini Generalized Satisfiability Problems via Operator Assignments. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gianluca De Marco, Tomasz Jurdzinski, Michal Rozanski, Grzegorz Stachowiak Subquadratic Non-adaptive Threshold Group Testing. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas Reliable Communication via Semilattice Properties of Partial Knowledge. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jérémie Cabessa, Olivier Finkel Expressive Power of Evolving Neural Networks Working on Infinite Input Streams. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Markus Bläser, B. V. Raghavendra Rao, Jayalal Sarma Testing Polynomial Equivalence by Scaling Matrices. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Holger Petersen 0001 Busy Beaver Scores and Alphabet Size. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar On Weak-Space Complexity over Complex Numbers. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Charis Papadopoulos, Spyridon Tzimas Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost Engelfriet, Andreas Maletti Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1George Manoussakis Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dariusz Dereniowski, Andrzej Lingas, Mia Persson, Dorota Urbanska, Pawel Zylinski The Snow Team Problem - (Clearing Directed Subgraphs by Mobile Agents). Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix Contextuality in Multipartite Pseudo-Telepathy Graph Games. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian 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 FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Colcombet, Laure Daviaud, Florian Zuleger Automata and Program Analysis. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomasz Jurdzinski, Michal Rozanski Deterministic Oblivious Local Broadcast in the SINR Model. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Shen Automatic Kolmogorov Complexity and Normality Revisited. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Bärtschi, Thomas Tschager Energy-Efficient Fast Delivery by Mobile Agents. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Indranil Banerjee, Dana Richards New Results on Routing via Matchings on Graphs. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anca Muscholl A Tour of Recent Results on Word Transducers. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dima Grigoriev, Vladimir V. Podolskii Tropical Combinatorial Nullstellensatz and Fewnomials Testing. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kord Eickmeyer, Ken-ichi Kawarabayashi FO Model Checking on Map Graphs. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juraj Hromkovic, Peter Rossmanith What One Has to Know When Attacking P vs. NP (Extended Abstract). Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas Bousquet, Arnaud Mary, Aline Parreau Token Jumping in Minor-Closed Classes. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin Decidable Weighted Expressions with Presburger Combinators. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christof Löding, Christopher Spinrath Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Till Fluschnik, Marco Morik, Manuel Sorge The Complexity of Routing with Few Collisions. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Éric Pin Some Results of Zoltán Ésik on Regular Languages. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Bentert, Till Fluschnik, André Nichterlein, Rolf Niedermeier Parameterized Aspects of Triangle Enumeration. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Elena Gutiérrez Parikh Image of Pushdown Automata. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Endre Boros, Ondrej Cepek, Kazuhisa Makino Strong Duality in Horn Minimization. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ralf Klasing, Marc Zeitoun (eds.) Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Max I. Kanovich, Stepan Kuznetsov, Andre Scedrov Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. Search on Bibsonomy FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maxime 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 FCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Andrade, Etienne Birmelé, Arnaud Mary, Thomas Picchetti, Marie-France Sagot Incremental Complexity of a Bi-objective Hypergraph Transversal Problem. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcin Kaminski 0001, Daniël Paulusma, Anthony Stewart, Dimitrios M. Thilikos Minimal Disconnected Cuts in Planar Graphs. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Scharpfenecker On the Structure of Solution-Graphs for Boolean Formulas. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Barbara Geissmann, Matús Mihalák, Peter Widmayer Recurring Comparison Faults: Sorting and Finding the Minimum. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Dirk Pattinson, Lutz Schröder Reasoning with Global Assumptions in Arithmetic Modal Logics. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1N. R. Aravind, Pushkar S. Joglekar On the Expressive Power of Read-Once Determinants. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mercè Claverol, Delia Garijo, Matias Korman, Carlos Seara, Rodrigo I. Silveira Stabbing Segments with Rectilinear Objects. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vikraman Arvind, Johannes Köbler, Gaurav Rattan, Oleg Verbitsky On the Power of Color Refinement. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Cappai, Ugo Dal Lago On Equivalences, Metrics, and Polynomial Time. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Philippe Moser, Frank Stephan 0001 Depth, Highness and DNR Degrees. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Annalisa De Bonis, Ugo Vaccaro ϵ-Almost Selectors and Their Applications. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Simon Martiel, Simon Perdrix Block Representation of Reversible Causal Graph Dynamics. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Damaschke Pairs Covered by a Sequence of Sets. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marek Karpinski Towards Better Inapproximability Bounds for TSP: A Challenge of Global Dependencies. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joan Boyar, Magnus Gausdal Find Constructive Relationships Between Algebraic Thickness and Normality. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Janusz A. Brzozowski, Marek Szykula Complexity of Suffix-Free Regular Languages. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Radu Iosif Interprocedural Reachability for Flat Integer Programs. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Lange, Étienne Lozes Conjunctive Visibly-Pushdown Path Queries. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pawel Gawrychowski, Florin Manea Longest α-Gapped Repeat and Palindrome. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nimrod Talmon Privacy in Elections: k-Anonymizing Preference Orders. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Srimanta Bhattacharya Derandomized Construction of Combinatorial Batch Codes. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ana Paula Tomás On the Enumeration of Permutominoes. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bruno Karelovic, Wieslaw Zielonka Nearest Fixed Points and Concurrent Priority Games. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luc Dartois, Charles Paperman Alternation Hierarchies of First Order Logic with Regular Predicates. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miroslaw Kowaluk, Gabriela Majewska β-skeletons for a Set of Line Segments in R2. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Iain A. Stewart On the Mathematics of Data Centre Network Topologies. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonín Kucera On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun A Note on Decidable Separability by Piecewise Testable Languages. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adrian Kosowski, Igor Walukiewicz (eds.) Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marin Bougeret, Guillerme Duvillié, Rodolphe Giroudeau, Rémi Watrigant Multidimensional Binary Vector Assignment Problem: Standard, Structural and Above Guarantee Parameterizations. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miroslaw Kowaluk, Gabriela Majewska New Sequential and Parallel Algorithms for Computing the β-Spectrum. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Steven Chaplick, Jirí Fiala 0001, Pim van 't Hof, Daniël Paulusma, Marek Tesar Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita Expressivity of Time-Varying Graphs. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Peleg Randomized Distributed Decision (Invited Lecture Abstract). Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuichi Asahiro, Hiroshi Eto, Takehiro Ito, Eiji Miyano Complexity of Finding Maximum Regular Induced Subgraphs with Prescribed Degree. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joan Boyar, Magnus Gausdal Find Cancellation-Free Circuits in Unbounded and Bounded Depth. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Cattanéo, Simon Perdrix Parameterized Complexity of Weak Odd Domination Problems. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kaspars Balodis One Alternation Can Be More Powerful Than Randomization in Small and Fast Two-Way Finite Automata. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Eleftherios Matsikoudis, Edward A. Lee An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis On the Average Size of Glushkov and Equation Automata for KAT Expressions. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Evangelos Kranakis, Fraser MacQuarrie, Oscar Morales Ponce Approximation Algorithms for the Antenna Orientation Problem. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Neta Barkay, Ely Porat, Bar Shalem Efficient Sampling of Non-strict Turnstile Data Streams. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sotiris E. Nikoletseas, Panagiota N. Panagopoulou, Christoforos Raptopoulos, Paul G. Spirakis On the Structure of Equilibria in Basic Network Formation. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi A Formal Framework for Property-Driven Obfuscation Strategies. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marek Chrobak Together or Separate? Algorithmic Aggregation Problems. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang On Independence Domination. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Abraham P. Punnen, Piyashat Sripratak, Daniel Karapetyan Domination Analysis of Algorithms for Bipartite Boolean Quadratic Programs. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Elli Zavou Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kewen Liao, Hong Shen 0001, Longkun Guo Improved Approximation Algorithms for Constrained Fault-Tolerant Resource Allocation - (Extended Abstract). Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yixin Cao 0001, Jianer Chen, Jia-Hao Fan An O *(1.84 k ) Parameterized Algorithm for the Multiterminal Cut Problem. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Laurent Gourvès, Jérôme Monnot, Aris Pagourtzis The Lazy Bureaucrat Problem with Common Arrivals and Deadlines: Approximation and Mechanism Design. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gabriela Asli Rino Nesin, Richard M. Thomas Groups with a Recursively Enumerable Irreducible Word Problem. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joël Ouaknine Decision Problems for Linear Recurrence Sequences. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Özlem Salehi, Abuzer Yakaryilmaz, A. C. Cem Say Real-Time Vector Automata. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Leszek Gasieniec, Frank Wolter (eds.) Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joan Boyar, Kim S. Larsen, Abyayananda Maiti The Frequent Items Problem in Online Streaming under Various Performance Measures. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ana Paula Tomás Guarding Thin Orthogonal Polygons Is Hard. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tatsuya Akutsu, Takeyuki Tamura, Avraham A. Melkman, Atsuhiro Takasu On the Complexity of Finding a Largest Common Subtree of Bounded Degree. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Gaurav Rattan, Yadu Vasudev On the Isomorphism Problem for Decision Trees and Decision Lists. Search on Bibsonomy FCT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marius Zimand On the Optimal Compression of Sets in PSPACE. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Erika Ábrahám Virtual Substitution for SMT-Solving. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergey Goncharov 0001, Lutz Schröder A Coinductive Calculus for Asynchronous Side-Effecting Processes. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Ebbesen, Paul Fischer, Carsten Witt Edge-Matching Problems with Rotations. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bart M. P. Jansen, Stefan Kratsch Data Reduction for Graph Coloring Problems. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pinar Heggernes, Pim van 't Hof, Bart M. P. Jansen, Stefan Kratsch, Yngve Villanger Parameterized Complexity of Vertex Deletion into Perfect Graph Classes. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 988 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license