Verification Using PEP. - Stephan Melzer; Stefan Römer; Javier Esparza (AMAST, 1996)

Checking System Properties via Integer Programming. - Stephan Melzer; Javier Esparza (ESOP, 1996)

Model Checking LTL Using Constraint Programming. - Javier Esparza; Stephan Melzer (ICATPN, 1997)

Deadlock Checking Using Net Unfoldings. - Stephan Melzer; Stefan Römer (CAV, 1997)

Verification of Parallel Systems using Constraint Programming. - Stephan Melzer (CP, 1997)

Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung. - Stephan Melzer (Utz, 1998)

Verification of Safety Properties Using Integer Programming: Beyond the State Equation. - Javier Esparza; Stephan Melzer (Formal Methods Syst. Des., 2000)

Fachliches Innovationsmanagement als strategischer Erfolgsfaktor in der IT-Beratung und Systemintegration. - Sean Eikenberg; Stephan Melzer; Ulrike Lechner (Wirtschaftsinformatik (1), 2009)