G. Ghelli

Available identifiers

zbMath Open ghelli.giorgioDBLPg/GiorgioGhelliWikidataQ57284719 ScholiaQ57284719MaRDI QIDQ673965

List of research outcomes

Publication	Date of Publication	Type
Negation-closure for JSON schema	2023-04-12	Paper
On confluence for weakly normalizing systems	2022-12-09	Paper
Subtyping + extensionality: Confluence of βηtop reduction in F≤	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5091263	2022-07-21	Paper
Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation	2021-11-25	Paper
Complexity of kernel fun subtype checking	2016-09-01	Paper
Almost-linear inclusion for XML regular expression types	2015-09-03	Paper
Types for path correctness of XML queries	2015-03-09	Paper
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking	2014-01-10	Paper
Manipulating trees with hidden labels	2013-12-06	Paper
Efficient inclusion for a class of XML types with interleaving and counting	2010-04-21	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Expressiveness and complexity of graph logic	2007-03-12	Paper
Static analysis for path correctness of XML queries	2006-08-28	Paper
Types for the ambient calculus	2006-08-03	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
Subtyping recursion and parametric polymorphism in kernel Fun	2005-06-13	Paper
Secrecy and group creation	2005-02-22	Paper
TQL: a query language for semistructured data based on the ambient logic	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4737192	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417861	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4791831	2003-02-03	Paper
Basic theory of \(F\)-bounded quantification.	2003-01-14	Paper
Foundations for extensible objects with roles	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536435	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536614	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2763663	2002-01-21	Paper
Bounded existentials and minimal typing	1998-08-13	Paper
Termination of system \(F\)-bounded: A complete proof	1998-07-27	Paper
Divergence of \(F_{\leq}\) type checking	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4855340	1995-11-09	Paper
A calculus for overloaded functions with subtyping	1995-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4281468	1994-10-19	Paper
Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)	1994-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4281471	1994-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4027624	1993-02-21	Paper
Coherence of subsumption, minimum typing and type-checking in F ≤	1992-09-27	Paper

Research outcomes over time

This page was built for person: G. Ghelli