Author of the publication

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)

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

Revisiting the Institutional Approach to Herbrand's Theorem., and . CALCO, volume 35 of LIPIcs, page 304-319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Parameterisation for abstract structured specifications.. Theor. Comput. Sci., (2014)Institution-independent logic programming.. Royal Holloway, University of London, Egham, UK, (2015)British Library, EThOS.Foundations for structuring behavioural specifications., and . J. Log. Algebraic Methods Program., 83 (3-4): 319-338 (2014)From conventional to institution-independent logic programming., and . J. Log. Comput., 27 (6): 1679-1716 (2017)Dynamic Reconfiguration via Typed Modalities., , and . FM, volume 13047 of Lecture Notes in Computer Science, page 599-615. Springer, (2021)Birkhoff Completeness for Hybrid-Dynamic First-Order Logic., and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 277-293. Springer, (2019)A methodological approach on the architectural development of integrated e-learning systems, and . CoRR, (2010)Comorphisms of structured institutions.. Inf. Process. Lett., 113 (22-24): 894-900 (2013)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)