| 2000 |
| Martin Leucker.
On model checking synchronised hardware circuits,
Volume 1961 of LNCS, pages 182-198, Springer, 2000. |
| Full Text | M. Leucker, Thomas Noll.
Truth - a real-world application in Haskell,
Volume 2000,07 of Aachener Informatik-Berichte, pages 363-380, RWTH Aachen, 2000. |
| Full Text | M. Hanus, F. Huch, P. Niederau.
Objectcurry,
Volume 2000-7 of Aachener Informatik-Berichte, pages 331-337, RWTH, Fachgruppe Informatik, 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. |
| Olaf Chitil.
Type-inference based short cut deforestation (nearly) without inlining,
Volume 1868 of LNCS, pages 17-32, Springer, 2000. |
| Olaf Chitil, F. Huch, A. Simon.
Typeview,
Volume 2000-7 of Aachener Informatik-Berichte, pages 63-69, RWTH, Fachgruppe Informatik, 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. |
| DOI | Thomas Noll, H. Vogler.
The universality of higher-order attributed tree transducers,
pages 45-75, Springer, 2000. |
| DOI | Ramin Sadre, Boudewijn R. Haverkort.
FiFiQueues,
Volume 1786 of LNCS, pages 324-327, Springer, 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. |
| Thomas Georg Richert.
Using skeletons to implement a parallel multigrid method with overlapping adaptive grids,
CSREA Press, 2000. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
On the Logical Characterisation of Performability Properties,
Volume 1853 of LNCS, pages 780-792, Springer, 2000. |
| 1999 |
| Frank Günter Huch.
Verification of Erlang programs using abstract interpretation and model checking - extended version,
Volume 99-02 of Aachener Informatik-Berichte, RWTH, 1999. |
| .
Fundamenta Informaticae,
IOS Press, 1999. |
| K. Indermark.
Semantik rekursiver Funktionsdefinitionen,
Forschung, Vieweg, 1999. |
| K. Indermark.
Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik,
Forschung, Vieweg, 1999. |
| Thomas Noll, Heiko Vogler.
On the universality of higher-order attributed tree transducers,
Volume 99/05 of Technische Berichte / Technische Universität Dresden, Fakultät Informatik, pages 23 S. : graph. Darst., TU, Fak. Informatik, 1999. |
| O. Chitil.
Denotational semantics for teaching lazy functional programming,
Volume TR99-346 of Computer Science Technical Report, pages 27-27, Univ., 1999. |
| F. Huch.
Abstract interpretation of Erlang programs,
pages 63-77, ISTec, 1999. |
| F. Huch.
Erlang-style distributed Haskell,
Volume 1868 of LNCS, pages 103-116, Springer, 1999. |
| J. Henriksen, M. Leucker.
The automata-theoretic approach works for global trace logics,
Uppsala University, 1999. |
| J. Henriksen, M. Leucker.
Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten,
Volume 99,12 of Mathematische Schriften Kassel, pages 46-46, GhK, 1999. |
| Thomas Noll.
Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme,
Volume 99,12 of Mathematische Schriften Kassel, pages 52-52, GhK, 1999. |
| Thomas Noll.
On coherence properties in term rewriting models of concurrency,
Volume 1664 of LNCS, pages 478-493, Springer, 1999. |
| Thomas Noll, H. Vogler.
On the universality of higher-order attribute grammars,
Volume 99/01 of Technische Berichte / Technische Universität Dresden, Fakultät Informatik, Techn. Univ., Fakultät Informatik, 1999. |