Giovanna D'Agostino

51 papers A* 1A 1B 2C 1Journal 38Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Universally Wheeler Languages. DLT Ruben Becker, Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza, Antonio Restivo, Brian Riccardi
2025	J	`jnl`	Universally Wheeler Languages. CoRR Ruben Becker, Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza, Antonio Restivo, Brian Riccardi
2025	—	`conf`	Wheeler Graphs and Wheeler Languages. The Expanding World of Compressed Data Nicola Cotumaccio, Giovanna D'Agostino, Daniel Gibney, Alberto Policriti, Nicola Prezza, Sharma V. Thankachan
2025	—	`conf`	Wheelerness and Complementation. ICTCS Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Antonio Restivo, Brian Riccardi
2024	J	`jnl`	Cascade products and Wheeler automata. Theor. Comput. Sci. Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
2023	—	`conf`	A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
2023	J	`jnl`	Co-lexicographically Ordering Automata and Regular Languages - Part I. J. ACM Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2023	J	`jnl`	Ordering regular languages and automata: Complexity. Theor. Comput. Sci. Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
2022	J	`jnl`	Co-lexicographically ordering automata and regular languages. Part I. CoRR Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2022	J	`jnl`	Ordering Regular Languages and Automata: Complexity. CoRR Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
2021	J	`jnl`	On (co-lex) Ordering Automata. CoRR Giovanna D'Agostino, Nicola Cotumaccio, Alberto Policriti, Nicola Prezza
2021	—	`conf`	Ordering Regular Languages: a Danger Zone. ICTCS Davide Martincigh, Giovanna D'Agostino, Alberto Policriti
2021	J	`jnl`	Ordering regular languages: a danger zone. CoRR Giovanna D'Agostino, Davide Martincigh, Alberto Policriti
2021	J	`jnl`	Wheeler languages. Inf. Comput. Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2021	J	`jnl`	Which Regular Languages can be Efficiently Indexed? CoRR Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2020	A*	`conf`	Regular Languages meet Prefix Sorting. SODA Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2020	J	`jnl`	Wheeler Languages. CoRR Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza
2019	J	`jnl`	Uniform interpolation for propositional and modal team logics. J. Log. Comput. Giovanna D'Agostino
2018	B	`ed.`	Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018 Advances in Modal Logic Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer
2018	J	`jnl`	The Theor. Comput. Sci. Giovanna D'Agostino, Giacomo Lenzi
2018	J	`jnl`	The logic of the reverse mathematics zoo. Math. Struct. Comput. Sci. Giovanna D'Agostino, Alberto Marcone
2018	J	`jnl`	Uniform Interpolation for Propositional and Modal Team Logics. CoRR Giovanna D'Agostino
2015	J	`jnl`	Bisimulation quantifiers and uniform interpolation for guarded first order logic. Theor. Comput. Sci. Giovanna D'Agostino, Giacomo Lenzi
2015	J	`jnl`	Mapping Sets and Hypersets into Numbers. Fundam. Informaticae Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
2013	J	`jnl`	Games, Automata, Logic, and Formal Verification (GandALF 2011). Theor. Comput. Sci. Giovanna D'Agostino, Salvatore La Torre
2013	J	`jnl`	On Modal μ-Calculus in S5 and Applications. Fundam. Informaticae Giovanna D'Agostino, Giacomo Lenzi
2013	J	`jnl`	On modal μ-calculus over reflexive symmetric graphs. J. Log. Comput. Giovanna D'Agostino, Giacomo Lenzi
2012	J	`jnl`	On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width. Int. J. Found. Comput. Sci. Giovanna D'Agostino, Giacomo Lenzi
2011	J	`jnl`	Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log. Giovanna D'Agostino, Giacomo Lenzi
2011	—	`conf`	On modal mu-calculus in S5 and applications. CILC Giovanna D'Agostino, Giacomo Lenzi
2011	—	`ed.`	Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. GandALF Giovanna D'Agostino, Salvatore La Torre
2010	—	`conf`	On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components GANDALF Giovanna D'Agostino, Giacomo Lenzi
2010	J	`jnl`	On the µ-calculus over transitive and finite transitive frames. Theor. Comput. Sci. Giovanna D'Agostino, Giacomo Lenzi
2008	J	`jnl`	A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. J. Log. Comput. Giovanna D'Agostino, Giacomo Lenzi
2008	J	`jnl`	Interpolation in non-classical logics. Synth. Giovanna D'Agostino
2006	J	`jnl`	On modal mu-calculus with explicit interpolants. J. Appl. Log. Giovanna D'Agostino, Giacomo Lenzi
2006	J	`jnl`	µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. J. Appl. Non Class. Logics Giovanna D'Agostino, Giacomo Lenzi, Tim French
2005	J	`jnl`	An axiomatization of bisimulation quantifiers via the mu-calculus. Theor. Comput. Sci. Giovanna D'Agostino, Giacomo Lenzi
2005	—	`conf`	Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. TbiLLC Giovanna D'Agostino
2003	J	`jnl`	Characterizing Interpolation Pairs in Infinitary Graded Logics. J. Log. Comput. Giovanna D'Agostino
2002	J	`jnl`	Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Log. Giovanna D'Agostino, Albert Visser
2000	J	`jnl`	Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. J. Symb. Log. Giovanna D'Agostino, Marco Hollenberg
1998	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1997	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1996	J	`jnl`	Translating the hypergame paradox: Remarks on the set of founded elements of a relation. J. Philos. Log. Claudio Bernardi, Giovanna D'Agostino
1996	B	`conf`	Uniform Interpolation, Automata and the Modal μ-Calculus. Advances in Modal Logic Giovanna D'Agostino, Marco Hollenberg
1995	A	`conf`	A Set-Theoretic Translation Method for (Poly)modal Logics. STACS Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1995	J	`jnl`	A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reason. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1995	J	`jnl`	Complete, Recursively Enumerable Relations in Arithmetic. Math. Log. Q. Giovanna D'Agostino, Mario Magnago
1994	J	`jnl`	Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories. Notre Dame J. Formal Log. Giovanna D'Agostino
1993	J	`jnl`	Cayley Graphs of Virtually Free Groups. Int. J. Algebra Comput. Giovanna D'Agostino