Author of the publication

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

Lossless Representation of Topological Spatial Data, , , and . 951, page 1--13. Portland, Maine, USA, (1995)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)SO(forall-exist*) Sentences and Their Asymptotic Probabilities., and . Math. Log. Q., 46 (4): 435-452 (2000)The Power of Spreadsheet Computations.. Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 305-322. Springer, (2020)Towards minimal algorithms for big data analytics with spreadsheets., , , , and . BeyondMR@SIGMOD, page 1:1-1:4. ACM, (2017)Spreadsheet as a Multi-platform Mobile Application., , and . MOBILESoft, page 140-141. IEEE Computer Society, (2015)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)The Infinitary Logic of Sparse Random Graphs, and . LICS, page 46-53. IEEE Computer Society, (1995)