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

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance., , , , , and . IEEE Trans Autom. Sci. Eng., 7 (1): 189-195 (2010)Verification of Architectural Constraints on Sequences of Method Invocations., , and . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-4 (2015)Design and verification of cellphone-based cyber-physical systems: A position paper.. CollaborateCom, page 603-607. ICST / IEEE, (2013)The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report., and . ICSE, page 303-313. ACM, (1997)Automatic Mash Up of Composite Applications., , , and . ICSOC, volume 5364 of Lecture Notes in Computer Science, page 317-330. (2008)Modeling Resources for Activity Coordination and Scheduling., , and . COORDINATION, volume 1594 of Lecture Notes in Computer Science, page 307-322. Springer, (1999)Verification of Distributed Artificial Intelligence Systems in Bioinformatics., , , and . CoRR, (2023)Experience in using a process language to define scientific workflow and generate dataset provenance., , , , , , and . SIGSOFT FSE, page 319-329. ACM, (2008)Ensuring reliable datasets for environmental models and forecasts., , , , , , , and . Ecol. Informatics, 2 (3): 237-247 (2007)Cooperative, Multistep Negotiation over a Multi-dimensional Utility Function., , and . Artificial Intelligence and Soft Computing, page 136-142. IASTED/ACTA Press, (2000)