| 2001 |
| DOI | .
Implementation of functional languages: 12th international workshop, Aachen, Germany, September 4 - 7, 2000,
Volume 2011 of LNCS, pages VIII, 265 S. : graph. Darst., Springer, 2001. |
| Full Text | Benedikt Bollig, Martin Leucker.
Deciding LTL over Mazurkiewicz traces,
Volume 2001,2 of Aachener Informatik-Berichte, pages 26 Bl.. : graph. Darst.., RWTH, 2001. |
| Full Text | Benedikt Bollig, Martin Leucker, Thomas Noll.
Regular MSC languages,
Volume 2001,5 of Aachener Informatik-Berichte, RWTH, 2001. |
| Full Text | Benedikt Bollig, Martin Leucker, Michael Weber.
Local parallel model checking for the alternation free mu-calculus,
Volume 2001,4 of Aachener Informatik-Berichte, pages 38 Bl.. : graph. Darst.., RWTH, Department of Computer Science, 2001. |
| Benedikt Bollig, Martin Leucker, Michael Weber.
Parallel model checking for the alternation free mu-calculus,
Volume 2031 of LNCS, pages 543-558, Springer, 2001. |
| Frank Günter Huch, V. Stolz.
Distributed programming in Haskell,
Volume 2018 of Bericht / Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, Inst. für Informatik und Praktische Mathematik, 2001. |
| Martin Leucker, Thomas Noll.
Truth/SLC,
Volume 2102 of LNCS, pages 255-259, Springer, 2001. |
| DOI | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll.
Semi-automated verification of Erlang code,
pages 319-323, IEEE Computer Society, 2001. |
| Thomas Arts, Thomas Noll.
Verifying generic Erlang client-server implementations,
Volume 2011 of LNCS, pages 37-52, Springer, 2001. |
| Roland Büschkes, Thomas Noll, Mark Borning.
Transaction-based anomaly detection in communication networks,
2001. |
| DOI | Benedikt Bollig, Martin Leucker.
Modelling, specifying, and verifying message passing systems,
pages 240-247, IEEE Computer Soc., 2001. |
| Frank Günter Huch, Ulrich Norbisrath.
Distributed programming in Haskell with ports,
Volume 2011 of LNCS, pages 107-121, Springer, 2001. |
| DOI | Benedikt Bollig, Martin Leucker.
Deciding LTL over Mazurkiewicz traces,
pages 189-197, IEEE Computer Soc., 2001. |
| DOI | L.-A. Fredlund, D. Gurov, Thomas Noll.
The Erlang verification tool,
Volume 2031 of LNCS, pages 582-585, Springer, 2001. |
| DOI | Michael Hanus, Frank Günter Huch, Philipp Niederau.
ObjectCurry,
Volume 2011 of LNCS, pages 89-106, Springer, 2001. |
| DOI | Thomas Noll.
A rewriting logic implementation of Erlang,
pages 206-224, Elsevier Science, 2001. |
| DOI | Frank Günter Huch.
Model checking Erlang programs,
pages 18 S., Elsevier Science, 2001. |
| 2000 |
| .
Proceedings of the 12. International Workshop on Impementation of Functional Languages: [IFL 2000],
Volume 2000,07 of Aachener Informatik-Berichte, pages 402 S. : Ill., graph. Darst., RWTH, 2000. |
| Thomas Arts, Thomas Noll.
Verifying generic Erlang client-server implementations,
Volume 2000,08 of Aachener Informatik-Berichte, pages 26 Bl., RWTH, Fachgruppe Informatik, 2000. |
| F. Huch, Ulrich Norbisrath.
Distributed programming in Haskell with ports,
Volume 2000-7 of Aachener Informatik-Berichte, pages 87-99, RWTH, Fachgruppe Informatik, 2000. |
| Mads Dam, Thomas Noll.
Context-representable processes,
Volume 271 of Dagstuhl-Seminar-Report, pages 19-22, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2000. |
| DOI | Jörg Köller, Markus Mohnen.
Efficient abstract interpretation using component-wise homomorphisms,
pages 226-234, ACM Press, 2000. |
| Martin Leucker.
Parallel model checking for the alternation free mu-calculus,
Volume 2000,7 of Ulmer Informatik-Berichte, pages 135-140, Univ., Fak. für Informatik, 2000. |
| Benedikt Bollig, J. Henriksen, Martin Leucker.
Deciding LTL over Mazurkiewicz traces,
Techn. Universität, 2000. |
| Thomas Arts, Thomas Noll.
Verifying generic Erlang Client-Server implementations,
Volume 2000,07 of Aachener Informatik-Berichte, pages 387-402, RWTH, Fachgruppe Informatik, 2000. |