Martin Podloucký

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Mathematical Models

Pattern Detection

Web Service Composition

Top Venues

Publications

Martin Podloucký, Robert Pergl, Petr Kroha
Revisiting the BORM OR Diagram Composition Pattern. EOMAS@CAiSE (2015)
Martin Podloucký, Robert Pergl
Towards Formal Foundations for BORM ORD Validation and Simulation. ICEIS (2) (2014)
Martin Podloucký, Robert Pergl
The Prefix Machine - a Formal Foundation for the BORM OR Diagrams Validation and Simulation. EOMAS@CAiSE (2014)
Martin Podloucký
Rapid Application Prototyping for Functional Languages. FedCSIS (2013)