Inhaltspezifische Aktionen

Forschung und Abschlussarbeiten

Dekobild Komplex Gehirn Neurone Autos

Forschung – Institut für Informatik

Die Forschungsaktivitäten des Instituts umfassen sowohl grundlegende als auch anwendungsorientierte Fragestellungen der Informatik. Diese Seite gibt einen Einblick in die Projekte der Arbeitsgruppen und zeigt zudem Themenbereiche für Abschlussarbeiten für interessierte Studierende auf.

Arbeitsgruppe Angewandte Informatik und Didaktik

Forschung

Arbeitsgruppe von Prof. Dr. Matthias Wendlandt

Institut für Informatik
Arndtstr. 2
35392 Gießen

Inhaltlich entspricht es der Beschreibung der Forschung rechts

1. Didaktik der Informatik
Fokus auf die Vermittlung informatischer Inhalte in Schule und Hochschule.
  • Entwicklung und Evaluation innovativer Lehr-Lern-Konzepte
  • Förderung von Reflexionskompetenz:
    • innerfachlich
    • gesellschaftlich
  • Gestaltung nachhaltiger Informatikbildung
2. Natural Computing
Forschung zu alternativen Berechnungsmodellen jenseits klassischer Computer.
  • Inspiration aus Naturprozessen
  • Untersuchung neuer Formen von „Berechenbarkeit"
  • Anwendung auf komplexe Problemlösungen

Abschlussarbeiten (Mögliche Themen)

1. Didaktik der Informatik

  • Entwicklung von Unterrichtskonzepten zu aktuellen Themen (z. B. KI, Data Security,..)
  • Analyse von Lernprozessen im Informatikunterricht
  • Gestaltung reflexionsorientierter Lehrmaterialien
2. Text Mining (praxisorientiert)
  • Analyse von Feedback mit Text-Mining-Methoden
  • Automatische Auswertung von Freitextantworten in Lernplattformen
  • Sentiment-Analyse von Diskussionen in Online-Kursen
  • Entwicklung eines Tools zur Unterstützung der Auswertung von Textdaten
3. Natural Computing
  • Neue Wege im Bereich DNA Computing
  • Formale Systeme wie Sticker Systems und String Assembling Systems
  • Reversible Modelle zum energieeffizienten Computing

Weiterführende Links

Mitarbeitende der AG

Arbeitsgruppe Neuroinformatik

Forschung

Arbeitsgruppe von Prof. Dr. Daniel Kaiser

Institut für Informatik
Arndtstr. 2
35392 Gießen
Sekretariat: Raum 19
Tel.: 0641/99-32191
Fax: 0641/99-32199

Inhaltlich entspricht es der Beschreibung der Forschung rechts

  • Wahrnehmung in strukturierten Umgebungen
    Unsere Alltagsumwelten besitzen eine typische statistische Struktur, in der Objekte an vorhersagbaren Orten innerhalb einer Szene erscheinen. Wir untersuchen, wie diese Struktur natürlicher Umgebungen unsere Wahrnehmung und Repräsentationen im Gehirn beeinflußt und wie sich diese Prozesse über Personen unterscheiden.
  • Informationsaustausch im Gehirn
    Wie wird Information dynamisch von sensorischen Systemen zu kognitiven Systemen (bottom-up) und in umgekehrter Richtung (top-down) transportiert? Um diese Frage zu beantworten, untersuchen wir, wie Information in neuronalen Rhythmen kodiert wird und über diese rhythmischen Prozesse über Gehirnregionen transportiert wird.
  • Ästhetik in der Wahrnehmung
    Warum finden Menschen bestimmte visuelle Eindrücke ästhetische ansprechend, d.h. warum "gefallen" uns manche Szenen und andere nicht? Wir untersuchen schwerpunktmäßig, wie die Schönheit von Szenen, Objekten und Gesichtern bereits in sensorischen Verarbeitungssystemen repräsentiert ist, also inwiefern visuelle Attribute die Wahrnehmung von Schönheit erklären

Abschlussarbeiten

Wir bieten BSc- und MSc-Abschlussarbeiten zu verschiedenen Themen aus den Bereichen

  • Neuroinformatik,
  • Humanneurowissenschaft und
  • Kognitionswissenschaft, mit einem besonderen Schwerpunkt auf visuelle Wahrnehmungsprozesse,

an.

Für Studierende im Studiengang B.Sc. Data Science oder B.Sc. Angewandte Informatik wird ein Besuch der Veranstaltungen Neuroinformatik I/II empfohlen, da dort wichtige Grundlagen für eine Abschlussarbeit vermittelt werden.

Bei Interesse schreiben Sie bitte eine Email, wir bieten laufend eine Auswahl an interessanten Themen zur Bearbeitung an, sind aber auch offen für selbst gewählte Themen, die thematisch zu unseren Forschungsschwerpunkten oder -methoden passen.

Weiterführende Links

Mitarbeitende der AG Weitere Informationen

Arbeitsgruppe Visual Cognition & Computational Neuroscience

Forschung

Arbeitsgruppe von Prof. Dr. Katharina Dobs

Institut für Informatik
Otto-Behaghel-Straße 10F
35394 Gießen

Sekretariat: Raum 303
Tel.: 0641/99-26 101

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Die Forschung des VCCN Labs beschäftigt sich mit der Frage, wie Menschen und künstliche neuronale Netze visuelle Informationen verarbeiten und repräsentieren.

Ein besonderer Schwerpunkt liegt auf der Wahrnehmung von Gesichtern, Objekten und komplexen Szenen sowie auf der funktionellen Organisation des visuellen Systems.

Dafür kombinieren wir Verhaltensforschung, Eye-Tracking, EEG/MEG/fMRT und moderne Methoden des Machine Learnings und der künstlichen Intelligenz.

Zudem untersuchen wir, inwiefern Deep Neural Networks als Modelle menschlicher Wahrnehmung und Gehirnverarbeitung dienen können.

Abschlussarbeiten

Wir bieten Abschlussarbeiten an der Schnittstelle von Kognitionswissenschaft, Neurowissenschaften und künstlicher Intelligenz an.

Aktuelle Themen reichen von

  • Gesichts- und Objektwahrnehmung über
  • EEG-Decoding im Alltag bis hin zu
  • Explainable AI,
  • Vision-Language-Modellen und
  • Deep Neural Networks als Modelle menschlicher Wahrnehmung.

Studierende können sowohl an experimentellen Projekten mit Eye-Tracking, EEG oder fMRT als auch an vollständig digitalen Data-Science-Projekten arbeiten.

Viele Projekte beinhalten moderne Machine-Learning-Methoden und die Analyse komplexer Verhaltens- und Gehirndaten in Python. Eigene Ideen und interdisziplinäre Interessen sind willkommen.

Bitte melde dich, falls du noch weitere Informationen brauchst.

Weiterführende Links

Mitarbeitende der AG Webseite der AG

Arbeitsgruppe Formale Methoden

Forschung

Arbeitsgruppe von Prof. Dr. Markus Holzer & Prof. Dr. Martin Kutrib

Institut für Informatik
Arndtstr. 2
35392 Gießen

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Die Arbeitsgruppe „Formale Methoden" befasst sich mit der theoretischen Fundierung und Weiterentwicklung formaler Methoden in der Informatik. Im Zentrum stehen Modelle der Berechenbarkeit sowie die Analyse von Strukturen und Prozessen zur Beschreibung und Verifikation von Informationsverarbeitung.

Die Schwerpunkte umfassen:

  • die Untersuchung formaler Sprachen und Automatenmodelle (z. B. endliche Automaten, Kellerautomaten, Zellularautomaten und andere parallele Automatenmodelle), einschließlich ihrer Beschreibungsmöglichkeiten, Minimierung und strukturellen Eigenschaften,
  • die Erforschung von Komplexizitätsfragen, insbesondere im Hinblick auf Entscheidbarkeit, Ressourcenverbrauch, Reversibilität und die Klassifikation von Problemen innerhalb formaler Modelle,
  • die Analyse von Transformations- und Übersetzungsprozessen zwischen verschiedenen formalen Systemen sowie deren Effizienz und Ausdrucksstärke.
  • die Entwicklung und Anwendung algebraischer und kombinatorischer Methoden zur Beschreibung diskreter Systeme,
  • die Untersuchung von Mustern und regulären Strukturen mit Bezug zu Anwendungen in der Informationsverarbeitung.

Dabei legt die Gruppe besonderen Wert auf eine enge Verzahnung von grundlegender Theorie und potentiellen Anwendungen.

Abschlussarbeiten

In der Arbeitsgruppe „Formale Methoden" werden sowohl Themen im Bereich der theoretischen Informatik als auch auf dem Gebiet der angewandten Informatik angeboten. Typische Themen bewegen sich im Umfeld der Forschungsfelder und können je nach Ausrichtung auch algorithmische oder experimentelle Anteile enthalten. Für Themen aus den unterschiedlichen Forschungsfelder nehmen Sie bitte Kontakt mit der/den Mitgliedern der Arbeitsgruppe auf — eine kurze Auflistung:

Die Vergabe der Themen erfolgt in der Regel in engem Austausch zwischen den Betreuenden und den Studierenden. Eigene Interessen und Schwerpunktsetzungen der Studierenden sind dabei ausdrücklich erwünscht und können aktiv in die Themenfindung eingebracht werden.

Arbeitsgruppe Data and Application Security

Forschung

Arbeitsgruppe von Prof. Dr. Luici Lo Iacono

Institut für Informatik
Arndtstr. 2
35392 Gießen

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Die Arbeitsgruppe „Data and Application Security" befasst sich mit der anwendungsorientierten Absicherung digitaler Infrastrukturen, Anwendungen und Datenströme. Im Zentrum stehen die Entwicklung praxistauglicher Schutzmechanismen für moderne Softwarearchitekturen sowie die Schnittstelle zwischen technischer IT-Sicherheit und dem menschlichen Faktor (Usable Security und Privacy).

Die Schwerpunkte umfassen:

  • die Erforschung von Methoden der Usable Security und Privacy
  • die empirische Analyse von Security Awareness und menschlichen Schwachstellen
  • die Konzeption und Evaluierung neuartiger Authentifizierungssysteme
  • die Absicherung dezentraler und verteilter IT-Infrastrukturen
  • die Untersuchung anwendungsspezifischer Software- und Systemsicherheit

Dabei legt die Gruppe besonderen Wert auf eine enge Verzahnung von fundierter IT-Sicherheitsforschung und dem unmittelbaren Transfer in praktische und nutzerfreundliche Anwendungen.

Abschlussarbeiten

Weitere Informationen sind auf der Webseite der Arbeitsgruppe zu finden.

Weiterführende Links

Webseite der AG

Arbeitsgruppe Künstliche Intelligenz

Forschung

Arbeitsgruppe von Prof. Dr. Andreas Theissler

Institut für Informatik
Arndtstr. 2
35392 Gießen

Inhaltlich entspricht es der Beschreibung der Forschung rechts

In der Forschungsgruppe geht es um Künstliche Intelligenz, speziell Machine Learning und Human-Centered AI. Schwerpunkte sind:
  • Methoden des Machine Learnings
  • Erklärbare/interpretierbare KI (Explainable AI)
  • Applied Machine Learning (Anwendung und ggf. Adaption von Machine Learning für ausgewählte praktische Problemstellungen)

Abschlussarbeiten

Abschlussarbeiten sind in folgenden Themenfeldern möglich:

  • Künstliche Intelligenz, speziell Machine Learning und Human-Centered AI
  • Methoden des Machine Learning
  • Applied Machine Learning (für ausgewählte Problemstellungen)
  • ausgewählte Themen des Software Engineering
  • Kombination aus Künstlicher Intelligenz und Software Engineering (AI for Software Engineering und Software Engineering for AI)

Weiterführende Links

Webseite der AG

Arbeitsgruppe Data Science

Forschung

Arbeitsgruppe von Prof. Dr. Sascha Hauke

Institut für Informatik
Arndtstr. 2
35392 Gießen

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Wir befassen uns mit der Anwendung und Weiterentwicklung Methoden der statistischen Datenanalyse, des Maschinellen Lernens und angewandter KI zu angewandten Problemstellungen.

Schwerpunkte umfassen:

  • die Entwicklung und Anwendung generativer Verfahren (GAN und Diffusionsmodelle) im Bereich der Bildkomprimierung,
  • Erforschung, Entwicklung und Anwendung von Verfahren der Data Science und des Maschinellen Lernens zur Lösung von Problemen in konkreten Anwendungsdomänen, wie zum Beispiel der Medizin, den Ingenieurswissenschaften oder den Sozial- und Geisteswissenschaften. Konkrete Beispiele sind etwa die Entwicklung von Verbrauchsvorhersageverfahren in Smart Grids, der Steuerung von Gebäudeautomationen oder die Analyse von medizinischen Daten,
  • Sovereign Private Data Science im Sinne der persönlichen, privaten Nutzung von Verfahren des Maschinellen Lernens und der Data Science unter der kompletten Hoheit des Nutzers.

Abschlussarbeiten

In der Gruppe Data Science bieten wir Abschlussarbeiten vor allem natürlich mit Themenbezügen zu eben Data Science an.

Im Vordergrund steht dabei die Anwendung, Anpassung und Weiterentwicklung von Methoden der angewandten Informatik auf gegebene Problem der "echten Welt". Ziel ist es, ebendiese Probleme zu lösen, oder zumindest besser zu verstehen und Erkenntnisse zu gewinnen.

Ein Fokus liegt dabei natürlich auf Methoden der Datenanalyse, des Maschinellen Lernens und der künstlichen Intelligenz, wobei die Anwendungsfelder breit gestreut über Anwendungsdomänen liegen, von der Medizin, über Ingenieurswissenschaften bis hin zu Geistes- und Sozialwissenschaften.

Die Vergabe von Themen für Abschlussarbeiten erfolgt normalerweise in einem interaktiven Prozess zwischen Betreuer und Studierendem, in das die Studierenden gezielt auch eigene Interessen einbringen sollen.


Technische Berichte

H. Gruber, M. Holzer On the 21 Card Trick and Verini's Lost Trick Report 2601 January 2026
M. Holzer A Short Comment on Controlled Context-Free Grammar Derivations Report 2402 July 2024
H. Gruber, M. Holzer, C. Rauch On Pumping Preserving Homomorphisms and the Complexity of the Pumping Problem Report 2401 June 2024
M. Holzer Comments on Monoids Induced by NFAs Report 2301 März 2023
S. Beier, M. Holzer Semi-Linear Lattices and Right One-Way Jumping Finite Automata Report 1901 April 2019
M. Kutrib, T. Worsch Self-Verifying Cellular Automata Report 1803 April 2018
S. Beier, M. Holzer Properties of Right One-Way Jumping Finite Automata Report 1802 March 2018
B. Truthe Hierarchy of Subregular Language Families Report 1801 Februar 2018
M. Holzer, M. Hospodár On the Magic Number Problem of the Cut Operation Report 1703 Oktober 2017
M. Holzer, S. Jakobi A Note on the Computational Complexity of Some Problems for Self-Verifying Finite Automata Report 1702 April 2017
S. Beier, M. Holzer, M. Kutrib On the Descriptional Complexity of Operations on Semilinear Sets Report 1701 April 2017
M. Holzer, S. Jakobi, M. Wendlandt On the Computational Complexity of Partial Word Automata Problems Report 1404 May 2014
M. Kutrib, A. Malcher, M. Wendlandt Deterministic Set Automata Report 1402 April 2014
M. Holzer, S. Jakobi Minimal and Hyper-Minimal Biautomata Report 1401 March 2014
Jarkko Kari, Martin Kutrib, Andreas Malcher 19th International Workshop on Cellular Automata and Discrete Complex Systems AUTOMATA 2013 Exploratory Papers Report 1302 September 2013
M. Holzer, S.Jakobi Minimization, Characterizations, and Nondeterminism for Biautomata Report 1301 April 2013
A. Malcher, K. Meckel, C. Mereghetti, B. Palano Descriptional Complexity of Pushdown Store Languages Report 1203 May 2012
M. Holzer, S. Jakobi On the Complexity of Rolling Block and Alice Mazes Report 1202 March 2012
M. Holzer, S. Jakobi Grid Graphs with Diagonal Edges and the Complexity of Xmas Mazes Report 1201 January 2012
H. Gruber, S. Gulan Simplifying Regular Expresions: A Quantitative Perspective Report 0904 August 2009
M. Kutrib, A. Malcher Cellular Automata With Sparse Communication Report 0903 May 2009
M. Holzer, A. Maletti An n log n Algorithm for Hyper-Minimizing States in a (Minimized) Deterministic Automaton Report 0902 April 2009
H. Gruber, M. Holzer Tight Bounds on the Descriptional Complexity of Regular Expressions Report 0901 February 2009
M. Holzer, M. Kutrib, A. Malcher (eds.) 18. Theorietag Automaten und Formale Sprachens Report 0801 September 2008
M. Holzer, M. Kutrib Flip-Pushdown Automata: Nondeterminism is Better Than Determinism Report 0301 February 2003
M. Holzer, M. Kutrib Flip-Pushdown Automata: k+1 Pushdown Reversals are Better Than k Report 0206 November 2002
M. Holzer, M. Kutrib Nondeterministic Descriptional Complexity of Regular Languages Report 0205 September 2002
H. Bordihn, M. Holzer, M. Kutrib Economy of Description for Basic Constructions on Rational Transductions Report 0204 July 2002
M. Kutrib, J.-T. Löwe String Transformation for n-dimensional Image Compression Report 0203 May 2002
A. Klein, M. Kutrib Grammars with Scattered Nonterminals Report 0202 February 2002
A. Klein, M. Kutrib Self-Assembling Finite Automata Report 0201 January 2002
M. Holzer, M. Kutrib Unary Language Operations and Their Nondeterministic State Complexity Report 0107 November 2001
A. Klein, M. Kutrib Fast One-Way Cellular Automata Report 0106 September 2001
M. Holzer, M. Kutrib Improving Raster Image Run-Length Encoding Using Data Order Report 0105 July 2001
M. Kutrib Refining Nondeterminism Below Linear-Time Report 0104 June 2001
M. Holzer, M. Kutrib State Complexity of Basic Operations on Nondeterministic Finite Automata Report 0103 April 2001
M. Kutrib, J.-T. Löwe Massively Parallel Fault Tolerant Computations on Syntactical Patterns Report 0102 March 2001
A. Klein, M. Kutrib A Time Hierarchy for Bounded One-Way Cellular Automata Report 0101 January 2001
M. Kutrib Below Linear-Time: Dimensions versus Time Report 0005 November 2000
M. Kutrib Efficient Universal Pushdown Cellular Automata and their Application to Complexity Report 0004 August 2000
M. Kutrib, J.-T. Löwe Massively Parallel Pattern Recognition with Link Failures Report 0003 June 2000
A. Klein, M. Kutrib Deterministic Turing Machines in the Range between Real-Time and Linear-Time Report 0002 February 2000
M. Kutrib, J.-T. Löwe Fault Tolerant Parallel Pattern Recognition Report 0001 February 2000
M. Kutrib Automata Arrays and Context-Free Languages Report 9907 October 1999
Th. Buchholz, A. Klein, M. Kutrib Iterative Arrays with Small Time Bounds Report 9906 August 1999
Th. Buchholz, A. Klein, M. Kutrib Iterative arrays with a wee bit alternation Report 9905 April 1999
Th. Buchholz, A. Klein, M. Kutrib Real-time language recognition by alternating cellular automata Report 9904 March 1999
Th. Lukasiewicz, G. Kern-Isberner Probabilistic Logic Programming under Maximum Entropy Report 9903 February 1999
Th. Buchholz, A. Klein, M. Kutrib On tally languages and generalized interacting automata Report 9902 February 1999
Th. Buchholz, A. Klein, M. Kutrib Iterative Arrays with Limited Nondeterministic Communication Cell Report 9901 January 1999
Th. Lukasiewicz Probabilistic and Truth-Functional Many-Valued Logic Programming Report 9809 December 1998
G. Brewka, Th. Eiter Preferred Answer Sets for Extended Logic Programs Report 9807 May 1998
Th. Buchholz, A. Klein, M. Kutrib On Interacting Automata with Limited Nondeterminism Report 9806 May 1998
Th. Eiter, J. Lu, V.S. Subrahmanian On A First-Order Representation of Stable Models Report 9805 May 1998
Th. Eiter, T. Ibaraki, K. Makino Decision Lists and Related Boolean Functions Report 9804 April 1998
Th. Eiter, T. Ibaraki, K. Makino Computing Intersections of Horn Theories for Reasoning with Models Report 9803 April 1998
Th. Eiter, V. S. Subrahmanian, G. Pick Heterogeneous Active Agents Report 9802 March 1998
Th. Buchholz, A. Klein, M. Kutrib One guess one-way cellular arrays Report 9801 February 1998
Th. Buchholz, A. Klein, M. Kutrib On time reduction and simulation in cellular spaces Report 9703 December 1997
Th. Eiter, G. Gottlob, Y. Gurevich Existential second-order logic over strings Report 9702 December 1997
F. Buccafurri, Th. Eiter, G. Gottlob, N. Leone Enhancing Symbolic Model Checking by AI Techniques Report 9701 September 1997
Th. Buchholz, M. Kutrib On the power of one-way bounded cellular time computers Report 9604 December 1996
Th. Buchholz, M. Kutrib Some relations between massively parallel arrays Report 9603 December 1996
H. Kröger, M. Kutrib (Hrsg.) Informatik an der JLUG, Interdisziplinärer Workshop, Proceedings, Schloß Rauischholzhausen, 28. März 1996 Report 9602 December 1996
A. Brüll, H. Kuchen TPascal - A Language for Task Parallel Programming Report 9601 January 1996
G. H. Botorog, H. Kuchen Algorithmic Skeletons in an Imperative Language for Distributed Programming Report 9504 December 1995
M. Kutrib, Th. Worsch (Hrsg.) 5. Theorietag, Automaten und Formale Sprachen, Proceedings, Workshop der GI-Fachgruppe 0.1.5, Schloß Rauischholzhausen, 28./29. September 1995 Report 9503 December 1995
Th. Buchholz, M. Kutrib On time computability of functions in one-way cellular automata Report 9502 September 1995
M. Kutrib On stack-augmented polyautomata Report 9501 July 1995
H. Kröger, U. Meyer, A. Mischnick Partielle und residuale Auswertung mit Anwendungen unter anderem bei der semantisch gesteuertern Compiler-Erzeugung, DFG-Projekt Kr 915/1 (Februar 1989-Januar 1994) Abschlußbericht Report 9404 October 1994
M. Kutrib, J. Richstein Real-time one-way pushdown cellular automata languages Report 9403 October 1994
G. Snelting, U. Meyer (Hrsg.) Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, 10.-11. März 1994 Report 9402 March 1994
M. Kutrib Parallele Automaten Report 9401 February 1994
M. Kutrib, Th. Worsch Investigation of different input modes for cellular automata Report 9305 December 1993
G. Vossen Serializability of Global Transactions in Multidatabases: A Pragmatic Approach Report 9304 August 1993
U. Meyer Skriptum Compilerbau Report 9303 July 1993
W. Cellary, G. Jomier, G. Vossen (eds.) Recent Topics in Databases Report 9302 March 1993
G. Vossen Bibliography on Object-Oriented Database Management (3rd and Final Edition) Report 9301 February 1993
J. Van den Bussche, D. Van Gucht, G. Vossen Reflective Programming in the Relational Algebra Report 9210 December 1992
J. Van den Bussche, G. Vossen An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries Report 9209 November 1992
M. Groß-Hardt, G. Vossen CLOOD: A Class-Less Model for Object-Oriented Design Databases Report 9208 November 1992
U. Meyer A technique for proving the correctness of online partial evaluation of imperative languages Report 9207 November 1992
U. Meyer Partielle Auswertung imperativer Spracen Report 9206 August 1992
U. Meyer Correctness of online partial evaluation for a Pascal-like language Report 9205 October 1992
W. Cellary, G. Vossen (eds.) Topics in Object-Oriented and Heterogeneous Database Systems Report 9204 June 1992
G. Vossen On Formal Models for Object-Oriented Databases Report 9203 March 1992
G. Vossen Bibliography on Object-Oriented Database Management (2nd Edition) Report 9202 January 1992
U. Meyer Report on a partial evaluator for a large subset of Pascal Report 9201 July 1992
W. Cellary, G. Vossen, G. Jomier Multiversion Object Constellations for CAD Databases Report 9105 November 1991
V. Vianu, G. Vossen Static and Dynamic Aspects of Goal-Oriented Concurrency Control Report 9104 August 1991
G. Vossen, K.-U. Witt FASTFOOD: A Formal Algebra overSets and Tuples for the FOOD Object-Oriented Data Model Report 9103 August 1991
G. Vossen Databases and Database Management Report 9102 July 1991
G. Vossen, K.-U. Witt Objectbase Schemata and Objectbases in the FOOD Model Report 9101 June 1991
U. Meyer Techniques for Partial Evaluation of Imperative Languages Report 9007 November 1990
A. Mischnick, F. Simon Lisp, ein offenes Programmiersystem für die symbolische Datenverarbeitung Report 9006 October 1990

H. Kröger, A. Mischnick: Compiler-Construction by Partial and Residual Evaluation: Pre-Compilation-Techniques and Inner Specialization – Report 9005 – April 1990
H. Kröger, U. Meyer: Some New Aspects of Partial Evaluation of Imperative Languages – Report 9004 – April 1990
H. Kröger et al.: The PART+RESI System, Version 1.3 (1989/90), with DEMO-Examples, Floppy Disc – Report 9003 – March 1990
H. Kröger: Compiling of a Generalized LISP-LABEL-Concept by Partial Evaluation, (Kiel, Februar 1982), Nachdruck – Report 9002 – February 1990
H. Kröger, U. Meyer, A. Mischnick: Fundamentals of a Concept of Partial and Residual Evaluation – Report 9001 – January 1990

U. Meyer: Partielle Auswertung einer imperativen Programmiersprache – Report 8905 – December 1989
M. Kutrib: Synchronisation von I-D-I Bereichen in defekten Zellularautomaten – Report 8904 – October 1989
H. Kröger, U. Meyer, A. Mischnick: Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP – Report 8903 – October 1989
H. Kröger, U. Meyer, A. Mischnick: PART+RESI= a system for partial evaluation and semantics directed compiler generation – Report 8902 – September 1989
B. Bleck, H. Kröger: Cellular Algorithms – Report 8901 – July 1989


Bildnachweis für das Bannerbild "Bannerbild Informatik Forschung": KI-generiert mit ChatGPT (OpenAI, DALL·E), 2026.

Bildnachweise für die Bildchen in den Beschreibungsbildern: Aus der Microsoft PowerPoint-Archivbilddatenbank