Marko Mäkelä

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Timo Latvala, Marko Mäkelä
LTL Model Checking for Modular Petri Nets. ICATPN (2004)
Marko Mäkelä
Model Checking Safety Properties in Modular High-Level Nets. ICATPN (2003)
Marko Mäkelä
Survey of Bundle Methods for Nonsmooth Optimization. Optim. Methods Softw. 17 (1) (2002)
Marko Mäkelä
Maria: Modular Reachability Analyser for Algebraic System Nets. ICATPN (2002)
Marko Mäkelä
Optimising Enabling Tests and Unfoldings of Algebraic System Nets. ICATPN (2001)