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 groben Einblick in die Projekte der Arbeitsgruppen und zeigt zudem Themenbereiche für Abschlussarbeiten für interessierte Studierende auf. 

Einfach finden

 

 

 

Arbeitsgruppe Angewandte Informatik und Didaktik

 

Mitarbeitende der AG

Arbeitsgruppe

Arbeitsgruppe von Prof. Dr. Matthias Wendlandt

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

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Forschung

 

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

 

Arbeitsgruppe Neuroinformatik

 

Mitarbeitende der AG Weitere Informationen

Arbeitsgruppe

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

Forschung 

  • 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.


 

AG Visual Cognition & Computational Neuroscience

 

Mitarbeitende der AG Webseite der AG

Arbeitsgruppe

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

Forschung

 

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.


 

AG Formale Methoden

Arbeitsgruppe

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

Forschung

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.


 

AG Data and Application Security

 

Webseite der AG

Arbeitsgruppe

Arbeitsgruppe von Prof. Dr. Luici Lo Iacono 

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

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Forschung

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.


 

AG Künstliche Intelligenz

 

Webseite der AG

Arbeitsgruppe

Arbeitsgruppe von Prof. Dr. Andreas Theissler

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

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Forschung

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)
 

 

AG Data Science

Arbeitsgruppe

Arbeitsgruppe von Prof. Dr. Sascha Hauke

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

Inhaltlich entspricht es der Beschreibung der Forschung rechts

Forschung

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 Report 1703 Oktober 2017
M. Holzer, S. Jakobi

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 SpecializationReport 9005April 1990H. Kröger, U. Meyer:Some New Aspects of Partial Evaluation of Imperative LanguagesReport 9004April 1990H. Kröger et al.:The PART+RESI System, Version 1.3 (1989/90), with DEMO-Examples, Floppy DiscReport 9003March 1990H. Kröger:Compiling of a Generalized LISP-LABEL-Concept by Partial Evaluation, (Kiel, Februar 1982), NachdruckReport 9002February 1990H. Kröger, U. Meyer, A. Mischnick:Fundamentals of a Concept of Partial and Residual EvaluationReport 9001January 1990



U. Meyer:Partielle Auswertung einer imperativen ProgrammierspracheReport 8905December 1989M. Kutrib:Synchronisation von I-D-I Bereichen in defekten ZellularautomatenReport 8904October 1989H. Kröger, U. Meyer, A. Mischnick:Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISPReport 8903October 1989H. Kröger, U. Meyer, A. Mischnick:PART+RESI= a system for partial evaluation and semantics directed compiler generationReport 8902September 1989B. Bleck, H. Kröger:Cellular AlgorithmsReport 8901July 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