Person:964805

Available identifiers

zbMath Open sartiani.carloWikidataQ58325286 ScholiaQ58325286MaRDI QIDQ964805

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
Efficient inclusion for a class of XML types with interleaving and counting	2010-04-21	Paper
Database Programming Languages	2006-10-20	Paper
Static analysis for path correctness of XML queries	2006-08-28	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: Carlo Sartiani