Dario Colazzo

Available identifiers

zbMath Open colazzo.darioWikidataQ102271549 ScholiaQ102271549MaRDI QIDQ964804

List of research outcomes

Publication	Date of Publication	Type
Negation-closure for JSON schema	2023-04-12	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
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
Testing XML constraint satisfiability	2013-12-20	Paper
Efficient inclusion for a class of XML types with interleaving and counting	2010-04-21	Paper
A type system for Discretionary Access Control	2009-08-26	Paper
Theoretical Computer Science	2006-11-01	Paper
Database Programming Languages	2006-10-20	Paper
Static analysis for path correctness of XML queries	2006-08-28	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Subtyping recursion and parametric polymorphism in kernel Fun	2005-06-13	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: Dario Colazzo