| 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 |
|