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

Generalized Satisfiability Problems via Operator Assignments., , and . FCT, volume 10472 of Lecture Notes in Computer Science, page 56-68. Springer, (2017)Phase Transitions of Bounded Satisfiability Problems., and . IJCAI, page 1187-1193. Morgan Kaufmann, (2003)Infinitary Logic for Computer Science., and . ICALP, volume 623 of Lecture Notes in Computer Science, page 450-473. Springer, (1992)A Tutorial on Finite Model Theory (Abstract). LICS, page 122. IEEE Computer Society, (1993)Peer data exchange., , , and . ACM Trans. Database Syst., 31 (4): 1454-1498 (2006)Reflections on Schema Mappings, Data Exchange, and Metadata Management.. PODS, page 107-109. ACM, (2018)Foreword., and . J. ACM, 51 (1): 1 (2004)The Decision Problem for the Probabilities of Higher-Order Properties, and . STOC, page 425-435. ACM, (1987)Structural characterizations of schema-mapping languages., and . Commun. ACM, 53 (1): 101-110 (2010)Quasi-inverses of schema mappings., , , and . ACM Trans. Database Syst., 33 (2): 11:1-11:52 (2008)