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

Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic.. CSL, volume 626 of Lecture Notes in Computer Science, page 396-410. Springer, (1991)DFL: A dataflow language based on Petri nets and nested relational calculus., , , , and . Inf. Syst., 33 (3): 261-284 (2008)On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering.. TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 569-583. Springer, (1993)The Infinitary Logic of Sparse Random Graphs, and . LICS, page 46-53. IEEE Computer Society, (1995)Database Query Processing Using Finite Cursor Machines., , , , , and . ICDT, volume 4353 of Lecture Notes in Computer Science, page 284-298. Springer, (2007)Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems., , and . ATAED@Petri Nets/ACSD, volume 1847 of CEUR Workshop Proceedings, page 55-70. CEUR-WS.org, (2017)Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps., and . ESA, volume 274 of LIPIcs, page 96:1-96:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)SO(forall-exist*) Sentences and Their Asymptotic Probabilities., and . Math. Log. Q., 46 (4): 435-452 (2000)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)Well-constructed Workflows in Bioinformatics, , , , , , and . Workshop on Database Issues in Biological Databases (DBiBD), (2005)