| A Test Suite for JSON Schema Containment. | 0 | 0.34 | 2021 |
| Human-in-the-Loop Schema Inference for Massive JSON Datasets. | 0 | 0.34 | 2020 |
| Parametric schema inference for massive JSON datasets | 3 | 0.41 | 2019 |
| Schemas And Types For JSON Data. | 0 | 0.34 | 2019 |
| A Type System for Interactive JSON Schema Inference (Extended Abstract). | 0 | 0.34 | 2019 |
| Counting types for massive JSON datasets | 2 | 0.38 | 2017 |
| Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation. | 3 | 0.37 | 2017 |
| Almost-linear inclusion for XML regular expression types | 4 | 0.41 | 2013 |
| Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. | 0 | 0.34 | 2013 |
| Schemas for safe and efficient XML processing | 0 | 0.34 | 2011 |
| Linear inclusion for XML regular expression types | 8 | 0.51 | 2009 |
| Efficient asymmetric inclusion between regular expression types | 14 | 0.64 | 2009 |
| Efficient inclusion for a class of XML types with interleaving and counting | 19 | 0.78 | 2009 |
| XML query optimization in the presence of side effects | 6 | 0.48 | 2008 |
| Commutativity analysis for XML updates | 13 | 0.64 | 2008 |
| Linear time membership in a class of regular expressions with interleaving and counting | 12 | 0.63 | 2008 |
| Efficient Inclusion For A Class Of Xml Types With Interleaving And Counting | 0 | 0.34 | 2008 |
| Linear Time Membership for a Class of XML Types with Interleaving and Counting | 4 | 0.46 | 2008 |
| Scalable Query Dissemination in XPeer | 4 | 0.38 | 2007 |
| Expressiveness and complexity of graph logic | 27 | 0.96 | 2007 |
| Commutativity analysis in XML update languages | 10 | 0.53 | 2007 |
| A better semantics for XQuery with side-effects | 6 | 0.47 | 2007 |
| Static analysis for path correctness of XML queries | 14 | 0.65 | 2006 |
| XQuery!: an XML query language with side effects | 16 | 0.76 | 2006 |
| Types for path correctness of XML queries | 10 | 0.60 | 2005 |
| Secrecy and group creation | 24 | 1.56 | 2005 |
| Subtyping, recursion, and parametric polymorphism in kernel fun | 3 | 0.43 | 2005 |
| Adjunct elimination through games in static ambient logic | 7 | 0.55 | 2004 |
| XPeer: a self-organizing XML P2P database system | 32 | 1.25 | 2004 |
| A Self-organizing XML P2P Database System | 1 | 0.41 | 2004 |
| TQL: a query language for semistructured data based on the ambient logic | 30 | 1.19 | 2004 |
| Decidability of Freshness, Undecidability of Revelation. | 11 | 0.80 | 2004 |
| Manipulating Trees with Hidden Labels | 29 | 1.88 | 2003 |
| Spatial Tree Logics to reason about Semistructured Data | 10 | 0.74 | 2003 |
| Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers | 16 | 1.33 | 2002 |
| A typed text retrieval query language for XML documents | 5 | 0.80 | 2002 |
| Foundations for Extensible Objects with Roles | 9 | 0.57 | 2002 |
| Types for Correctness of Queries over Semistructured Data | 5 | 0.51 | 2002 |
| TQL Algebra and its Implementation | 10 | 2.08 | 2002 |
| The Query Language TQL | 17 | 4.74 | 2002 |
| Types for the ambient calculus | 38 | 1.34 | 2002 |
| A Spatial Logic for Querying Graphs | 62 | 4.97 | 2002 |
| The Query Language TQL - Demo Presentation | 0 | 0.34 | 2002 |
| A Query Language Based on the Ambient Logic | 51 | 6.54 | 2001 |
| Typing Mobility in the Seal Calculus | 13 | 0.92 | 2001 |
| View Operations on Objects with Roles for a Statically Typed Database Language | 9 | 0.74 | 2000 |
| Secrecy and Group Creation. | 0 | 0.34 | 2000 |
| Ambient Groups and Mobility Types | 56 | 3.04 | 2000 |
| Secrecy and Group Creation | 0 | 0.34 | 2000 |
| Mobility Types for Mobile Ambients | 85 | 5.98 | 1999 |
