Universität Karlsruhe
Veröffentlichungen im Detail

Haftungsausschluß: Diese Internetzseiten enthalten Postscript- und PDF-Dateien von Artikeln, die urheberrechtlich geschĂŒtzt sein können. Sie können in diesen Artikeln stöbern wie in einer Zeitschrift oder einem Konferenzartikel in einer öffentlichen Bibliothek. Das Laden, Kopieren, Verteilen dieser Dateien könnte gegen das Urheberrechtsschutzgesetz verstoßen.


[BKG:07]Gernot Veit Batz, Moritz Kroll, Rubino Geiß, A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching, A. SchĂŒrr and M. Nagl and A. ZĂŒndorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008 (http://www.springerlink.com/content/105633/).
[DGG:07]Oliver Denninger, Tom Gelhausen, Rubino Geiß, Applications and Rewriting of Omnigraphs -- Exemplified in the Domain of MDD, A. SchĂŒrr and M. Nagl and A. ZĂŒndorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008.
[1]Sebastian Buchwald, Andreas Zwinkau, Befehlsauswahl auf expliziten AbhÀngigkeitsgraphen, UniversitÀt Karlsruhe (TH), IPD Goos, Dec 2008.
[GDG:08]Tom Gelhausen, Bugra Derre, Rubino Geiß, Customizing GrGen.NET for Model Transformation, GraMoT 2008, 2008.
[SABuchwald:2008]Sebastian Buchwald, Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten, UniversitÀt Karlsruhe (TH), 6 2008 (Studienarbeit).
[Tae:07]Rubino Geiß, Gabriele Taentzer and Enrico Biermann and DĂ©nes Bisztray and Bernd Bohnet and Iovka Boneva and Artur Boronat and Leif Geiger and Ákos Horvath and Ole Kniemeyer and Tom Mens and Benjamin Ness et al, Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools, A. SchĂŒrr and M. Nagl and A. ZĂŒndorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008 (http://www.springerlink.com/content/105633/).
[JHG:08]Berthold Hoffmann, Edgar Jakumeit, Rubino Geiß, Graph Rewrite Rules with Structural Recursion, GCM 2008, 2008.
[SG:07]Andreas Schösser, Rubino Geiß, Graph Rewriting for Hardware Dependent Program Optimizations, A. SchĂŒrr and M. Nagl and A. ZĂŒndorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008 (http://www.springerlink.com/content/105633/).
[1]Rubino Geiß, Graphersetzung mit Anwendungen im Übersetzerbau , Nov 2008 (Zur Erlangung des akademischen Grades eines Doktors der Ingenieurwissenschaften von der FakultĂ€t fĂŒr Informatik der UniversitĂ€t Fridericiana zu Karlsruhe (TH) genehmigte Dissertation
PrĂŒfungsdaten: 31.10.2007 Referent/Betreuer: Prof. G. Goos Zweite Gutachterin: Prof. Dr. Dorothea Wagner
EVA STAR (Volltext-Archiv): http://digbib.ubka.uni-karlsruhe.de/volltexte/1000009876 ).
[GK:07]Rubino Geiß, Moritz Kroll, GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool, A. SchĂŒrr and M. Nagl and A. ZĂŒndorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008 (http://www.springerlink.com/content/105633/).
[Jak:08]Edgar Jakumeit, Mit GrGen.NET zu den Sternen -- Erweiterung der Regelsprache eines Graphersetzungswerkzeugs um rekursive Regeln mittels Sterngraphgrammatiken und Paargraphgrammatiken, jul 2008.
[Var:08]Rubino Geiß, DĂĄniel VarrĂł and MĂĄrk Asztalos and DĂ©nes Bisztray and Artur Boronat and Duc-Hanh Dang and Joel Greenyer and Pieter Van Gorp Ole Kniemeyer and Anantha Narayanan and Edgars Rencis et al, Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools, A. SchĂŒrr and M. Nagl and A. ZĂŒndorf (Ed.), Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Springer, 2008.
[GH:2007:coalescing]Daniel Grund, Sebastian Hack, A Fast Cutting-Plane Algorithm for Optimal Coalescing, Compiler Construction 2007, p. 111-125, Springer, March 2007.
[KG:07]Moritz Kroll, Rubino Geiß, Developing Graph Transformations with GrGen.NET, 2007.
[wue:2007:sta]Christian WĂŒrdig, Entwurf und Implementierung eines Firm-basierten Backends fĂŒr die Synchrone Transfer-Architektur, 3 2007.
[Mue:07]Jens MĂŒller, Erweiterung des Graphersetzungswerkzeugs GrGen.NET um dynamische und kontextsensitive Beschleunigungstechniken, UniversitĂ€t Karlsruhe (TH), 6 2007 (Studienarbeit).
[Schoe:07]Andreas Schösser, Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung, 9 2007.
[Kro:07]Moritz Kroll, GrGen.NET: Portierung und Erweiterung des Graphersetzungssystems GrGen, UniversitÀt Karlsruhe (TH), 5 2007 (Studienarbeit).
[SAMallon:2007]Christoph Mallon, If-Konversion auf SSA, UniversitÀt Karlsruhe (TH), 3 2007.
[GK:07]Rubino Geiß, Moritz Kroll, On Improvements of the Varro Benchmark for Graph Transformation Tools, UniversitĂ€t Karlsruhe, IPD Goos, Nr. 2007-7, 12 2007 (ISSN 1432-7864).
[Hack:2007:PhDThesis]Sebastian Hack, Register Allocation for Programs in SSA Form, UniversitÀt Karlsruhe, October 2007.
[MG:07]Jens MĂŒller, Rubino Geiß, Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules, 2007.
[BG:07]Jakob Blomer, Rubino Geiß, The GrGen.NET User Manual, UniversitĂ€t Karlsruhe, IPD Goos, Nr. 2007-5, July 2007 (ISSN 1432-7864).
[SAJak:2007]Edgar Jakumeit, Vorarbeiten fĂŒr die Erweiterung des Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster, UniversitĂ€t Karlsruhe (TH), 9 2007 (Studienarbeit).
[Batz:06]Gernot Veit Batz, An Optimization Technique for Subgraph Matching Strategies, UniversitÀt Karlsruhe, IPD Goos, Nr. 2006-7, April 2006.
[1]Florian Liekweg, 38, Compiler-Directed Automatic Memory Management, Third workshop on SEMANTICS, PROGRAM ANALYSIS, AND COMPUTING ENVIRONMENTS FOR MEMORY MANAGEMENT, ACM/SIGPLAN, Jan 2006.
[spallek:2006:ifg]Johannes Spallek, Effiziente Speicherung und ReprÀsentation von Konfliktgraphen, 9 2006.
[SAWue:2006]Christian WĂŒrdig, Entwurf und Implementierung eines SSA-basierten x86-Backends, UniversitĂ€t Karlsruhe (TH), 9 2006.
[GBGHS06]Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam M. Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool, A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G. Rozenberg (Ed.), Graph Transformations - ICGT 2006, p. 383 -- 397, Springer, 2006 (Natal, Brasil).
[braun:2006:spill]Matthias Braun, Heuristisches Auslagern in einem SSA-basierten Registerzuteiler, 10 2006.
[HG:2006:RA]Sebastian Hack, Gerhard Goos, Optimal register allocation for SSA-form programs in polynomial time, Information Processing Letters 98(4), p. 150--155, May 2006.
[HGG:2006:RA_SSA]Sebastian Hack, Daniel Grund, Gerhard Goos, Register allocation for programs in SSA-form, Andreas Zeller, Alan Mycroft (Ed.), Compiler Construction 2006, Springer, March 2006.
[szal:2006:remat]Adam M. Szalkowski, Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler, 9 2006.
[SABraun:2006]Matthias Braun, Vor- und Nachteile der SSA-Darstellung f. Programmoptimierungen und Behandlung von indirekten Speicherzugriffen, UniversitÀt Karlsruhe (TH), 1 2006.
[1]Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen MĂŒlling, A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL, Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 8th European Conferences on Theory and Practice of Software (ETAPS 2005), Elsevier, April 2005.
[kopp05convagent]Stefan Kopp, Lars Gesellensetter, Nicole KrÀmer, Ipke Wachsmuth, A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application , The 5th International Working Conference on Intelligent Virtual Agents (IVA'05), Springer, September 2005.
[1]Sabine Glesner, An Introduction to (Co)Algebras and (Co)Induction and their Application to the Semantics of Programming Languages, Nr. 2005-22, August 2005.
[1]Florian Liekweg, Boris Boesler, Boris Boesler, Florian Liekweg, Beschreibung Externer Komponenten zur Analyse und Optimierung von Softwaresystemen, IPD, 7 2005.
[1]Boris Boesler, Codeerzeugung mit Graphersetzung und Lösungsgraphen, Universität Karlsruhe, Aachen, Februar 2005.
[Lei:05]Philipp Leiß, Entwicklung eines Anzeigesystems fĂŒr Programmgraphen, IPD Goos, Juli 2005.
[Humbert04SSAspec]Andreas Humbert, Entwurf und Implementierung einer Schnittstelle fĂŒr SSA-Sprachen, Juni 2005.
[BBGL:05]Götz Lindenmaier, Michael Beck, Boris Boesler, Rubino Geiß, Firm, an Intermediate Language for Compiler Research, Nr. 2005-8, 3 2005.
[BGGsept2005]Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner, Formal Verification of Dead Code Elimination in Isabelle/HOL, Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods, IEEE, IEEE Computer Society Press, september 2005.
[BGL2005]Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Formal Verification of Java Code Generation from UML Models, Fujaba Days, september 2005.
[Batz05]Gernot Veit Batz, Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus, IPD Goos, 2005.
[1]Gernot Veit Batz, Graphersetzung fĂŒr eine Zwischendarstellung im Übersetzerbau, UniversitĂ€t Karlsruhe, IPD Goos, 2005.
[1]Sebastian Hack, Interference Graphs of Programs in SSA-form, June 2005.
[Grund05]Daniel Grund, Kopienminimierung in einem SSA-basierten Registerzuteiler, UniversitÀt Karlsruhe, August 2005.
[1]Sabine Glesner, Jan Olaf Blech, Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler, Proceedings der Tagung Software Engineering 2005, Lecture Notes in Informatics (LNI), March 2005.
[Sza:05]Adam M. Szalkowski, Negative Anwendungsbedingungen fĂŒr das suchprogrammbasierte Backend von GrGen, IPD Goos, Oktober 2005.
[Lind:05]Götz Lindenmaier, Structure Splitting and Inheritance, Nr. 2005-7, 3 2005.
[HGG:2005:RegisterSSA]Sebastian Hack, Daniel Grund, Gerhard Goos, Towards Register Allocation for Programs in SSA-form, September 2005.
[1]Jan Olaf Blech, Eine formale Semantik fĂŒr SSA-Zwischensprachen in Isabelle/HOL , MĂ€rz 2004.
[1]Jan Olaf Blech, Sabine Glesner, A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL, Proceedings der 3. Arbeitstagung Programmiersprachen (ATPS) auf der 34. Jahrestagung der Gesellschaft fĂŒr Informatik, Lecture Notes in Informatics, September 2004.
[1]Sabine Glesner, Simone Forster, Matthias JĂ€ger, A Program Result Checker for the Lexical Analysis of the GNU C Compiler, Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004), Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), April 2004.
[1]Sabine Glesner, A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics, Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 7th European Conferences on Theory and Practice of Software (ETAPS 2004), Elsevier, Electronic Notes in Theoretical Computer Science (ENTCS), April 2004.
[1]Sabine Glesner, An ASM Semantics for SSA Intermediate Representations, Proceedings of the 11th International Workshop on Abstract State Machines, Springer Verlag, Lecture Notes in Computer Science, Mai 2004.
[heuzeroth-diss:2004]Dirk Heuzeroth, Aspektorientierte Konfiguration und Adaption von Komponenteninteraktionen, FakultĂ€t fĂŒr Informatik, UniversitĂ€t Karlsruhe, 2004.
[Jak:04]Hannes Jakschitsch, Befehlsauswahl auf SSA-Graphen, IPD Goos, November 2004.
[Kratz04]Hans Kratz, Entwicklung eines Debuggers mit RĂŒckwĂ€rtsschrittfunktion, IPD Goos, 2004.
[1]Sabine Glesner, Wolf Zimmermann, Natural Semantics as a Static Program Analysis Framework, ACM Transactions on Programming Languages and Systems (TOPLAS) , May 2004.
[Grund04]Daniel Grund, Negative Anwendungsbedingungen fĂŒr den Graphersetzer GrGen, IPD Goos, 2004.
[Hof:05]Enno Hofmann, Regelerzeugung zur maschinenabhÀngigen Codeoptimierung, IPD Goos, November 2004.
[Sperling04]Karsten Sperling, Verifikation unimodularer Schleifentransformation, Dezember 2004.
[1]Sabine Glesner, Gerhard Goos, Wolf Zimmermann, Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers), , 2004.
[PuSpSoMeT04]Elke PulvermĂŒller, Andreas Speck, XOpT - XML-Based Composition Concept, Hamido Fujita, Volker Gruhn (Ed.), Proceedings of the 3rd International Conference on New Software Methodologies, Tools, and Techniques (SoMeT_04), p. 249 - 262, IOS Press, September 2004.
[boesler-tb-2003]Boris Boesler, A Modification to BURS in Codegeneration, UniversitĂ€t Karlsruhe (TH), FakultĂ€t fĂŒr Informatik, Nr. 2003-12, 6 2003.
[1]Sabine Glesner, ASMs versus Natural Semantics: A Comparison with New Insights, Egon Boerger, Angelo Gargantini, Elvinia Riccobene (Ed.), Abstract State Machines - Advances in Theory and Applications, p. 293-308, Springer Verlag, Lecture Notes in Computer Science, Vol. 2589, March 2003.
[HHHL2003]Dirk Heuzeroth, Thomas Holl, Gustav Högström, Welf Löwe, Automatic Design Pattern Detection, 11th Internatinal Workshop on Program Comprehension, co-located with 25th International Conference on Software Engineering, Portland, IEEE, May 2003.
[1]Sabine Glesner, Jan Olaf Blech, Classifying and Formally Verifying Integer Constant Folding, Jens Knoop and Wolf Zimmermann (Ed.), Proceedings of the Workshop COCV 2003: Compiler Optimization meets Compiler Verification, ETAPS Conferences, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 82, No. 2, April 2003.
[1]Hannah Schröter, Codegenerierung fĂŒr digitale Signalprozessoren, UniversitĂ€t Karlsruhe, Februar 2003.
[StSpPuClPl03]Ragnhild Van Der Straeten, Andreas Speck, Elke PulvermĂŒller, Matthias Clauß, Correctness of Model-Based Software Composition - Proceedings, Universitaet Karlsruhe, Fakultaet fuer Informatik, Nr. 2003-13, http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=/ira/2002/4, July 2003.
[1]Uwe Wagner, Entscheidungsfindung mit unscharfen Mengen, Universitaet Karlsruhe, jun 2003 (isbn 3-8322-1106-3).
[Kleine:03]Olaf Kleine, Erweiterung eines Metaprogrammiersystems um einen iterativ aktualisierbaren Zwischensprachaufbau, UniversitÀt Karlsruhe, mai 2003.
[noga-voelkel-wal2003]Markus L. Noga, Max Völkel, From Web Pages to Web Services with wal, NCWS 2003, Mathematical Modelling in Physics Engineering and Cognitive Science, Nov 2003.
[HLM2003]Dirk Heuzeroth, Welf Löwe, Stefan Mandel, Generating Design Pattern Detectors from Pattern Specifications, 18th IEEE International Conference on Automated Software Engineering (ASE) 2003, IEEE, October 2003.
[Hack03]Sebastian Hack, Graphersetzung fĂŒr Optimierungen in der Codeerzeugung, IPD Goos, 12 2003.
[Gaul:03]Thilo Gaul, Konstruktion verifizierender Übersetzer mit ProgrammprĂŒfung, 2003 (Not yet published).
[noga2003lazy]Steffen Schott, Markus L. Noga, Lazy XSL Transformations, DocEng 2003, ACM Press, Nov 2003.
[noga2003types]Markus L. Noga, Welf Löwe, Mapping Data Types of Programming Language and Web Services, NCWS 2003, Mathematical Modelling in Physics Engineering and Cognitive Science, Nov 2003.
[noga:03]Markus L. Noga, Optimierung der Verarbeitung von Dokumenten, UniversitÀt Karlsruhe, IPD Goos, Dezember 2003.
[1]Sabine Glesner, Program Checking with Certificates: Separating Correctness-Critical Code, Proceedings of the 12th International FME Symposium (Formal Methods Europe), p. 758-777, Springer Verlag, Lecture Notes in Computer Science, Vol. 2805, September 2003.
[DAKalisch:2003]Martin Kalisch, Prozessorsimulation mit Zustandsautomaten, UniversitÀt Karlsruhe (TH), 8 2003.
[SAHack:2003]Sebastian Hack, RAP - Ein Registerallokator fĂŒr CGGG, UniversitĂ€t Karlsruhe (TH), 1 2003.
[1]Jan Olaf Blech, Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern, UniversitĂ€t Karlsruhe, Mai 2003.
[HL2003]Dirk Heuzeroth, Welf Löwe, Understanding Architecture Through Structure and Behavior Visualization, Chapter 9 in book: Software-Visualization - From Theory to Practice, Kluwer, 2003.
[1]Sabine Glesner, Using Program Checking to Ensure the Correctness of Compiler Implementations , Journal of Universal Computer Science (J.UCS) 9(3), p. 191-222, March 2003.
[SpPuHe03]Andreas Speck, Elke PulvermĂŒller, Dirk Heuzeroth, Validation of Business Process Models, Proceedings of the Workshop on Correctness of Model-Based Software Composition (CMC), In Association with the 17th European Conference on Object-Oriented Programming (ECOOP) 2003, Report No. 2003-13, Universitaet Karlsruhe, Fakultaet fuer Informatik, p. 75 - 83, Universitaet Karlsruhe, Fakultaet fuer Informatik, July 2003.
[1]Rubino Geiß, Sebastian Hack, Übersetzerbau - Ein kleiner Überblick, IPD Goos, UniversitĂ€t Karlsruhe, Nr. 2003-18, Okt. 2003.
[ln2002-ai]Welf Löwe, Markus L. Noga, A Lightweight XML-based Middleware Architecture, Proceedings of IASTED AI 2002, ACTA Press, Feb 2002.
[Gaul-ID295:2002]Thilo Gaul, AJACS: Applying Java to Automotive Control Systems, Automotive Engineering Partners 4, Aug 2002.
[SchoPuSa02]Stefan Schonger, Elke PulvermĂŒller, Stefan Sarstedt, Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees, Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software Development (In: Technical Report No. IAI-TR-2002-1), University of Bonn, p. 59 -- 64, Rheinische Friedrich-Wilhelms-UniversitĂ€t Bonn, Institut fĂŒr Informatik III, February 2002.
[1]Andreas Ludwig, Automatische Transformation großer Softwaresysteme, dec 2002.
[HHL2002]Dirk Heuzeroth, Thomas Holl, Welf Löwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns, Proceedings of the Sixth International Conferenceon Integrated Design and Process Technology (IDPT), Jun 2002.
[ln2002]Welf Löwe, Markus L. Noga, Component Communication and Data Adaptation, IDPT 2002, Jun 2002.
[SpPuJeFr02]Andreas Speck, Elke PulvermĂŒller, Michael Jerger, Bogdan Franczyk, Component Composition Validation, International Journal of Applied Mathematics and Computer Science 12(4), p. 581 -- 589, December 2002.
[Pu02]Elke PulvermĂŒller, Composition and Correctness, In: SC 2002: Workshop on Software Composition, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science Publishers, April 2002.
[nk2002]Markus L. Noga, KrĂŒper, Content Management System Deployment - Merging Separate Concerns, LNCS 2487, GPCE 2002, Springer, Oct 2002.
[nl2002-markup]Markus L. Noga, Welf Löwe, Data Types and XML Schema, Journal of Markup Languages - Theory and Practice , Mar 2002.
[1]Martin Spott, Efficient Reasoning With Fuzzy Words, Proceedings of FSKD 2002, 11 2002.
[LNG:02]Welf Löwe, Markus L. Noga, Thilo Gaul, Foundations of Fast Communication via XML, Annals of Software Engineering 13(1-4), p. 357-379, Jan 2002.
[nsl2002]Markus L. Noga, Steffen Schott, Welf Löwe, Lazy XML Processing, ACM DocEng'02, ACM Press, Nov 2002.
[Lind:02]Götz Lindenmaier, libFIRM -- A Library for Compiler Optimization Research Implementing FIRM, Nr. 2002-5, Sep 2002.
[ln2002-etaps]Welf Löwe, Markus L. Noga, Metaprogramming Applied to Web Component Deployment, ENTCS 65(4), ETAPS SC 2002, Elsevier, Apr 2002.
[ClPuReSpSt02]Andreas Speck, Elke PulvermĂŒller, Matthias Clauß, Ragnhild Van Der Straeten, Ralf Reussner, Model-Based Software Reuse, UniversitĂ€t Karlsruhe, FakultĂ€t fĂŒr Informatik, Nr. 2002-4, http://www.info.uni-karlsruhe.de/~pulvermu/workshops/ECOOP2002/, September 2002.
[1]Christian Schmidt, Realisierung eines invertierenden C-Zerteilers fĂŒr COMPOST, UniversitĂ€t Karlsruhe, Sept. 2002.
[UW:2002]Uwe Wagner, RisikoabschÀtzung mit Fuzzy Methoden, in proc. 2. Forum Naturkatastrophenvorsorge, 2002.
[ln2002-cd]Welf Löwe, Markus L. Noga, Scenario-Based Connector Optimization - An XML Approach, LNCS 2370, IFIP/ACM CD 2002, p. 170-184, Springer, Jun 2002.
[CoKnMePuSp02]Pascal Costanza, GĂŒnter Kniesel, Katharina Mehner, Elke PulvermĂŒller, Andreas Speck, Second German Workshop on Aspect-Oriented Software Development, Rheinische Friedrich-Wilhelms-UniversitĂ€t Bonn, Nr. IAI-TR-2002-1, http://www.informatik.uni-bonn.de/III/forschung/publikationen/tr/#2002, February 2002.
[Goos:00:Software]Gerhard Goos, Software as Science?, Ulf Hashagen, Reinhard Keil-Slawik, Arthur L. Norberg (Ed.), ICHC-2000: Mapping the History of Computing --- Software Issues, p. 55-59, Springer, 2002.
[1]Uwe Wagner, Statistical Based Fuzzy Sets, in proc. Nafips, 2002.
[1]Sabine Glesner, Rubino Geiß, Boris Boesler, Verified Code Generation for Embedded Systems, In Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), Electronic Notes in Theoretical Computer Science (ENTCS), 5th European Conferences on Theory and Practice of Software (ETAPS 2002),, April 13 2002.
[SpRoPuCl02]Andreas Speck, Silva Robak, Elke PulvermĂŒller, Matthias Clauß, Version-based Approach for Modelling Software Systems, Proceedings of the Workshop on Model-based Software Reuse, In Association with the 16th European Conference on Object-Oriented Programming (ECOOP) 2002, p. 15 - 22, UniversitĂ€t Karlsruhe, FakultĂ€t fĂŒr Informatik, June 2002.
[SpPuCl02]Andreas Speck, Elke PulvermĂŒller, Matthias Clauß, Versioning in Software Modeling, Proceedings of the 6th International Conference on Integrated Design and Process Technology (IDPT 2002), Society for Design and Process Science (SDPS), June 2002.
[da_holl:2002]Thomas Holl, WerkzeuggestĂŒtzte Erkennung von statischen und dynamischen Mustern in objektorientierter Software, Feb 2002.
[PuSpCo01]Elke PulvermĂŒller, Andreas Speck, James O. Coplien, A Version Model for Aspect Dependency Management, Proceedings of the 3rd International Symposium on Generative and Component-Based Software Engineering (GCSE) 2001, Springer, Sep 2001.
[GKC2001]Thilo Gaul, Antonio Kung, Jerome Charousset, AJACS: Applying Java to Automotive Control Systems, Caspar Grote and Renate Ester (Ed.), Conference Proceedings of Embedded Intelligence Conference, NĂŒrnberg, Conference Proceedings Embedded Intelligence 2001, p. 425--434, Design&Elektronik, Feb 2001.
[HLLA2001]Dirk Heuzeroth, Welf Löwe, Andreas Ludwig, Uwe Assmann, Aspect-Oriented Configuration and Adaptation of Component Communication, Jan Bosch (Ed.), Generative and Component-Based Software-Engineering, Third International Conference, GCSE 2001, Springer, Sep 2001.
[tr-ri-01-223]Katharina Mehner, Mira Mezini, Elke PulvermĂŒller, Andreas Speck, Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, Nr. tr-ri-01-223, May 2001.
[JHA2001]Trent Jaeger, Dirk Heuzeroth, Uwe Assmann, Automating the Management of Reusable System Components, Proceedings of the 7th HotOS-Workshop, Jan 2001.
[HHL2001]Dirk Heuzeroth, Thomas Holl, Welf Löwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns, Dec 2001.
[RaChiSpPu01]Awais Rashid, Rouzanna Chitchyan, Andreas Speck, Elke PulvermĂŒller, EProMS: An E-Commerce based Process Model for Cooperative SoftwareDevelopment in Small Organisations, Proceedings of the 2nd International Conference on Electronic Commerce and Web Technologies (EC-WEB 2001), Springer, Sep 2001.
[PuSpHoDeM2001]Elke PulvermĂŒller, Andreas Speck, Maja D'Hondt, Wolfgang DeMeuter, James O. Coplien, Feature Interaction in Composed Systems, ECOOP 2001 - Proceedings, TR No. 2001-14, Nr. 2001-14, Sep 2001.
[SpPuGI01]Andreas Speck, Elke PulvermĂŒller, Feature Modeling, Wolfgang Goerigk (Ed.), Proceedings of the Joint Workshop of the GI-Fachgruppe 2.1.4 (Programmiersprachen und Rechenkonzepte) and 2.1.9 (Objekt-Orientierte Softwareentwicklung), Christian-Albrechts-UniversitĂ€t zu Kiel, May 2001.
[1]Johannes Dieterich, Generierung von Graphersetzern als XML-Transformatoren, Jun 2001 (Betreuer: T. Gaul).
[LiGe-01]Götz Lindenmaier, Rubino Geiß, Global Configuration of Cache Optimizations, Proceedings of JOSES: Java Optimization Strategies for Embedded Systems, p. 0-10, DISI, University of Genova, Apr 2001.
[Goos:01:Compiling]Gerhard Goos, Issues in Compiling, Journal of Universal Computer Science 7(5), p. 410-419, Jan 2001.
[1]Michael Beck, Harald Böhme and Mirko Dziadzka and Ulrich Kunitz and Dirk Verworner and Claus Schröter, Linux-Kernelprogrammierung, Addison-Wesley, 2001.
[noga2001-spektrum]Markus L. Noga, Manchmal ist der wichtigste Baustein kein Baustein, GI Informatik Spektrum , Jun 2001.
[Trapp:99]Martin Trapp, Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen., University of Karlsruhe, Faculty of Informatik, Oct. 2001.
[PuSpCoHoDeM01]Elke PulvermĂŒller, Andreas Speck, James O. Coplien, Maja D'Hondt, Wolfgang DeMeuter, Position Paper: Feature Interaction in Composed Systems, E. PulvermĂŒller, A. Speck, J.O. Coplien, M. D'Hondt, W. DeMeuter (Ed.), Proceedings of the Workshop on Feature Interaction in Composed Systems; In Association with the 15th European Conference on Object-Oriented Programming (ECOOP) 2001, Universitaet Karlsruhe, Jun 2001.
[sa-hhschaefer:2001]Hans Hosea SchĂ€fer, Realisierung eines invertierenden C-PrĂ€prozessors fĂŒr COMPOST, UniversitĂ€t Karlsruhe, Nov 2001.
[1]Uwe Wagner, Risk Assessment in Natural Disasters with Fuzzy Probabilities, in proc. Eusflat, p. 101-104, 2001.
[1]Uwe Wagner, Risk assessment with Possibility Measures, in proc. 2nd PhD Meeting of Cenat, 2001.
[noga2001-gi]Markus L. Noga, Dirk Arnold, Software aus Komponenten – Technische und juristische Fragen, Sep 2001.
[gln2001]Thilo Gaul, Welf Löwe, Markus L. Noga, Specification in a large Industry Consortium - The MOST Approach, Conference Proceedings of IECON'01, 27th Annual Conference of the IEEE Industrial Electronics Society, Nov 2001.
[GoPuSp01]Wolfgang Goerigk, Elke PulvermĂŒller, Andreas Speck, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, TR No. 2018, Oct 2001.
[zwingend]Sabine Glesner, Wolf Zimmermann, Structural Simulation Proofs based on ASMs even for Non-Terminating Programs, Proceedings of the ASM-Workshop, Eight International Conference on Computer Aided Systems Theory EUROCAST 2001, Feb 2001.
[LLS2001]Welf Löwe, Andreas Ludwig, Andreas Schwind, Understanding Software - Static and Dynamic Aspects, 17th International Conference on Advanced Science and Technology, 2001.
[SpPu01]Andreas Speck, Elke PulvermĂŒller, Versioning in Software Engineering, Proceedings of 27th Annual Conference of the IEEE Industrial Electronics Society (IECONÂŽ01), Denver, CO, IEEE Press, Dec 2001.
[LL2001]Welf Löwe, Alexander Liebrich, VizzScheduler - A Framework for the Visualization of Scheduling Algorithms, Proc. of the Euro-Par 2001, Springer, Aug 2001.
[Goos:2001:Info2]Gerhard Goos, Vorlesungen ĂŒber Informatik Band 2: Objektorientiertes Programmieren und Algorithmen, 3 ed., Springer, Jan 2001.
[RaSaPu00]Awais Rashid, Peter Sawyer, Elke PulvermĂŒller, A Flexible Approach for Instance Adaptation during Class Versioning, Proceedings of the Symposium on Objects and Databases (OODB 2000), Co-hosted with ECOOP 2000, Jun 2000.
[GK2000]Thilo Gaul, Antonio Kung, AJACS: Applying Java to Automotive Control Systems, Conference Proceedings of Embedded Systems Show (ESS), London, May 2000.
[1]Gerhard Goos, Wolf Zimmermann, ASMs for uniform description of multistep transformations, ETH ZĂŒrich, Feb 2000.
[KaPuRaSp00]Herbert Klaeren, Elke PulvermĂŒller, Awais Rashid, Andreas Speck, Aspect Composition applying the Design by Contract Principle, Proceedings of the GCSE 2000, Second International Symposium on Generative and Component-Based Software Engineering, 2000, Oct 2000.
[SpPu00]Andreas Speck, Elke PulvermĂŒller, Component Frameworks for Software Generators, Proceedings of the 17th Workshop of the GI-FachgSpruppe 2.1.4, Programmiersprachen und Rechnerkonzepte, May 2000.
[1]Joachim Weisbrod, Martin Spott, Conditional constraints, implication based rules, and possibilistic rule bases: Are they any good?, Oct 2000.
[Frick:00:hierarchies]Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann, Construction of Robust Class Hierarchies, Software --- Practice and Experience 30, p. 481-543, Jan 2000.
[noga2000-oreilly]Markus L. Noga, Knudsen, Das Inoffizielle Handbuch fĂŒr LEGO MINDSTORMS Roboter, O’Reilly Verlag Köln, Jan 2000.
[zwingend]Ralf Schoknecht, Martin Spott, Martin Riedmiller, Design of selflearning controllers using Fynesse, T. Furuhashi, S. Tano, H.A. Jacobsen (Ed.), Physica-Verlag, Nov 2000.
[noga00]Markus L. Noga, Erzeugung validierender Zerteiler aus XML Schemata, UniverstitÀt Karlsruhe, markus@noga.de, Oct 2000.
[RaPu00]Awais Rashid, Elke PulvermĂŒller, From Object-Oriented to Aspect-Oriented Databases, Proceedings of the 11th International Conference on Database and Expert Systems Applications, DEXA 2000, p. 125 - 134, Sep 2000.
[1]Martin Riedmiller, Martin Spott, Joachim Weisbrod, Fynesse: A hybrid architecture for selflearning control, I. Cloete, J. Zurada (Ed.), MIT Press, Feb 2000.
[zwingend]Ralf Schoknecht, Martin Spott, Martin Riedmiller, Fynesse: A new architecture for sequential decision problems, Computational Intelligence im industriellen Einsatz, VDI-Berichte, p. 109-118, May 2000.
[Pu00]Elke PulvermĂŒller, Generative and Component-Based Software Engineering, Proceedings of the 10th Workshop for PhD Students in Object-Oriented Systems (PhDOOS'2000), in conjunction with ECOOP 2000, Jun 2000.
[PuSpRa00]Elke PulvermĂŒller, Andreas Speck, Awais Rashid, Implementing collaboration-based Designs using Aspect-Oriented Programming, Proceedings of TOOLS-USA, 2000 (Technology of Object-Oriented Languages and Systems), p. 95 - 104, IEEE Computer Society Press, Jul 2000.
[noga00]Markus L. Noga, legOS - Erweiterungen von einer Ablaufumgebung zu einem Betriebssystem, UniversitÀt Karlsruhe, 2000.
[LMT:00]Götz Lindenmaier, Kathryn S. McKinley, Olivier Temam, Load Scheduling with Profile Information, Arndt Bode and Thomas Ludwig and Roland WismĂŒller (Ed.), Euro-Par 2000 -- Parallel Processing, p. 223-233, Springer Verlag, Aug 2000.
[LH2000]Andreas Ludwig, Dirk Heuzeroth, Metaprogramming in the Large, 2nd International Conference on Generative and Component-based Software Engineering (GCSE). Also available as LNCS 2177 (c) by Springer, Springer, Jan 2000.
[GGZ2000]Thilo Gaul, Wolf Zimmermann, Wolfgang Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification, Conference Proceedings of SCI'2000, p. 406--411, Jul 2000.
[1]Thilo Gaul, Practical Construction of Correct Compiler Implementations by Runtime Result Verification , Jun 2000.
[SpPuMe00]Andreas Speck, Elke PulvermĂŒller, Mira Mezini, Reusability of Concerns, Proceedings of the Workshop on Aspects and Dimensions of Concerns, 2000, in conjunction with ECOOP 2000, Jun 2000.
[Ge00]Rubino Geiß, SchleifenĂŒbergreifende Cacheoptimierung, Oct 2000.
[CSEG-4-00]Elke PulvermĂŒller, Awais Rashid, Andreas Speck, Supporting Composition using Assertions, Nr. CSEG/4/00, Apr 2000.
[1]Rubino Geiß, D. Janzing, P. Wocjan, R. Zeier, Th. Beth, Thermodynamic Cost of Reliability and Low Temperatures: Tightening Landauer's Principle and the Second Law, International Journal of Theoretical Physics 39(12), p. 2717 - 2753, Dec. 2000.
[lnz2000.sbpe]Andreas Ludwig, Rainer Neumann, Wolf Zimmermann, Towards Reliable Class Hierarchies, Software Best Practise and Experience, Jan 2000 ((to appear)).
[Goos:00:ASM]Gerhard Goos, Wolf Zimmermann, Verifying Compilers and ASMs, Yuri Gurevich and Philipp W. Kutter andMartin Odersky and Lothar Thiele (Ed.), Abstract State Machines, Theory and Applications, p. 177-202, Springer, Apr 2000.
[1]Jochen Fellhauer, Verteilte Gruppenarbeitssysteme im heterogenen Rechnerumfeld, Aug 2000 (Betreuer: Thilo Gaul, Rainer Neuman, Katharina Wurst).
[Goos:2000:Info1]Gerhard Goos, Vorlesungen ĂŒber Informatik Band 1: Grundlagen und funktionales Programmieren, 3 ed., Springer, Jan 2000.
[HR99a]Dirk Heuzeroth, Ralf Reussner, A Meta-protocol and Type System for the Dynamic Coupling of Binary Components, OORASE'99 - OOSPLA'99Workshop on Reflection and Software Engineering (Proceedings) by the University of Milano - Bicocca, Italy, Nov 1999.
[1]Martin Spott, A theory of possibility distributions, 102(2), p. 135-155, Mar 1999.
[1]Thilo Gaul, GĂŒnter Schumacher, Advanced Generator Techniques for Embedded Compilers, Roger, J.-Y. and Stanford-Smith, B. and Kidd, P.T. (Ed.), Proceedings of the EMMSEC 99 Conference, p. 744--750, IOS Press, Jun 1999.
[dagl:99]Götz Lindenmaier, Analyse von Profilinformationen fĂŒr cachesensitives Befehlsanordnen, Feb 1999.
[1]Martin Spott, Ralf Schoknecht, Martin Riedmiller, Approaches for the integration of a priori knowledge into an autonomously learning control architecture, Proc. of EUFIT 99, Sep 1999.
[assmann99-aop]Uwe Assmann, Aspect Weaving by Graph Rewriting, Generative Component-based Software Engineering(GCSE), p. 24-36, Oct 1999.
[PuKlSp99]Elke PulvermĂŒller, Herbert Klaeren, Andreas Speck, Aspects in Distributed Environments, Proceedings of the GCSE 1999, Sep 1999.
[Pu99]Elke PulvermĂŒller, Aspekte in verteilten Umgebungen, Informatiktage 1999 , Fachwissenschaftlicher Informatik-Kongreß, Konradin Verlag Robert Kohlhammer GmbH, Leinfelden-Echterdingen, Jan 1999.
[1]Sabine Glesner, Karl Stroetmann, Combining Inclusion Polymorphism and Parametric Polymorphism, 1999.
[1]Compiler-directed Reordering of Data by Cyclic Graph Coloring, p. 1260-1264, Springar, Sep 1999.
[1]Andreas Heberle, Thilo Gaul, Wolf Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking, Proceedings of PSI '99, p. 481 ff., Springer, Jul 1999.
[GHGZ99]Thilo Gaul, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends, Amir Pnueli and Paolo Traverso (Ed.), Proceedings of RTRV '99: Workshop on Runtime Result Verification, 1999.
[Zimmer-et-al:98]Wolfgang Goerigk, Wolf Zimmermann, Thilo Gaul, Andreas Heberle, Ulrich Hoffmann, Correct Compilation of a While-Language with Parameterless Recursive Procedures, Nr. [Verifix/UKA/15], Jan 1999 (Verifix Working Paper).
[noga1999]Markus L. Noga, Designing the legOS Multitasking Operating System, Dr. Dobb’s Journal , Nov 1999.
[TrBoLi-99]Martin Trapp, Götz Lindenmaier, Boris Boesler, Documentation of the Intermediate Representation FIRM, UniversitĂ€t Karlsruhe, FakultĂ€t fĂŒr Informatik, Nr. 1999-14, Dec 1999.
[HR99]Dirk Heuzeroth, Ralf Reussner, Dynamic Coupling of Binary Components and its Technical Support, GCSE'99 Young Researchers Workshop, Sep 1999.
[1]Thilo Gaul, Martin Riedmiller, Ralf Schoknecht, Martin Spott, Fuzzy-Neuro-Controlled Verified Instruction Scheduler, Proc. of NAFIPS99, Jun 1999.
[SpRaPuChi99]Andreas Speck, Awais Rashid, Elke PulvermĂŒller, Rouzanna Chitchyan, Individual Software Development in Generative Programming, Collection of Abstracts of the 1st GCSEÂŽ99 Young Researchers Workshop, Sep 1999.
[connect99]Uwe Assmann, Andreas Ludwig, Introducing Connections into Classes with Static Metaprogramming, Coordination 1999, Springer, Apr 1999.
[GAF99]Daniela Genius, Uwe Assmann, Peter Fritzson, Henk Sips, Rob Kurver, Reinhard Wilhelm, Henk Schepers, Tom Rindborg, Java and CoSy Technology for Embedded Systems: the JOSES Project, Roger, J.-Y. et. al. (Ed.), Proc. of the European Multimedia, Microprocessor Systems, Technologies for Business Processing and Electronic Commerce Conference (EMMSEC'99), IOS Press, Jun 1999.
[1]Sabine Glesner, Natural Semantics for Imperative and Object-Oriented Programming Languages, Proceedings der 29. Jahrestagung der Gesellschaft fĂŒr Informatik, Arbeitstagung Programmiersprachen '99, Springer Verlag, 1999.
[1]Sabine Glesner, NatĂŒrliche Semantik fĂŒr imperative und objektorientierte Programmiersprachen, UniversitĂ€t Karlsruhe, 1999.
[1]Daniela Genius, Jörn Eisenbiegler, Reduktion von Cachekonflikten durch eine Parametrisierte Speicherabbildung, Proceedings of ACPC'99, ACPC, p. 460-469, Springer, Feb 1999.
[1]Ralf Schoknecht, Martin Spott, Florian Liekweg, Martin Riedmiller, Search Space Reduction for Strategy Learning in Sequential Decision Processes, Proc. of Iconip 99, Nov 1999.
[noga1999-mindfest]Markus L. Noga, The legOS Operating System, Oct 1999.
[1]Daniela Genius, Uebersetzergesteuerte Datenumordnung durch zyklische Graphfaerbung, Proceedings EuroPar, p. 1260-1264, SPRINGER, Sep 1999.
[Goos:99:verifix]Gerhard Goos, Wolf Zimmermann, Verification of Compilers, Bernhard Steffen and Ernst RĂŒdiger Olderog (Ed.), Correct System Design, p. 201-230, Springer, Nov 1999.
[GTZ:98]Daniela Genius, Martin Trapp, Wolf Zimmermann, An Approach to improve Locality using Sandwich Types, Proceedings of the 2nd Types in Compilation Workshop, p. 194-214, mar 1998.
[Verifix98:MIS1-2]Thilo Gaul, Andreas Heberle, Dirk Heuzeroth, Wolf Zimmermann, An ASM Specification of the Operational Semantics of MIS, Nr. [Verifix/UKA/3], Oct 1998.
[DGVZ:98]Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann, ASM-Based Mechanized Verification of Compiler Backends, Uwe GlÀsser and Peter H. Schmitt (Ed.), Proceedings of the 5th International Workshop on Abstract State Machines, p. 50-67, 1998.
[1]Daniela Genius, Behandlung von Kreuzinterferenz durch zyklische Graphfaerbung, ENST & IEEE, p. 112-117, IEEE Computer Society Press, Oct 1998.
[1]Boris Boesler, Codeerzeugung aus AbhÀngigkeitsgraphen, Jun 1998.
[1]Thilo Gaul, GĂŒnter Schumacher, Compiler Techniques for Fast Migration of Embedded Applications, Roger, J.-Y. and Stanford-Smith, B. and Kidd, P.T. (Ed.), Proceedings of the EMMSEC'98 Conference, p. 835--842, IOS Press, Jun 1998.
[1]Thilo Gaul, Wolfgang Goerigk, Wolf Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification, Proceedings of the ATOOLS'98, May 1998.
[1]Daniela Genius, Handling Cross Interferences by Cyclic Cache Line Coloring, IEEE, ENST Paris, IEEE Computer Society Press, Oct 1998.
[1]Martin Spott, Martin Riedmiller, Improving a priori control knowledge by reinforcement learning, Proc. in AI: Fuzzy-Neuro-Systems '98, p. 146-153, Infix-Verlag, Mar 1998.
[1]Sabine Glesner, Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages, Proceedings of the Workshop on Functional and Logic Programming, 1998.
[1]Axel Dold, Thilo Gaul, Wolf Zimmermann, Mechanized Verification of Compiler Back-Ends, Proceedings of STTT '98, Dec 1998.
[1]Wolfgang Goerigk, Wolf Zimmermann, Thilo Gaul, Andreas Heberle, Ulrich Hoffmann, Praktikable Konstruktion korrekter Übersetzer, , Jan 1998 (NULL).
[1]Andreas Heberle, Welf Löwe, Martin Trapp, Safe Reuse of Source to Intermediate Language Compilations, Proceedings of the ISSRE'98, Nov 1998.
[1]Ralf Schoknecht, Martin Spott, Martin Riedmiller, Gerhard Goos, Wolfram Menzel, SelbstÀndiges Lernen von Regelungen mit Fynesse, Fuzzy Karlsruhe `98, Sep 1998.
[Heu98DA]Dirk Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS, Aug 1998.
[1]Rubino Geiß, The Sherlock-System - A Prototype for Many-Sorted Natural Semantics, IPD Goos, FakultĂ€t fĂŒr Informatik, UniversitĂ€t Karlsruhe, 1998.
[1]Martin Spott, Using classic approximation techniques for approximate reasoning, Proc. of FUZZ-IEEE '98, p. 909-914, May 1998.
[1]Sabine Glesner, Wolf Zimmermann, Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis, Proceedings of the Systems Implementation Conference (SI2000), IFIP Working Group 2.4, Chapman & Hall, February 1998.
[1]Gerhard Goos, Vorlesungen ĂŒber Informatik Band 4: ParallelitĂ€t und nicht-analytische Lösungsverfahren, Springer, Jan 1998.
[GGGHZ:97]Thilo Gaul, Gerhard Goos, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk, An Architecture for Verified Compiler Construction, Jan 1997.
[1]Gerhard Goos, Wolf Zimmermann, D2: Programmiersprachen, Peter Rechenberg and Gustav Pomberger (Ed.), Hanser, Jan 1997.
[1]Götz Lindenmaier, Erfassung eines computerinternen Modells von Altprodukten und Ermittlung der wirtschaftlichsten Fraktionierungstiefe, 06 1997.
[1]Martin Riedmiller, Martin Spott, Joachim Weisbrod, First Results on the Application of the Fynesse Control Architecture, IEEE 1997 International Aerospace Conference, p. 421-434, Feb 1997.
[1]Ekkart Bolten, Martin Spott, Fuzzy Rule Extraction from Fuzzy Relations, Proc. of EUFIT 97, p. 1019-1023, Sep 1997.
[1]Gerhard Goos, Martin Spott, Joachim Weisbrod, Martin Riedmiller, Interpretation und Adaption unscharfer Relationen innerhalb einer hybriden selbstlernenden Steuerungsarchitektur, Proc. in AI: Fuzzy-Neuro-Systems '97, p. 332-339, Infix-Verlag, Mar 1997.
[1]Thomas Kolbe, Sabine Glesner, Many-Sorted Logic in a Learning Theorem Prover, Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI '97), Springer Verlag, Lecture Notes in Computer Science, September 1997.
[Zimmer-Gaul:97]Thilo Gaul, Wolf Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach, Journal of Universal Computer Science (JUCS) 3(5), p. 504-567, Aug 1997.
[Heu97SA]Dirk Heuzeroth, Operator-basierte Programmierung - Operatoren zum Kombinieren von Komponenten und ihre Anforderungen an Reflexions-Schnittstellen, UniversitÀt Karlsruhe, Nov 1997.
[1]Optimierung paralleler Programme. , Jan 1997.
[1]Gerhard Goos, Sather-K - The Language, 18, p. 91-109, Jun 1997.
[1]Sabine Glesner, Wolf Zimmermann, Using Many-Sorted Inference Rules to Generate Semantic Analysis, Promotion tut not: Innovationsmotor "Graduiertenkolleg", Workshop der Graduiertenkollegs im Rahmen der GI-Jahrestagung, Verlag der Augustinus Buchhandlung (Aachener BeitrÀge zur Informatik, Band 21), Otto Spaniol (Hrsg.), 1997.
[Goos:1997:Info3]Gerhard Goos, Vorlesungen ĂŒber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen, Springer, Jan 1997.
[GGHZ97]Thilo Gaul, Gerhard Goos, Andreas Heberle, Wolf Zimmermann, Zur Konstruktion verifizierter Übersetzer, Herbert Kuchen (Ed.), Arbeitstagung Programmiersprachen, WestfĂ€lische Wilhelms-UniversitĂ€t MĂŒnster, 1997.
[1]Martin Spott, Joachim Weisbrod, A new approach to the adaptation of fuzzy relations, Proc. of EUFIT 96, p. 782-786, Sep 1996.
[Goerigk-et-al:CC96]Wolfgang Goerigk, Axel Dold, Thilo Gaul, Gerhard Goos, Andreas Heberle, Heinrich von Henke, Ulrich Hoffmann, Hans Langmaack, Wolf Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach, P. Fritzson (Ed.), Jan 1996 (TR-Nr.: R-96-12).
[1]Markus Armbruster undChristian von Roques, Entwurf und Realisierung eines Sather-K Übersetzers, Dec. 1996.
[1]Sabine Glesner, Mehrsortige Logik in einem Lernenden Beweiser, Technische Hochschule Darmstadt, Fachbereich Informatik, March 1996.
[Verifix96]Thilo Gaul, Simple Code Generation for MIS to DEC-Alpha processor, Apr 1996 (Working paper).
[1]Sabine Glesner, Daphne Koller, Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases, Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU '95), Springer Verlag, Lecture Notes in Artificial Intelligence, July 1995.
[1]Gerhard Goos, Algorithmentechnik (Vorlesungsskript), IPD Goos, 1994.
[1]Sabine Glesner, Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases (Master's Thesis), University of California, Berkeley, Department of Electrical Engineering and Computer Science, December 1994.
[1]Martin Spott, Unscharfes Schließen mit komplexen Wissensbasen, Jul 1994.
[1]Uwe Wagner, Polynomringe ĂŒber KörpertĂŒrmen, TH Darmstadt, Dec 1992.
[1]Gerhard Goos, William Waite, Compiler Construction, Springer, Jan 1984.
Login
Links