Publications

2000
. Proceedings of the 12. International Workshop on Impementation of Functional Languages : [IFL 2000] ; Aachen, Germany, September 4th-7th 2000, 402 S. : Ill., graph. Darst., RWTH, 2000.
Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations, 26 Bl., RWTH, Fachgruppe Informatik, 2000.
F. Huch, Ulrich Norbisrath. Distributed programming in Haskell with ports, Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, 4.-7.9.2000 / mohnen, M. [u.a.] hrsg, 87-99, RWTH, Fachgruppe Informatik, 2000.
Mads Dam, Thomas Noll. Context-representable processes, Verification of infinite-state systems : 2.-7.4.2000 ; seminar 00141 / schloß dagstuhl internationales begegnungs- und forschungszentrum für informatik (IBFI) / bouajjani, a. ... Hrsg, 19-22, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2000.
DOIJörg Köller, Markus Mohnen. Efficient abstract interpretation using component-wise homomorphisms, Proceedings of the 2. International ACM SIGPLAN conference on principles and practice of declarative programming : Montréal, canada, 20.-23.9.2000 / sponsored by the association for computing machinery, special interest group on programming languages, SIGPLAN / PPDP 2000, 226-234, ACM Press, 2000.
Martin Leucker. Parallel model checking for the alternation free mu-calculus, FM tools 2000 / the 4. Workshop on tools for system design and verification. [Universität ulm, fakultät für informatik] / schellhorn, G. [u.a.] hrsg, 135-140, Univ., Fak. für Informatik, 2000.
Benedikt Bollig, J. Henriksen, Martin Leucker. Deciding LTL over Mazurkiewicz traces, Theorietag 2000 : 10. Theorietag der GI-fachgruppe 0.1.5 'automaten und formale sprachen', 26.-27.9.2000 ; 'workshop new computing paradigms: Molecular computing and quantum computing' ; 24.-25.9.2000 ; wien österreich / freund, R. Hrsg, Techn. Universität, 2000.
Thomas Arts, Thomas Noll. Verifying generic Erlang Client-Server implementations, Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, 4.-7.9.2000 / mohnen, M. [u.a.] hrsg, 387-402, RWTH, Fachgruppe Informatik, 2000.
Martin Leucker. On model checking synchronised hardware circuits, Advances in computing science - ASIAN 2000 : proceedings / 6th asian computing science conference, penang, malaysia, november 25 - 27, 2000. Jifeng he ... (eds.), 182-198, Springer, 2000.
M. Leucker, Thomas Noll. Truth - a real-world application in Haskell; Ed.: Markus Mohnen ..., Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, september 4th-7th 2000, 363-380, RWTH Aachen, 2000.
M. Hanus, F. Huch, P. Niederau. Objectcurry : an object oriented extension of the declarative multi-paradigm language curry, Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, 4.-7.9.2000 / mohnen, M. [u.a.] hrsg, 331-337, RWTH, Fachgruppe Informatik, 2000.
Olaf Chitil. Deforestation of functional programs through type inference, Programmiersprachen und rechenkonzepte - schwerpunkt softwarekomponenten : Bad honnef, 8.-10.5.2000 / institut für informatik und praktische mathematik der christian-albrechts-universität zu kiel / goerigk, W. Hrsg, 121-130, Inst. für Informatik und Praktische Mathematik, 2000.
Olaf Chitil. Type-inference based short cut deforestation (nearly) without inlining, Implementation of functional languages : 11th international workshop ; selected papers / IFL 99, lochem, the netherlands, september 7 - 10, 1999. Pieter koopman ... (eds.), 17-32, Springer, 2000.
Olaf Chitil, F. Huch, A. Simon. Typeview : a tool for understanding type errors, Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, 4.-7.9.2000 / mohnen, M. [u.a.] hrsg, 63-69, RWTH, Fachgruppe Informatik, 2000.
Markus Mohnen. Interfaces with skeletal implementations in Java, Programmiersprachen und rechenkonzepte - schwerpunkt softwarekomponenten : Bad honnef, 8.-10.5.2000 / institut für informatik und praktische mathematik der christian-albrechts-universität zu kiel / wolfgang goerigk (hrsg.), Inst. für Informatik und Praktische Mathematik, 2000.
DOIThomas Noll, H. Vogler. The universality of higher-order attributed tree transducers, 45-75, Springer, 2000.
DOIRamin Sadre, Boudewijn R. Haverkort. FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations, Computer performance evaluation : modelling techniques and tools ; 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27 - 31, 2000 ; proceedings / Boudewijn R. Haverkort ... (ed.), 324-327, Springer, 2000.
DOIThomas Georg Richert. Dynamic load balancing for parallel adaptive multigrid solvers with algorithmic skeletons, Euro-par 2000 parallel processing : 6th international euro-par conference, munich, germany, august 29 - september 1, 2000 ; proceedings / arndt bode ... (eds.), 325-328, Springer, 2000.
Thomas Georg Richert. Using skeletons to implement a parallel multigrid method with overlapping adaptive grids, Proceedings of the international conference on parallel and distributed processing techniques and applications, PDPTA 2000 : Las vegas, nevada, USA, june 26 - 29, 2000 / world scientific engineering society. Ed.: H. R. Arabnia, CSREA Press, 2000.
DOIChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Automata, languages and programming : 27th international colloquium ; proceedings / ICALP 2000, geneva, switzerland, july 9 - 15, 2000 / ugo montanari ... (eds.), 780-792, Springer [u.a.], 2000.
1999
Frank Günter Huch. Verification of Erlang programs using abstract interpretation and model checking - extended version, RWTH, 1999.
. Fundamenta Informaticae, IOS Press, 1999.
K. Indermark. Semantik rekursiver Funktionsdefinitionen, Angewandte mathematik, insbesondere informatik : Beispiele erfolgreicher wege zwischen mathematik und informatik / horster, P. Hrsg, Vieweg, 1999.
K. Indermark. Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik, Angewandte mathematik, insbesondere informatik : Beispiele erfolgreicher wege zwischen mathematik und informatik / horster, P. Hrsg, Vieweg, 1999.
Thomas Noll, Heiko Vogler. On the universality of higher-order attributed tree transducers, 23 S. : graph. Darst., TU, Fak. Informatik, 1999.