| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Beate Bollig |
Complexity Theoretical Results on Nondeterministic Graph-driven Read-Once Branching Programs.   |
ITA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian C. Bradfield |
Fixpoints, games and the difference hierarchy. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Martin Hyland |
Traced Premonoidal Categories. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Anna Ingólfsdóttir |
Foreword. |
ITA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Kim Guldstrand Larsen |
Regular languages definable by Lindström quantifiers. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Hervé Daudé |
Smooth and sharp thresholds for random k-XOR-CNF satisfiability. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Finkel |
On the Topological Complexity of Infinitary Rational Relations. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Finkel |
Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja |
On the Analysis of Petri Nets and their Synthesis from Process Languages. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Hirvensalo, Sebastian Seibert |
Lower Bounds for Las Vegas Automata by Information Theory. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Honkala |
A bound for the [omega]-equivalence problem of polynomial D0L systems. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kunc |
Equational description of pseudovarieties of homomorphisms. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ján Manuch, Ladislav Stacho |
On f-wise Arc Forwarding Index and Wavelength Allocations in Faulty All-optical Hypercubes. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico De Marchi, Neil Ghani, Christoph Lüth |
Solving Algebraic Equations Using Coalgebra. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Popély |
The Communication Hierarchy of Time and Space Bounded Parallel Machines. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwénaël Richomme |
Some algorithms to compute the conjugates of Episturmian morphisms. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov |
Wadge Degrees of [omega]-Languages of Deterministic Turing Machines. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Sprenger, Mads Dam |
On global induction mechanisms in a µ-calculus with explicit approximations. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu |
Generalizing Substitution. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guo-Qiang Zhang |
Domain µ-calculus. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
A Fully Equational Proof of Parikh's Theorem. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo Carpi, Aldo de Luca |
On the distribution of characteristic parameters of words. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Symeon Bozapalidis, Olympia Louscou-Bozapalidou |
Polypodic codes. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo Carpi, Aldo de Luca |
On the distribution of characteristic parameters of words II. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Brosenne, Matthias Homeister, Stephan Waack |
Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Beran |
Pipelined Decomposable BSP Computers. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bernet, David Janin, Igor Walukiewicz |
Permissive strategies: from parity games to safety games. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Duval, Arnaud Lefebvre |
Words over an ordered alphabet and suffix permutations. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier |
About the decision of reachability for register machines. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Levent Erkök, John Launchbury, Andrew Moran |
Semantics of value recursion for Monadic Input/Output. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiane Frougny |
On multiplicatively dependent linear numeration systems, and periodic points. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Density of Critical Factorizations. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam |
On Shuffle Ideals. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Justin, Giuseppe Pirillo |
On a characteristic property of ARNOUX-RAUZY sequences. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Feedback, trace and fixed-point semantics. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Latapy |
Integer Partitions, Tilings of 2D-gons and Lattices. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Mereghetti, Beatrice Palano |
On the Size of One-way Quantum Finite Automata with Periodic Behaviors. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Mignosi, Luca Q. Zamboni |
A Note on a Conjecture of Duval and Sturmian Words. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Santocanale |
µ-Bicomplete Categories and Parity Games. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov |
Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Zito |
An Upper Bound on the Space Complexity of Random Formulae in Resolution. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Habib Abdulrab, Pavel Goralcik, G. S. Makanin |
Towards parametrizing word equations. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel |
An Exercise on Fibonacci Representations. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini |
Random Generation for Finitely Ambiguous Context-free Languages. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Beate Bollig |
Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Bourdon, Markus E. Nebel, Brigitte Vallée |
On the Stack-Size of General Tries. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo Carpi, Cristiano Maggi |
On synchronized sequences and their separators. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carton, Christian Choffrut |
Periodicity and roots of transfinite strings. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cassaigne, Juhani Karhumäki, Ján Manuch |
On Conjugacy of Languages. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Chiu, George I. Davida, Bruce E. Litow |
Division in logspace-uniform NC1. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizio Cintioli, Riccardo Silvestri |
The Helping Hierarchy. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea |
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Veloso da Costa |
On graph products of automatic monoids. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Farkh, Karim Nour |
Les types de données syntaxiques du système F. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Delgado |
Commutative images of rational languages and the Abelian kernel of a monoid. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Denis, Rémi Gilleron |
PAC Learning under Helpful Distributions. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Grübel, Anke Reimers |
On the number of iterations required by Von Neumann addition. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Guesnet |
Maximal circular codes versus maximal codes. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan Holub, Juha Kortelainen |
Linear size test sets for certain commutative languages. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Jedrzejowicz, Andrzej Szepietowski |
On the expressive power of the shuffle operator matched with intersection by regular sets. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Johannsen |
Depth Lower Bounds for Monotone Semi-Unbounded Fan-in Circuits. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alair Pereira do Lago, Imre Simon |
Free Burnside Semigroups. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Kuich, Norbert Sauer |
Atoms and partial orders of infinite languages. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Levene, George Loizou |
A Generalisation of Entity and Referential Integrity in Relational Databases. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu |
A sharpening of the Parikh mapping. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini |
Note on the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Mignosi, Antonio Restivo, Marinella Sciortino |
Forbidden Factors and Fragment Assembly. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sounaka Mishra, Kripasindhu Sikdar |
On the Hardness of Approximating Some NP-optimization Problems Related to Minimum Linear Ordering Problem. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita, Katsunobu Imai |
Number-Conserving Reversible Cellular Automata and Their Computation-Universality. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Nour |
Les I-types du système F. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Eric Pin, Pascal Weil |
A conjecture on the concatenation product. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Poll |
A Coalgebraic Semantics of Subtyping. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Tews |
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Margherita Napoli |
Automata-based Representations for Infinite Graphs. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Wlazinski |
A test-set for k-power-free binary morphisms. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Pierre Béal, Olivier Carton |
Asynchronous sliding block maps. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marie-Pierre Béal, Olivier Carton |
Computing the prefix of an automaton. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen |
Characteristic formulae for timed automata. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Berthé |
Complexité et automates cellulaires linéaires. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Böckenhauer, Sebastian Seibert |
Improved lower bounds on the approximability of the Traveling Salesman Problem. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Evripidis Bampis, Aristotelis Giannakos, Alexander V. Karzanov, Yannis Manoussakis, Ioannis Milis |
Perfect Matching in General vs. Cubic Graphs: A Note on the Planar and Bipartite Cases. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elena Barcucci, Sara Brunetti, Francesco Del Ristoro |
Succession rules and deco polyominoes. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Serge Burckel, Marianne Morillon |
Three generators for minimal writing-space computations. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Mireille Clerbout, Yves Roos, Isabelle Ryl |
Semi-commutations and partial commutations. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Roy L. Crole |
Encoding FIX in object calculi. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jeanne Devolder |
Codes générateurs minimaux de langages de mots bi-infinis. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken-etsu Fujita |
Domain-free [lambda][mu]-calculus. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Norbert Popély |
A space lower bound for acceptance by one-way II2-alternating machines. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Guesnet |
On codes with finite interpreting delay: A defect theorem. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christian Hagenah, Anca Muscholl |
Computing epsilon-free NFA from regular expressions in O(n log2(n)) time. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam |
A Lower Bound For Reversible Automata. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Honkala |
A Kleene-Schützenberger theorem for Lindenmayerian rational power series. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marianne Huchard, Hervé Dicky, Hervé Leblanc |
Galois lattice as a framework to specify building class hierarchies algorithms. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, Wojciech Plandowski |
Two-variable word equations. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Ilie, Grzegorz Rozenberg, Arto Salomaa |
A characterization of poly-slender context-free languages. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jacques Justin |
On a paper by Castelli, Mignosi, Restivo. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Justin, Laurent Vuillon |
Return words in Sturmian and episturmian words. |
ITA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Arun Kumar, C. Pandu Rangan |
Approximation algorithms for the Traveling Salesman Problem with range condition. |
ITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ján Manuch |
Construction of very hard functions for multiparty communication complexity. |
ITA |
2000 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")