Concepedia

Carlo Mereghetti

CM

26

Publications

707

Citations

18

H-Index

1994

Active since

Affiliations

University of Milan(Current)

University of Pavol Jozef Šafárik

University of Milano-Bicocca

Justus-Liebig-Universität Gießen

University of Turin

Carlo Mereghetti is an author at University of Milan specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceQuantum ScienceQuantum ComputingAutomated ReasoningComputational ComplexityFormal VerificationDiscrete MathematicsLinguistics

Publications per year

1994–2017

26

Publications

26

Optimal Simulations between Unary Automata

Carlo Mereghetti, Giovanni Pighizzini · SIAM Journal on Computing · 2001 · 85 citations · Full text

Unary Languages, Logical Automaton, Engineering +15

Converting two-way nondeterministic unary automata into simpler automata

Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini · Theoretical Computer Science · 2003 · 72 citations

Logical Automaton, Engineering, Automated Reasoning +6

Complementing two-way finite automata

Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini · Information and Computation · 2007 · 57 citations

Logical Automaton, Engineering, Automated Reasoning +6

Note on the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata

Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini · RAIRO - Theoretical Informatics and Applications · 2001 · 38 citations · Full text

Engineering, Quantum Finite Automata, Computational Complexity +18

More concise representation of regular languages by automata and regular expressions

Viliam Geffert, Carlo Mereghetti, Beatrice Palano · Information and Computation · 2010 · 37 citations

Syntax, Engineering, Formal Language +14

Rows per page

1–5 of 26