Marko Mäkelä

According to our database, Marko Mäkelä authored at least 5 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

LTL Model Checking for Modular Petri Nets.

Timo Latvala, Marko Mäkelä

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Model Checking Safety Properties in Modular High-Level Nets.

Marko Mäkelä

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Survey of Bundle Methods for Nonsmooth Optimization.

Marko Mäkelä

Optim. Methods Softw., 2002

Maria: Modular Reachability Analyser for Algebraic System Nets.

Marko Mäkelä

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Optimising Enabling Tests and Unfoldings of Algebraic System Nets.

Marko Mäkelä

Proceedings of the Application and Theory of Petri Nets 2001, 2001