| 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. |
| DOI | Benedikt Bollig, Martin Leucker.
Deciding LTL over Mazurkiewicz traces,
pages 189-197, IEEE Computer Soc., 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. |
| Frank Günter Huch, Ulrich Norbisrath.
Distributed programming in Haskell with ports,
Volume 2011 of LNCS, pages 107-121, Springer, 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 | .
Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg),
Volume 2001,11 of Aachener Informatik-Berichte, pages 128 Bl.. : graph. Darst., RWTH, Department of Computer Science, 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. |
| DOI | Frank Günter Huch.
Model checking Erlang programs,
pages 18 S., Elsevier Science, 2001. |
| DOI | Benedikt Bollig, Martin Leucker.
Modelling, specifying, and verifying message passing systems,
pages 240-247, IEEE Computer Soc., 2001. |
| DOI | Michael Hanus, Frank Günter Huch, Philipp Niederau.
ObjectCurry,
Volume 2011 of LNCS, pages 89-106, Springer, 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. |
| Full Text | Benedikt Bollig, Martin Leucker, Thomas Noll.
Regular MSC languages,
Volume 2001,5 of Aachener Informatik-Berichte, RWTH, 2001. |
| DOI | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll.
Semi-automated verification of Erlang code,
pages 319-323, IEEE Computer Society, 2001. |
| DOI | L.-A. Fredlund, D. Gurov, Thomas Noll.
The Erlang verification tool,
Volume 2031 of LNCS, pages 582-585, Springer, 2001. |
| Roland Büschkes, Thomas Noll, Mark Borning.
Transaction-based anomaly detection in communication networks,
2001. |
| Martin Leucker, Thomas Noll.
Truth/SLC,
Volume 2102 of LNCS, pages 255-259, Springer, 2001. |
| Thomas Arts, Thomas Noll.
Verifying generic Erlang client-server implementations,
Volume 2011 of LNCS, pages 37-52, Springer, 2001. |
| 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. |
| Benedikt Bollig, J. Henriksen, Martin Leucker.
Deciding LTL over Mazurkiewicz traces,
Techn. Universität, 2000. |
| Olaf Chitil.
Deforestation of functional programs through type inference,
Volume 2007 of Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, pages 121-130, Inst. für Informatik und Praktische Mathematik, 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. |
| DOI | Thomas Georg Richert.
Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons,
Volume 1900 of LNCS, pages 325-328, Springer, 2000. |
| DOI | Jörg Köller, Markus Mohnen.
Efficient abstract interpretation using component-wise homomorphisms,
pages 226-234, ACM Press, 2000. |
| DOI | Ramin Sadre, Boudewijn R. Haverkort.
FiFiQueues,
Volume 1786 of LNCS, pages 324-327, Springer, 2000. |
| Markus Mohnen.
Interfaces with skeletal implementations in Java,
Volume 2007 of Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Inst. für Informatik und Praktische Mathematik, 2000. |