Giorgio Ghelli

Available identifiers

zbMath Open ghelli.giorgioWikidataQ57284719 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giorgio Ghelli