Lukáš Holík

Neue Methoden verbessern den Umgang mit String-Einschränkungen in der Programmierung.

Neuer Algorithmus verbessert die Effizienz bei der Simulation von beschrifteten Übergangssystemen enorm.

Eine neue Methode verbessert das Lösen von linearen ganzzahligen Gleichungen mit Hilfe von Automaten und Algebra.