1. OPUS

Auflistung nach Institut Institut für Formale Methoden der Informatik

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 115 bis 134 von 201 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
1998Makanin's algorithm for solving word equations with regular constraintsDiekert, Volker
2015Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären SprachenFleischer, Lukas
2012Minimierung von Automaten mit einer beschränkten Anzahl von FehlernJahn, Franz G.
2005Model checking hierarchical structuresLohrey, Markus
2018Multi-criteria bicycle routingBarth, Florian
2012Multimodale Bereichsanfragen im Kontext von RoutenplanernBahrdt, Daniel
2020Natürlichsprachliche Anfragen an OSCARKopf, Benjamin
2014Neue Bedienkonzepte für mobile RoutenplanerBahle, Stefanie
2011Normalformenberechnung in Graph-Gruppen und Coxeter-GruppenKausch, Jonathan
2004A note on on-the-fly verification algorithmsSchwoon, Stefan; Esparza, Javier
2019Offline navigation for pedestrians on Android devicesZinnatov, Maksym
2014Offline-Reiseplaner für BahnverbindungenSchäfer, Patrik
2014Offline-Speicherung und Darstellung von Geodaten auf MobilgerätenKrumpe, Filip
2023On hierarchical search and preference-based routing in transportation networksProissl, Claudius
2009On smoothed analysis of quicksort and hoare's findFouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima
2020On the average case of MergeInsertionStober, Florian; Weiß, Armin
2015On the complexity of conjugacy in amalgamated products and HNN extensionsWeiß, Armin
2010On the iterated hairpin completionKopecki, Steffen
2020On the number of Delaunay Triangles occurring in all contiguous subsequencesWeitbrecht, Felix
2013Onboard-Routenplanung auf dem SmartphoneBühler, Stefan
Anzeige der Treffer 115 bis 134 von 201 < zurück   nächste