D. Colazzo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Negation-closure for JSON schema Theoretical Computer Science	2023-04-12	Paper
scientific article; zbMATH DE number 7561594 (Why is no real title available?)	2022-07-21	Paper
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation ACM Transactions on Database Systems	2021-11-25	Paper
Almost-linear inclusion for XML regular expression types ACM Transactions on Database Systems	2015-09-03	Paper
Types for path correctness of XML queries Proceedings of the ninth ACM SIGPLAN international conference on Functional programming	2015-03-09	Paper
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking Theoretical Computer Science	2014-01-10	Paper
Testing XML constraint satisfiability Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Efficient inclusion for a class of XML types with interleaving and counting Information Systems	2010-04-21	Paper
A type system for Discretionary Access Control Mathematical Structures in Computer Science	2009-08-26	Paper
Theoretical Computer Science Lecture Notes in Computer Science	2006-11-01	Paper
Database Programming Languages Lecture Notes in Computer Science	2006-10-20	Paper
Static analysis for path correctness of XML queries Journal of Functional Programming	2006-08-28	Paper
CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science	2005-08-23	Paper
Subtyping recursion and parametric polymorphism in kernel Fun Information and Computation	2005-06-13	Paper

Research outcomes over time

This page was built for person: D. Colazzo