| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuri Gurevich |
Impugning Randomness, Convincingly.  |
FCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Gutin, Mark Jones, Anders Yeo |
A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Meer |
Almost Transparent Short Proofs for NPℝ. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabien Givors, Grégory Lafitte |
Sub-computabilities. |
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 | José Meseguer, Grigore Rosu |
The Rewriting Logic Semantics Project: A Progress Report. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Corzilius, Erika Ábrahám |
Virtual Substitution for SMT-Solving. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Fenner |
Functions That Preserve p-Randomness. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila Dalla Preda, Cinzia Di Giusto |
Hunting Distributed Malware with the κ-Calculus. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bredereck, André Nichterlein, Rolf Niedermeier, Geevarghese Philip |
The Effect of Homogeneity on the Complexity of k-Anonymity. |
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 | Stéphane Bessy, Anthony Perez |
Polynomial Kernels for Proper Interval Completion and Related Problems. |
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 | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh 0002 |
On Memoryless Quantitative Objectives. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov, Lutz Schröder |
A Coinductive Calculus for Asynchronous Side-Effecting Processes. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. N. Trahtman |
Modifying the Upper Bound on the Length of Minimal Synchronizing Word. |
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 | Giorgio Ausiello, Nicolas Boria, Aristotelis Giannakos, Giorgio Lucarelli, Vangelis Th. Paschos |
Online Maximum k-Coverage. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
Reactive Turing Machines. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr A. Golovach, Daniël Paulusma, Jian Song |
Coloring Graphs without Short Cycles and Long Induced Paths. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Zimand |
On the Optimal Compression of Sets in PSPACE. |
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 | 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 | Bart M. P. Jansen, Stefan Kratsch |
Data Reduction for Graph Coloring Problems. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Malod |
Succinct Algebraic Branching Programs Characterizing Non-uniform Complexity Classes. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Adrien Richard |
On the Link between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. |
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 | Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay |
Principal Types for Nominal Theories. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pinar Heggernes, Pim van 't Hof, Bart M. P. Jansen, Stefan Kratsch, Yngve Villanger |
Parameterized Complexity of Vertex Deletion into Perfect Graph Classes. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lokshtanov |
Kernelization: An Overview. |
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 | Nathaniel Charlton, Bernhard Reus |
Specification Patterns and Proofs for Recursion through the Store. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Case, Samuel E. Moelius |
Independence Results for n-Ary Recursion Theorems. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Kik |
Correcting Sorted Sequences in a Single Hop Radio Network. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Meena Mahajan, B. V. Raghavendra Rao |
Small-Space Analogues of Valiant's Classes. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova |
Closure Operators for Order Structures. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Earliest Query Answering for Deterministic Nested Word Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pim van 't Hof, Daniël Paulusma, Johan M. M. van Rooij |
Computing Role Assignments of Chordal Graphs. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadish Sadasivam, Huaming Zhang |
NP-Completeness of st-Orientations for Plane Graphs. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Dondi |
The Longest Haplotype Reconstruction Problem Revisited. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Staworko, Grégoire Laurence, Aurélien Lemay, Joachim Niehren |
Equivalence of Deterministic Nested Word to Word Transducers. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
XML, Trees, automata, context-free grammars, transducers |
| 1 | Rafal Witkowski |
1-Local 17/12-Competitive Algorithm for Multicoloring Hexagonal Graphs. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Cooper, Andrew R. A. McGrae, Michele Zito |
Martingales on Trees and the Empire Chromatic Number of Random Trees. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kei Uchizawa, Takao Nishizeki, Eiji Takimoto |
Energy Complexity and Depth of Threshold Circuits. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena S. Oshevskaya |
Open Maps Bisimulations for Higher Dimensional Automata Models. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Krzywdzinski |
A Local Distributed Algorithm to Approximate MST in Unit Disc Graphs. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala (eds.) |
Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Roman |
Decision Version of the Road Coloring Problem Is NP-Complete. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Diaconu, Florin Manea, Catalin Tiseanu |
Combinatorial Queries and Updates on Partial Words. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Cenciarelli, Daniele Gorla, Ivano Salvo |
Depletable Channels: Dynamics and Behaviour. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Bender, Sándor P. Fekete, Tom Kamphans, Nils Schweer |
Maintaining Arrays of Contiguous Objects. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moti Yung |
How to Guard the Guards Themselves. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
Key Evolving Cryptosystems, Proactive Cryptosystems, Public Key cryptography, Attacks, Leakage, Countermeasures, Physical Security, Threshold cryptosystems, Cryptographic Keys |
| 1 | Subhas Kumar Ghosh, Koushik Sinha |
On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Goerdt |
On Random Betweenness Constraints. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis |
| 1 | Peter Damaschke, Azam Sheikh Muhammad |
Competitive Group Testing and Learning Hidden Vertex Covers with Minimum Adaptivity. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Cheraghchi |
Noise-Resilient Group Testing: Limitations and Constructions. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hänsch, Michaela Slaats, Wolfgang Thomas |
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi |
The k-Anonymity Problem Is Hard. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Thierauf, Fabian Wagner |
Reachability in K3, 3-Free Graphs and K5-Free Graphs Is in Unambiguous Log-Space. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Turlough Neary, Damien Woods |
Small Weakly Universal Turing Machines. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Alternating Weighted Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Jozef Gajdos |
Multiway In-Place Merging. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
In-place algorithms, sorting, merging |
| 1 | Michael Huth, Nir Piterman, Daniel Wagner |
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel, Lukasz Kaiser, Roman Rabinovich |
Directed Graphs of Entanglement Two. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic |
Factorization of Fuzzy Automata. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Messerschmidt, Friedrich Otto |
Strictly Deterministic CD-Systems of Restarting Automata. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis |
Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.) |
Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings |
FCT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eric Bach, Jin-yi Cai |
A Novel Information Transmission Problem and Its Optimal Solution. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Meduna, Jirí Techet |
Maximal and Minimal Scattered Context Rewriting. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Jaroslaw D. M. Kusmierek |
FJMIP: A Calculus for a Modular Object Initialization. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu |
Rewriting Systems with Data. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of Stream Definitions. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | László Lovász |
Approximating Graphs by Graphs and Functions (Abstract). |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Sara Woodworth |
Spiking Neural P Systems: Some Characterizations. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
asynchronous mode, sequential mode, partially blind counter machine, Spiking neural P system, language generator, semilinear set |
| 1 | Michael Hoffmann 0002, Richard M. Thomas |
Notions of Hyperbolicity in Monoids. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah N. Arslan |
A Largest Common d-Dimensional Subsequence of Two d-Dimensional Strings. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
common subsequence, multi-dimensional string, dynamic programming, image, NP |
| 1 | Johan Kwisthout |
The Computational Complexity of Monotonicity in Probabilistic Networks. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajat Mittal, Mario Szegedy |
Product Rules in Semidefinite Programming. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Ionescu, Dragos Sburlan |
P Systems with Adjoining Controlled Communication Rules. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Epstein, Asaf Levin, Rob van Stee |
Multi-dimensional Packing with Conflicts. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Colcombet |
Factorisation Forests for Infinite Words. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
infinite words, automata, Formal languages, semigroups |
| 1 | Jin-yi Cai, Pinyan Lu |
On Block-Wise Symmetric Signatures for Matchgates. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip J. Scott |
Traces, Feedback, and the Geometry of Computation (Abstract). |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher |
Real-Time Reversible Iterative Arrays. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Georg Breunig |
The Complexity of Membership Problems for Circuits over Sets of Positive Numbers. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
Computational complexity, Combinational circuits, Arithmetic circuits |
| 1 | Takeyuki Tamura, Tatsuya Akutsu |
An O(1.787n)-Time Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Duparc, Filip Murlak |
On the Topological Complexity of Weakly Recognizable Tree Languages. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Thomas Schwentick |
On Notions of Regularity for Data Languages. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadas Shachnai, Omer Yehezkely |
Fast Asymptotic FPTAS for Packing Fragmentable Items with Costs. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu |
Impossibility Results on Weakly Black-Box Hardness Amplification. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaëlle Brevier, Romeo Rizzi, Stéphane Vialette |
Pattern Matching in Protein-Protein Interaction Graphs. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kunc |
The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brijder, Miika Langille, Ion Petre |
A String-Based Model for Simple Gene Assembly. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, György Vaszil |
Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Sattler-Klein |
Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Dörn, Thomas Thierauf |
The Quantum Query Complexity of Algebraic Properties. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
Local Testing of Message Sequence Charts Is Difficult. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Samuelides, Luc Segoufin |
Complexity of Pebble Tree-Walking Automata. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Peter Shaw |
Efficient Parameterized Preprocessing for Cluster Editing. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")