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 Correctness Proof of Sorting by Means of Formal Procedures.. Sci. Comput. Program., 9 (3): 263-269 (1987)Ranking Query Results using Context-Aware Preferences., , , and . ICDE Workshops, page 269-276. IEEE Computer Society, (2007)Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire., , and . FPCA, volume 523 of Lecture Notes in Computer Science, page 124-144. Springer, (1991)Ignorance in the Relational Model.. TDM, volume WP06-01 of CTIT Workshop Proceedings Series, page 33-40. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, (2006)Protocol Assuring Universal Language., and . FMOODS, volume 139 of IFIP Conference Proceedings, page 241-258. Kluwer, (1999)Data Exchange over Web-based Applications with DXL., , , and . DIWeb, page 17-33. University of Toronto Press, (2002)An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.. Sci. Comput. Program., 16 (1): 19-48 (1991)Subtyping Can Have a Simple Semantics., and . Theor. Comput. Sci., 87 (1): 81-96 (1991)Z-style notation for Probabilities.. TDM, volume WP06-01 of CTIT Workshop Proceedings Series, page 19-24. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede, The Netherlands, (2006)Axiomatization of Declarations and the Formal Treatment of an Escape Construct.. Formal Description of Programming Concepts, page 221-236. North-Holland, (1977)