Author of the publication

Petri Net + Nested Relational Calculus = Dataflow

, , , , and . OTM Conferences (1), volume 3760 of Lecture Notes in Computer Science, page 220--237. Springer, (2005)

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

A graphical user interface for SILK data link discovery framework., , , and . OpenSym, page 24:1-24:2. ACM, (2013)On generating *-sound nets with substitution, , and . Proc. of the Tenth International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE Computer Society, (2011)To Appear.Well-constructed Workflows in Bioinformatics, , , , , , and . Workshop on Database Issues in Biological Databases (DBiBD), (2005)PG-Keys: Keys for Property Graphs., , , , , , , , , and 7 other author(s). SIGMOD Conference, page 2423-2436. ACM, (2021)PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness, and . Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010, page 125--131. Freiburg, Germany, (2010)Automata for Avoiding Unnecessary Ordering Operations in XPath Implementations, , , , and . Technical report, TR UA 2004-02. University of Antwerp, (2004)The Formal Model of a Pattern Browsing Technique, , and . 95-30. Eindhoven University of Technology, (1995)Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I., and . Fundam. Inform., 92 (3): 279-299 (2009)Expressive Power of Recursion and Aggregates in XQuery, , , and . TR UA 2005-05. University of Antwerp, Belgium, (2005)Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions, , and . Bulletin of the European Association for Theoretical Computer Science, (June 2005)