| 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. |
| DOI | Thomas Noll, H. Vogler. The universality of higher-order attributed tree transducers, 45-75, Springer, 2000. |
| DOI | Ramin 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. |
| DOI | Thomas 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. |
| DOI | Christel 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. |
| O. Chitil. Denotational semantics for teaching lazy functional programming, Proceedings of the workshop on functional and declarative programming in education, rice university, 27-27, Univ., 1999. |
| F. Huch. Abstract interpretation of Erlang programs, Sicherheit und zuverlässigkeit software-basierter systeme : Beiträge zum GI-workshop in bad honnef, 3.5.-5.5.1999 ; enthält eine zusammenstellung der beiträge eines gemeinsamen workshops der beiden GI-fachgruppen FG 2.1.4 (alternative konzepte für sprachen und rechner) und FG 3.6.2 (german ENCRESS, the german member of the european network of clubs for reliability and safety of software intensive systems) / institut für sicherheitstechnologie (istec) GmbH, abteilung leittechnik / saglietti, F. [u.a.] hrsg, 63-77, ISTec, 1999. |
| F. Huch. Erlang-style distributed Haskell, Implementation of functional languages : 11. International workshop, IFL '99, lochem, the netherlands, 7.9.-10.9.1999 ; selected papers / koopman, P. [u.a.] hrsg, 103-116, Springer, 1999. |
| J. Henriksen, M. Leucker. The automata-theoretic approach works for global trace logics, Proceedings of the 11. Nordic workshop on programming theory : October 1999, uppsala, sweden, Uppsala University, 1999. |
| J. Henriksen, M. Leucker. Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten, 9. Theorietag der GI-fachgruppe 0.1.5 'automaten und formale sprachen' : Schauenburg-elmshagen bei kassel, 27.9.-29.9.1999 / otto, F. [u.a.] hrsg, 46-46, GhK, 1999. |
| Thomas Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme, 9. Theorietag der GI-fachgruppe 0.1.5 'automaten und formale sprachen' : Schauenburg-elmshagen bei kassel, 27.9.-29.9.1999 / otto, F. [u.a.] hrsg, 52-52, GhK, 1999. |
| Thomas Noll. On coherence properties in term rewriting models of concurrency, CONCUR '99 - concurrency theory : 10. International conference, eindhoven, the netherlands, 24.8.-27.8.1999 ; proceedings / J. C. Baeten, 478-493, Springer, 1999. |