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

Z2SAL: a translation-based model checker for Z., , and . Formal Aspects Comput., 23 (1): 43-71 (2011)TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers., and . WEBIST (Revised Selected Papers), volume 322 of Lecture Notes in Business Information Processing, page 1-20. Springer, (2017)Open Source Software in the Desktop: The Perspective of the Public Administrations in UK., , , and . WEBIST (2), page 39-44. INSTICC Press, (2006)Z2SAL - Building a Model Checker for Z., , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 280-293. Springer, (2008)An Analysis of Relational Storage Strategies for Partially Structured XML., , and . WEBIST (1), page 165-170. INSTICC Press, (2008)Issues in Implementing a Model Checker for Z., , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 678-696. Springer, (2006)Incorporating Data into EFSM Inference., , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 257-272. Springer, (2019)Solving the Intractable Problem: Optimal Performance for Worst Case Scenarios in XML Twig Pattern Matching., and . IEEE Access, (2020)XML Labels Compression using Prefix-encodings., and . WEBIST (1), page 69-75. SciTePress, (2016)Building a refinement checker for Z, , and . Refine@FM, volume 55 of EPTCS, page 37-52. (2011)