Author of the publication

A Simple but Formal Semantics for XML Manipulation Languages.

, and . FoIKS, volume 5956 of Lecture Notes in Computer Science, page 3-5. Springer, (2010)

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

Finding AND-OR Hierarchies in Workflow Nets., and . CoRR, (2017)A graphical user interface for SILK data link discovery framework., , , and . OpenSym, page 24:1-24:2. ACM, (2013)PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness, and . Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010, page 125--131. Freiburg, Germany, (2010)On generating *-sound nets with substitution, , and . Proc. of the Tenth International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE Computer Society, (2011)To Appear.User Profile Elicitation and Conversion in a Mashup Environment, , , , , , , and . Proceedings of the International Workshop on Lightweight Integration on the Web (ComposableWeb'09) in conjunction with the 9th International Conference on Web Engineering (ICWE 2009), San Sebastian, Spain, CEUR, Tilburg, Aachen, (23 June 2009)XPath/XQuery., and . Encyclopedia of Social Network Analysis and Mining, (2014)A Formal and Unified Description of XML Manipulation Languages., and . Fundam. Informaticae, 145 (4): 429-470 (2016)On the Expressive Power of Node Construction in XQuery, , , , and . Proc. of the 8th International Workshop on the Web and Databases (WebDB 2005), page 85--90. Baltimore, Maryland, USA, (2005)Automata for Avoiding Unnecessary Ordering Operations in XPath Implementations, , , , and . Technical report, TR UA 2004-02. University of Antwerp, (2004)The Formal Model of a Pattern Browsing Technique, , and . 95-30. Eindhoven University of Technology, (1995)