Giovanni Pighizzini

Orcid: 0000-0002-7509-7842

Affiliations:
  • University of Milan, Italy


According to our database1, Giovanni Pighizzini authored at least 104 papers between 1988 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Weight-reducing Turing machines.
Inf. Comput., June, 2023

Pushdown automata and constant height: decidability and bounds.
Acta Informatica, June, 2023

Preface.
J. Autom. Lang. Comb., 2023

25 Editions of DCFS: Origins and Directions.
Bull. EATCS, 2023

Once-Marking and Always-Marking 1-Limited Automata.
Proceedings of the 16th International Conference on Automata and Formal Languages, 2023

Forgetting 1-Limited Automata.
Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, 2023

Two-Way Machines and de Bruijn Words.
Proceedings of the Implementation and Application of Automata, 2023

Pushdown and One-Counter Automata: Constant and Non-constant Memory Usage.
Proceedings of the Descriptional Complexity of Formal Systems, 2023

2022
1-Limited Automata: Witness Languages and Techniques.
J. Autom. Lang. Comb., 2022

Weakly and Strongly Irreversible Regular Languages.
Int. J. Found. Comput. Sci., 2022

Converting nondeterministic two-way automata into small deterministic linear-time machines.
Inf. Comput., 2022

Performing Regular Operations with 1-Limited Automata.
Proceedings of the Developments in Language Theory - 26th International Conference, 2022

2021
Hot Current Topics of Descriptional Complexity.
Proceedings of the Advancing Research in Information and Communication Technology, 2021

Non-Self-Embedding Grammars and Descriptional Complexity.
Fundam. Informaticae, 2021

Preface to Martin Kutrib Festschrift.
Acta Informatica, 2021

Usefulness of Information and Unary Languages.
Proceedings of the Language and Automata Theory and Applications, 2021

2020
Preface.
J. Autom. Lang. Comb., 2020

Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata.
Int. J. Found. Comput. Sci., 2020

2019
Special section on Descriptional Complexity of Formal Systems.
Theor. Comput. Sci., 2019

Limited automata and unary languages.
Inf. Comput., 2019

Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Limited Automata: Power and Complexity (text not included).
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Limited Automata: Properties, Complexity and Variants.
Proceedings of the Descriptional Complexity of Formal Systems, 2019

2018
Descriptional complexity of limited automata.
Inf. Comput., 2018

Two-Way Automata and One-Tape Machines - Read Only Versus Linear Time.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

2017
Optimal state reductions of automata with partially specified behaviors.
Theor. Comput. Sci., 2017

Preface.
Theor. Comput. Sci., 2017

Alberto Bertoni: A scientist and a friend.
Theor. Comput. Sci., 2017

Minimal and Reduced Reversible Automata.
J. Autom. Lang. Comb., 2017

Preface.
J. Autom. Lang. Comb., 2017

Weakly and Strongly Irreversible Regular Languages.
Proceedings of the Proceedings 15th International Conference on Automata and Formal Languages, 2017

2016
Strongly Limited Automata.
Fundam. Informaticae, 2016

Restricted Turing Machines and Language Recognition.
Proceedings of the Language and Automata Theory and Applications, 2016

2015
Guest Column: One-Tape Turing Machine Variants and Language Recognition.
SIGACT News, 2015

Two-Way Automata Characterizations of L/poly Versus NL.
Theory Comput. Syst., 2015

Investigations on Automata and Languages Over a Unary Alphabet.
Int. J. Found. Comput. Sci., 2015

Limited Automata and Context-Free Languages.
Fundam. Informaticae, 2015

One-Tape Turing Machine Variants and Language Recognition.
CoRR, 2015

Universal Disjunctive Concatenation and Star.
Proceedings of the Descriptional Complexity of Formal Systems, 2015

2014
Limited Automata and Regular Languages.
Int. J. Found. Comput. Sci., 2014

Oblivious two-way finite automata: Decidability and complexity.
Inf. Comput., 2014

Two-way automata making choices only at the endmarkers.
Inf. Comput., 2014

Operational State Complexity under Parikh Equivalence.
Proceedings of the Descriptional Complexity of Formal Systems, 2014

2013
Descriptional complexity of bounded context-free languages.
Inf. Comput., 2013

Converting nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata.
Inf. Comput., 2013

Two-Way Finite Automata: Old and Recent Results.
Fundam. Informaticae, 2013

Recent Trends in Descriptional Complexity of Formal Languages.
Bull. EATCS, 2013

2012
Preface.
Theor. Comput. Sci., 2012

On Inverse Operations and Their Descriptional Complexity.
J. Autom. Lang. Comb., 2012

Normal forms for unary probabilistic automata.
RAIRO Theor. Informatics Appl., 2012

Preface.
Int. J. Found. Comput. Sci., 2012

Pairs of Complementary Unary Languages with "Balanced" Nondeterministic Automata.
Algorithmica, 2012

Parikh's Theorem and Descriptional Complexity.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

Recent Results Around the Sakoda and Sipser Question.
Proceedings of the Fourth Workshop on Non-Classical Models for Automata and Applications, 2012

Reversal Hierarchies for Small 2DFAs.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

On Inverse Operations and Their Descriptional Complexity.
Proceedings of the Descriptional Complexity of Formal Systems, 2012

2011
Optimal simulation of self-verifying automata by deterministic automata.
Inf. Comput., 2011

Two-way unary automata versus logarithmic space.
Inf. Comput., 2011

On the Size of Unary Probabilistic and Nondeterministic Automata.
Fundam. Informaticae, 2011

2010
Editorial.
J. Autom. Lang. Comb., 2010

One Pebble Versus epsilon * log n Bits.
Fundam. Informaticae, 2010

Probabilistic vs. Nondeterministic Unary Automata.
Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010

2009
Preface.
Theor. Comput. Sci., 2009

Nondeterministic One-Tape Off-Line Turing Machines and Their Time Complexity.
J. Autom. Lang. Comb., 2009

Deterministic Pushdown Automata and Unary Languages.
Int. J. Found. Comput. Sci., 2009

Automata and Reduced Words in the Free Group
CoRR, 2009

One Pebble Versus log(n) Bits.
Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009

Converting Self-verifying Automata into Deterministic Automata.
Proceedings of the Language and Automata Theory and Applications, 2009

2008
Preface.
Int. J. Found. Comput. Sci., 2008

2007
Preface.
Theor. Comput. Sci., 2007

Editorial.
J. Autom. Lang. Comb., 2007

A Pumping Condition for Ultralinear Languages.
Int. J. Found. Comput. Sci., 2007

Complementing two-way finite automata.
Inf. Comput., 2007

2006
String distances and intrusion detection: Bridging the gap between formal languages and computer security.
RAIRO Theor. Informatics Appl., 2006

2005
Complementing unary nondeterministic automata.
Theor. Comput. Sci., 2005

2003
Converting two-way nondeterministic unary automata into simpler automata.
Theor. Comput. Sci., 2003

The World of Unary Languages: A Quick Tour
Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2002
Distances between languages and reflexivity of relations.
Theor. Comput. Sci., 2002

Unary Context-Free Grammars and Pushdown Automata, Descriptional Complexity and Auxiliary Space Lower Bounds.
J. Comput. Syst. Sci., 2002

Simulating finite automata with context-free grammars.
Inf. Process. Lett., 2002

Unary Language Operations, State Complexity and Jacobsthal's Function.
Int. J. Found. Comput. Sci., 2002

2001
Optimal Simulations between Unary Automata.
SIAM J. Comput., 2001

Tight Bounds on the Simulation of Unary Probabilistic Automata by Deterministic Automata.
J. Autom. Lang. Comb., 2001

Note on the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata.
RAIRO Theor. Informatics Appl., 2001

How Hard Is Computing the Edit Distance?
Inf. Comput., 2001

On the Succinctness of Deterministic, Nondeterministic, Probabilistic and Quantum Finite Automata.
Proceedings of the Third International Workshop on Descriptional Complexity of Automata, Grammars and Related Structures - DCAGRS 2001, Vienna, Austria, July 20, 2001

2000
Two-Way Automata Simulations and Unary Languages.
J. Autom. Lang. Comb., 2000

Unary Language Concatenation and Its State Complexity.
Proceedings of the Implementation and Application of Automata, 2000

Unary Pushdown Automata and Auxiliary Space Lower Bounds.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

1998
Sublogarithmic Bounds on Space and Reversals.
SIAM J. Comput., 1998

1996
Probabilistic Asynchronous Automata.
Math. Syst. Theory, 1996

1995
A Remark on Middle Space Bounded Alternating Turing Machines.
Inf. Process. Lett., 1995

Strong Optimal Lower Bounds for Turing Machines that Accept Nonregular Languages.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

How Hard is to Compute the Edit Distance.
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994
On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages
Inf. Comput., February, 1994

Asynchronous Automata Versus Asynchronous Cellular Automata.
Theor. Comput. Sci., 1994

Corrigendum: An Optimal Lower Bound for Nonregular Languages.
Inf. Process. Lett., 1994

An Optimal Lower Bound for Nonregular Languages.
Inf. Process. Lett., 1994

On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
The Complexity of Computing Maximal Word Functions.
Comput. Complex., 1993

1992
Recognizing sets of labelled acyclic graphs.
Proceedings of the Tree Automata and Languages., 1992

1991
The Complexity of Computing Maximal Word Functions.
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991

1988
On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages.
Proceedings of the STACS 88, 1988


  Loading...