The following pages link to Angela Bonifati (Q204993):
Displaying 8 items.
- Event trace independence of active behavior (Q1041726) (← links)
- A trichotomy for regular simple path queries on graphs (Q2009646) (← links)
- Algebraic incremental maintenance of XML views (Q2943541) (← links)
- Certified Graph View Maintenance with Regular Datalog (Q4559800) (← links)
- Querying Graphs (Q4962146) (← links)
- Learning Join Queries from User Examples (Q5012545) (← links)
- Computer Aided Verification (Q5716579) (← links)
- Active rules for XML: A new paradigm for e-services (Q5944376) (← links)