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 134 bis 153 von 202 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2020On the number of Delaunay Triangles occurring in all contiguous subsequencesWeitbrecht, Felix
2013Onboard-Routenplanung auf dem SmartphoneBühler, Stefan
2021OpenStreetMap risk mapsLindemann, Patrick
2024Optimal routing in public transportation networks using PHASTBruns, David
2023Optimierte Platzierung von Ladevorrichtungen für E-FahrzeugeWaldschmidt, Helmut
2014Optimierung von SchulstundenplänenKeck, Philipp
2022Optimized multi-agent resource extractionKubica, Manuel
2019Das Ordnungsproblem für Automatengruppen und verwandte FragestellungenBühler, Andreas
2017Organisation schwach strukturierter TextdokumenteKopf, Benjamin
2020OSCAR: a textual and spatial exploratory search engine for OpenStreetMap dataBahrdt, Daniel
2022OSM Scotland YardWagner, Jimmy
2022OSM ticket to rideFriedsam, Wenzel
2016OSM-Navigationssystem für Android WatchLukenich, Denis
2021Over-the-web retrieval and visualization of massive trajectory setsBaur, Lukas
2017The parallel complexity of certain algorithmic problems in group theoryKausch, Jonathan
2010Partially ordered two-way Büchi automataKufleitner, Manfred; Lauser, Alexander
2021Performance measurements for personalizable route planning for uncorrelated edge costsBühler, Felix
2022Personalisierbarer Android-Offline-RoutenplanerRatnamaheson, Niven
2022Personalized route planning : on finding your way in theory and practiceIhle, Florian Benjamin
2019Points of Interest - Eine Suche nach adäquaten KartenbeschriftungenBaur, Lukas