Giovanna D'Agostino

Orcid: 0000-0002-8920-483X

Affiliations:
  • University of Udine, Italy


According to our database1, Giovanna D'Agostino authored at least 40 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Cascade products and Wheeler automata.
Theor. Comput. Sci., 2024

2023
Co-lexicographically Ordering Automata and Regular Languages - Part I.
J. ACM, August, 2023

Ordering regular languages and automata: Complexity.
Theor. Comput. Sci., March, 2023

A Linear-size Cascade Decomposition for Wheeler Automata.
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

2021
Wheeler languages.
Inf. Comput., 2021

On (co-lex) Ordering Automata.
CoRR, 2021

Which Regular Languages can be Efficiently Indexed?
CoRR, 2021

Ordering Regular Languages: a Danger Zone.
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020
Regular Languages meet Prefix Sorting.
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

2019
Uniform interpolation for propositional and modal team logics.
J. Log. Comput., 2019

2018
The <i>μ</i>-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs.
Theor. Comput. Sci., 2018

The logic of the reverse mathematics zoo.
Math. Struct. Comput. Sci., 2018

2015
Bisimulation quantifiers and uniform interpolation for guarded first order logic.
Theor. Comput. Sci., 2015

Mapping Sets and Hypersets into Numbers.
Fundam. Informaticae, 2015

2013
Games, Automata, Logic, and Formal Verification (GandALF 2011).
Theor. Comput. Sci., 2013

On modal μ-calculus over reflexive symmetric graphs.
J. Log. Comput., 2013

On Modal μ-Calculus in S5 and Applications.
Fundam. Informaticae, 2013

2012
On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width.
Int. J. Found. Comput. Sci., 2012

2011
Deciding the existence of uniform interpolants over transitive models.
Arch. Math. Log., 2011

On modal mu-calculus in S5 and applications.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
On the µ-calculus over transitive and finite transitive frames.
Theor. Comput. Sci., 2010

On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
Proceedings of the Proceedings First Symposium on Games, 2010

2008
Interpolation in non-classical logics.
Synth., 2008

A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.
J. Log. Comput., 2008

2006
On modal mu-calculus with explicit interpolants.
J. Appl. Log., 2006

µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.
J. Appl. Non Class. Logics, 2006

2005
An axiomatization of bisimulation quantifiers via the mu-calculus.
Theor. Comput. Sci., 2005

Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.
Proceedings of the Logic, 2005

2003
Characterizing Interpolation Pairs in Infinitary Graded Logics.
J. Log. Comput., 2003

2002
Finality regained: A coalgebraic study of Scott-sets and multisets.
Arch. Math. Log., 2002

2000
Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.
J. Symb. Log., 2000

1998
Modal Deduction in Second-Order Logic and Set Theory - II.
Stud Logica, 1998

1997
Modal Deduction in Second-Order Logic and Set Theory - I.
J. Log. Comput., 1997

1996
Translating the hypergame paradox: Remarks on the set of founded elements of a relation.
J. Philos. Log., 1996

Uniform Interpolation, Automata and the Modal μ-Calculus.
Proceedings of the Advances in Modal Logic 1, 1996

1995
Complete, Recursively Enumerable Relations in Arithmetic.
Math. Log. Q., 1995

A Set-Theoretic Translation Method for Polymodal Logics.
J. Autom. Reason., 1995

A Set-Theoretic Translation Method for (Poly)modal Logics.
Proceedings of the STACS 95, 1995

1994
Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories.
Notre Dame J. Formal Log., 1994

1993
Cayley Graphs of Virtually Free Groups.
Int. J. Algebra Comput., 1993


  Loading...