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 103 bis 122 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2018Das Kachelungsproblem 4-wege-deterministischer Wang-KachelnMeisel, Tobias
2013Kaskadenzerlegung spezieller AutomatenklassenWächter, Jan Philipp
2006Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter PräsentationOndrusch, Nicole
2013Kürzeste Wege im Wikipedia-LinkgraphKara, Ferdi
2020Labeling interactive mapsKrumpe, Filip
2013Lagerplatzhaltung - Formulierung und Lösung als diskretes OptimierungsproblemGötz, Stefanie
2020Learning metrics for balancing load in street-networksParga Cacheiro, Dominic
2016Local divisors in formal languagesWalter, Tobias
2006Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizationsKufleitner, Manfred
2021A lower bound for the query phase of contraction hierarchies and hub labels and a provably optimal instance-based schemaRupp, Tobias; Funke, Stefan
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
Anzeige der Treffer 103 bis 122 von 198 < zurück   nächste