Static Analysis of Active XML Systems
Summary: Static analysis of Active XML using Tree-LTL: a tree-pattern based temporal logic to express rich semantic properties of runs where embedded function calls return (possibly active) XML and spawn subtasks. Characterizes decidability frontier and complexity of automatic verification. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Serge Abiteboul
- 2. Luc Segoufin
- 3. Victor Vianu
Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 4,927 | A Rule-based Language for Web Data Management | 2011 | PODS | 5.8225392e-05 |
| 5,364 | A Quest for Beauty and Wealth (or, Business Processes for Database Researchers) | 2011 | PODS | 5.5461492e-05 |
| 5,705 | Datalog Unchained | 2021 | PODS | 5.3621239e-05 |
| 8,311 | Satisfiability and Relevance for Queries over Active Documents | 2009 | PODS | 4.5435639e-05 |
| 11,827 | Minimization of Tree Pattern Queries | 2016 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,779 | E-Services: A Look Behind the Curtain | 2003 | PODS | 0.00010581176 |
| 1,875 | Verification of Communicating Data-Driven Web Services | 2006 | PODS | 0.00010243508 |
| 1,929 | XPath Satisfiability in the Presence of DTDs | 2005 | PODS | 0.00010058897 |
| 2,594 | On XML Integrity Constraints in the Presence of DTDs | 2001 | PODS | 8.474176e-05 |
| 3,190 | A Verifier for Interactive, Data-driven Web Applications | 2005 | SIGMOD | 7.4113639e-05 |
| 3,427 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.1033924e-05 |
| 6,101 | On Verifying Consistency of XML Specifications | 2002 | PODS | 5.2090945e-05 |
| 8,874 | Positive Active XML | 2004 | PODS | 4.4312268e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,811 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7380404e-05 |
| 2,150 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4255252e-05 |
| 5,296 | Running Tree Automata on Probabilistic XML | 2009 | PODS | 5.5802694e-05 |
| 13,484 | Efficient Evaluation for a Temporal Logic on Changing XML Documents | 2011 | PODS | - |
| 8,977 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 4.4174383e-05 |
| 5,139 | Lazy Query Evaluation for Active XML | 2004 | SIGMOD | 5.6686638e-05 |
| 3,494 | Specification and Verification of Data-driven Web Services | 2004 | PODS | 7.040662e-05 |
| 12,215 | Certain Answers for XML Queries | 2010 | PODS | 4.1945683e-05 |
| 13,645 | Regular Rewriting of Active XML and Unambiguity | 2005 | PODS | - |
| 8,874 | Positive Active XML | 2004 | PODS | 4.4312268e-05 |