The following pages link to Dario Colazzo (Q964804):
Displayed 15 items.
- (Q391125) (redirect page) (← links)
- Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking (Q391129) (← links)
- Efficient inclusion for a class of XML types with interleaving and counting (Q964806) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Negation-closure for JSON schema (Q2697439) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Almost-linear inclusion for XML regular expression types (Q2943542) (← links)
- A type system for Discretionary Access Control (Q3395314) (← links)
- Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation (Q5012584) (← links)
- (Q5091263) (← links)
- Types for path correctness of XML queries (Q5178031) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311476) (← links)
- Theoretical Computer Science (Q5395069) (← links)
- Static analysis for path correctness of XML queries (Q5482283) (← links)
- Database Programming Languages (Q5493333) (← links)