D. 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

This page was built for person: D. Colazzo