Travelled to:1 × Canada
1 × Italy
1 × Japan
2 × Germany
2 × Hungary
Collaborated with:B.Palano A.Malcher V.Geffert M.Kutrib M.Wendlandt M.P.Bianchi G.Pighizzini A.Bertoni C.Choffrut
Talks about:automata (6) quantum (3) finit (3) way (3) sublinear (2) properti (2) regular (2) express (2) driven (2) closur (2)
Person: Carlo Mereghetti
DBLP: Mereghetti:Carlo
Contributed to:
201420132015
2010
20082010
200820052003Wrote 9 papers:
- CIAA-2014-BianchiMP #automaton #on the #power of #quantum
- On the Power of One-Way Automata with Quantum and Classical States (MPB, CM, BP), pp. 84–97.
- CIAA-2013-KutribMMPW #automaton #decidability #finite #queue
- Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties (MK, AM, CM, BP, MW), pp. 232–243.
- CIAA-J-2013-KutribMMPW15 #automaton #decidability #finite #queue
- Deterministic input-driven queue automata: Finite turns, decidability, and closure properties (MK, AM, CM, BP, MW), pp. 58–71.
- LATA-2010-ChoffrutMMP #on the #power of
- On the Expressive Power of FO[+] (CC, AM, CM, BP), pp. 190–201.
- AFL-2008-MalcherMP #array #bound
- Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 292–301.
- AFL-J-2008-MalcherMP10 #array #bound
- Sublinearly Space Bounded Iterative Arrays (AM, CM, BP), pp. 843–858.
- DLT-2008-GeffertMP #automaton #regular expression #representation
- More Concise Representation of Regular Languages by Automata and Regular Expressions (VG, CM, BP), pp. 359–370.
- DLT-2005-GeffertMP #automaton #finite
- Complementing Two-Way Finite Automata (VG, CM, GP), pp. 260–271.
- DLT-2003-BertoniMP #automaton #quantum
- Quantum Computing: 1-Way Quantum Automata (AB, CM, BP), pp. 1–20.