Author of the publication

A formal model of dataflow repositories

, , , , and . Proc. of the 4th Int. Workshop on Data Integration in Life Sciences (DILS), volume 4544/2007 of LNBI, page 105--121. Philadelphia, PA, USA, (June 2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning Graph Neural Networks using Exact Compression., , , and . GRADES-NDA@SIGMOD, page 8:1-8:9. ACM, (2023)On the Satisfiability Problem of Patterns in SPARQL 1.1., , , and . AAAI, page 2054-2062. AAAI Press, (2018)Data Provenance for SHACL., , , and . EDBT, page 285-297. OpenProceedings.org, (2023)First-order Queries on Finite Structures over the Reals, , and . LICS, page 79-87. IEEE Computer Society, (1995)Expressivity Within Second-Order Transitive-Closure Logic., , and . CSL, volume 119 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Database Theory, Yuri, and Me.. Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 49-60. Springer, (2010)Well-Defined NRC Queries Can Be Typed - (Extended Abstract)., and . In Search of Elegance in the Theory and Practice of Computation, volume 8000 of Lecture Notes in Computer Science, page 494-506. Springer, (2013)A Formal Model for Databases in DNA., and . ANB, volume 6479 of Lecture Notes in Computer Science, page 18-37. Springer, (2010)On-line maintenance of simplified weighted graphs for efficient distance queries., , and . GIS, page 203-210. ACM, (2006)Expressiveness and Complexity of Generic Graph Machines, , , and . Theory of Computing Systems, 31 (3): 231--249 (1998)