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

Logical Support for Bike-Sharing System Design., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 152-171. Springer, (2019)Support for User Involvement in Data Cleaning., , and . DaWaK, volume 6862 of Lecture Notes in Computer Science, page 136-151. Springer, (2011)The Sensoria Reference Modelling Language., , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Specifying and Composing Interaction Protocols for Service-Oriented System Modelling., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 358-373. Springer, (2007)Heterogeneous and asynchronous networks of timed systems., and . Theor. Comput. Sci., (2017)CommUnity on the Move: Architectures for Distribution and Mobility., and . FMCO, volume 3188 of Lecture Notes in Computer Science, page 177-196. Springer, (2003)An Interface Theory for Service-Oriented Design., and . FASE, volume 6603 of Lecture Notes in Computer Science, page 18-33. Springer, (2011)A Mathematical Semantics for Architectural Connectors., , and . Generic Programming, volume 2793 of Lecture Notes in Computer Science, page 178-221. Springer, (2003)From BPEL to SRML: A Formal Transformational Approach., , , and . WS-FM, volume 4937 of Lecture Notes in Computer Science, page 92-107. Springer, (2007)Context-Awareness in Software Architectures., and . EWSA, volume 3527 of Lecture Notes in Computer Science, page 146-161. Springer, (2005)