Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Mereghetti, Carlo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties
Martin Kutrib
,
Andreas Malcher
,
Carlo Mereghetti
,
Beatrice Palano
,
Matthias Wendlandt
Theoretical Computer Science
578
, 2015, pp. 58-71
Size lower bounds for quantum automata
Maria Paola Bianchi
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
551
, 2014, pp. 102-115
The size-cost of Boolean operations on constant height deterministic pushdown automata
Zuzana Bednárová
,
Viliam Geffert
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
449
, 2012, pp. 23-36
First-order logics: Some characterizations and closure properties
Christian Choffrut
,
Andreas Malcher
,
Carlo Mereghetti
,
Beatrice Palano
Acta Informatica
49
(4), 2012, pp. 225-248
Descriptional complexity of two-way pushdown automata with restricted head reversals
Andreas Malcher
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
449
, 2012, pp. 119-133
More concise representation of regular languages by automata and regular expressions
Viliam Geffert
,
Carlo Mereghetti
,
Beatrice Palano
Information and Computation
208
(4), 2010, pp. 385-394
Sublinearly space bounded iterative arrays
Andreas Malcher
,
Carlo Mereghetti
,
Beatrice Palano
International Journal of Foundations of Computer Science
21
(5), 2010, pp. 843-858
Testing the descriptional power of small Turing machines on nonregular language acceptance
Carlo Mereghetti
International Journal of Foundations of Computer Science
19
(4), 2008, pp. 827-843
Complementing two-way finite automata
Viliam Geffert
,
Carlo Mereghetti
,
Giovanni Pighizzini
Information and Computation
205
(8), 2007, pp. 1173-1187
Quantum automata for some multiperiodic languages
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
387
(2), 2007, pp. 177-186
Some formal tools for analyzing quantum automata
Alberto Bertoni
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
356
(1-2), 2006, pp. 14-25
Small size quantum automata recognizing some regular languages
Alberto Bertoni
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
340
(2), 2005, pp. 394-407
Golomb rulers and difference sets for succinct quantum automata
Alberto Bertoni
,
Carlo Mereghetti
,
Beatrice Palano
International Journal of Foundations of Computer Science
14
(5), 2003, pp. 871-888
Converting two-way nondeterministic unary automata into simpler automata
Viliam Geffert
,
Carlo Mereghetti
,
Giovanni Pighizzini
Theoretical Computer Science
295
(1-3), 2003, pp. 189-203
Converting two-way nondeterministic unary automata into simpler automata
Viliam Geffert
,
Carlo Mereghetti
,
Giovanni Pighizzini
Lecture Notes in Computer Science
2136
, 2001, pp. 398-407
Optimal simulations between unary automata
Carlo Mereghetti
,
Giovanni Pighizzini
SIAM Journal on Computing
30
(6), 2001, pp. 1976-1992
Sublogarithmic bounds on space and reversals
Viliam Geffert
,
Carlo Mereghetti
,
Giovanni Pighizzini
SIAM Journal on Computing
28
(1), 1998, pp. 325-340
Optimal simulations between unary automata
Carlo Mereghetti
,
Giovanni Pighizzini
Lecture Notes in Computer Science
1373
, 1998, pp. 139-149
Strong optimal lower bounds for Turing machines that accept nonregular languages
Alberto Bertoni
,
Carlo Mereghetti
,
Giovanni Pighizzini
Lecture Notes in Computer Science
969
, 1995, pp. 309-318
A remark on middle space bounded alternating Turing machines
Carlo Mereghetti
,
Giovanni Pighizzini
Information Processing Letters
56
, 1995, pp. 229-232
An optimal lower bound for nonregular languages
Alberto Bertoni
,
Carlo Mereghetti
,
Giovanni Pighizzini
Information Processing Letters
50
, 1994, pp. 289-292
On languages accepted with simultaneous complexity bounds and their ranking problem
Alberto Bertoni
,
Carlo Mereghetti
,
Giovanni Pighizzini
Lecture Notes in Computer Science
841
, 1994, pp. 245-255