Concepedia

Giovanni Pighizzini

GP

30

Publications

952

Citations

18

H-Index

1993

Active since

Affiliations

University of Milan(Current)

University of Pavol Jozef Šafárik

University of Milano-Bicocca

University of Waterloo

Université Paris Cité

Giovanni Pighizzini is an author at University of Milan specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLinguisticsComputational ComplexityFormal VerificationGrammarLanguageSyntax

Publications per year

1993–2019

30

Publications

30

UNARY LANGUAGE OPERATIONS, STATE COMPLEXITY AND JACOBSTHAL'S FUNCTION

Giovanni Pighizzini, JEFFREY SHALLIT · International Journal of Foundations of Computer Science · 2002 · 141 citations

Basic Operations, Combinatorics On Word, Engineering +13

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

Unary Context-Free Grammars and Pushdown Automata, Descriptional Complexity and Auxiliary Space Lower Bounds

Giovanni Pighizzini, Jeffrey Shallit, Ming‐Wei Wang · Journal of Computer and System Sciences · 2002 · 47 citations

Pushdown Automata, Syntax, Engineering +12

Rows per page

1–5 of 30