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

Search-Based Evolution of XML Schemas., , , and . Comput. Informatics, 31 (3): 573- (2012)Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data., , , , and . iThings/GreenCom/CPSCom/SmartData, page 1118-1124. IEEE Computer Society, (2017)O Projeto e Implementação da Linguagem A., , and . SBES, page 237-256. SBC, (1991)Specification and Runtime Verification of Java Card Programs., , , and . SBMF, volume 240 of Electronic Notes in Theoretical Computer Science, page 61-78. Elsevier, (2008)Using Provenance in Data Analytics for Seismology: Challenges and Directions., , , , and . ADBIS (Short Papers), volume 1652 of Communications in Computer and Information Science, page 311-322. Springer, (2022)Automatic Refinement of Service Compositions., , , and . ICWE, volume 7977 of Lecture Notes in Computer Science, page 400-407. Springer, (2013)Using Visitor Patterns in Object-Oriented Action Semantics., , and . J. Univers. Comput. Sci., 13 (6): 891-919 (2007)PEWS: A New Language for Building Web Service Interfaces., , , and . J. Univers. Comput. Sci., 11 (7): 1215-1233 (2005)An Action Semantics for ML Concurrency Primitives., and . FME, volume 873 of Lecture Notes in Computer Science, page 461-479. Springer, (1994)GM-C: A graph multi-combinator machine., and . Microprocessing and Microprogramming, 31 (1-5): 81-84 (1991)