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 88 bis 107 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2006Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten SystemenSchröter, Claus
2000Hierarchische Graphen zur WegesucheBuchholz, Friedhelm
2014Hierarchisierung und Darstellung von GeodatenKrumpe, Filip
2012Die Holonomie-Zerlegung von AutomatenSeybold, Martin P.
2022Hospital emergency room workload prediction using artifical neural networksPaule, Sebastian Patrick
2020Improved algorithms for map rendering and route planningMendel, Thomas
2016Improved approximation schemes for the restricted shortest path problemHolzmüller, David
2016Incremental weak Fréchet map-matchingTangermann, Jonas
2006Infinite state model checking of propositional dynamic logicsGöller, Stefan; Lohrey, Markus
2012Information extraction from social media for route planningMegally, Mirna
2020Integration of CH/HL-based route planning in OSCARMakolli, Sokol
2020Interaktive Kantenkontraktion für MinorensucheHolderbach, Samuel
2016Interpolation and compact representation of house numbers in the route planning contextSteinhart, David
2005Inverse monoids : decidability and complexity of algebraic questionsLohrey, Markus; Ondrusch, Nicole
2022Iterierte Substitutionen bei regulären BaumsprachenGaißert, Marcial
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
Anzeige der Treffer 88 bis 107 von 198 < zurück   nächste