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 154 bis 173 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2024Quadratic equations in free groups and free monoidsNatterer, Silas
2010Rankers over infinite wordsDartois, Luc; Kufleitner, Manfred; Lauser, Alexander
2005Reachability analysis of multithreaded software with asynchronous communicationBouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan
2005Reguläre HäufigkeitsberechnungenAustinat, Holger
2016Resultatsclustering und einfache POI Exploration für OSCARBagg, Tobias
2005Ring-Isomorphie-Probleme und das Faktorisieren großer ZahlenStaiger, Stefan
2019Route planning based on destination signs in OpenStreetMapRapp, Jan
2023Routenplanung für Elektrofahrzeuge basierend auf OpenStreetMapHieber, Robin
2014Routenplanung mit NebenbedingungenHartmann, Frederik
2012SAT Solving mit GPU UnterstützungSieweck, Philipp
2002Ein Satz von Komponenten zur nachhaltigen Verwaltung und Umwandlung von frei formatierten WörterbuchdatenLagally, Klaus; Rzehak, Lutz
2022Self-localization of IoT devices - development and implementation of a system for self-localization of embedded devices based on Wi-Fi informationSchäfer, Alexander
2015Separierbarkeit über endlichen Wörtern bei einer QuantorenalternierungAbdelaziz, Amir
2013Shortest path speed up techniques : lower bounds and applicationsEisner, Jochen
2010Shortest paths and negative cycle detection in graphs with negative weights. I, The Bellman-Ford-Moore algorithm revisitedLewandowski, Stefan
2023Sichtbarkeit in triangulierten planaren UnterteilungenLarche, Dominik
2010Similarity search with set intersection as a distance measureHoffmann, Benjamin Sascha
2021Simulation and analysis of complex dynamics in a low-dimensional model of a vibration-machineRoggenbuck, Kay
2016The simultaneous maze solving problemsNusser, André
2012Solving algorithmic problems in Baumslag-Solitar groups and their extensions using data compressionLaun, Jürn-Jochen
Anzeige der Treffer 154 bis 173 von 198 < zurück   nächste