Brigitte Pientka

Neue Methoden zur Sicherheit der Kommunikation in Computersystemen mithilfe von Sitzungsarten erkunden.

Ein Blick auf adjunktive Logik und ihre Anwendungen in Programmierung und Berechnung.

Sitzungstypen ermöglichen eine strukturierte Kommunikation zwischen Systemkomponenten für eine bessere Zuverlässigkeit.

Dieses Papier stellt eine effiziente Baum-Diffing-Methode unter Verwendung von SAT-Lösungen vor.

Tyro verbessert die Identifizierung von Typfehlern für Programmierer, besonders für Anfänger.

Ein Rahmen für sichere und effiziente Code-Generierung vorstellen.