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

A Generalization of Kleene's Theorem and Nondeterministic Structured Programming, and . Information and Control, 51 (2): 146-152 (November 1981)A Query Language for NC., and . J. Comput. Syst. Sci., 55 (2): 299-321 (1997)Physical Data Independence, Constraints, and Optimization with Universal Plans, , and . VLDB, page 459-470. Morgan Kaufmann, (1999)Deriving probabilistic databases with inference ensembles., , , and . ICDE, page 303-314. IEEE Computer Society, (2011)Update Exchange with Mappings and Provenance., , , and . VLDB, page 675-686. ACM, (2007)PROPOLIS: Provisioned Analysis of Data-Centric Processes., , and . PVLDB, 6 (12): 1302-1305 (2013)Queries with Difference on Probabilistic Databases., , and . PVLDB, 4 (11): 1051-1062 (2011)Provenance Analysis for Logic and Games., and . CoRR, (2019)Extensional Models for Polymorphism., and . TAPSOFT, Vol.2, volume 250 of Lecture Notes in Computer Science, page 291-307. Springer, (1987)First-Order Logic: Syntax.. Encyclopedia of Database Systems (2nd ed.), Springer, (2018)