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 21 bis 40 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2011Around dot-depth oneKufleitner, Manfred; Lauser, Alexander
2022Asynchronous programs on IoT devicesPflugfelder, Christian
2006Automatic synthesis of distributed transition systemsStefanescu, Alin
2015Automatische Platzierung von Beschriftung in GebietenKnabben, Moritz
2018Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher EigenschaftenFörster, Eric
2020Automaton structures : decision problems and structure theoryWächter, Jan Philipp
2014Autonome Selbstlokalisierung und Tracking basierend auf MobilfunkbasisstationenHaas, Stephan
2018Average case considerations for MergelnsertionStober, Florian
2022Berechnung optimaler Wege im öffentlichen VerkehrSander, Jurek
2012Beschleunigte Berechnung von ressourcenbeschränkten kürzesten WegenVollmer, Peter
2004A case study : verifying a mutual exclusion protocol with process creation using graph transformation systemsDotti, Fernando Luis; König, Barbara; Santos, Osmar Marchi dos; Ribeiro, Leila
2023CH-basierte Darstellung von Straßennetzwerken mit optimierter EntfaltungsreihenfolgeHeim, Sophia
2021Circuit complexity of group theoretic problemsWeiß, Armin
2010Comparison of standard and Zipf-based document retrieval heuristicsHoffmann, Benjamin
2010Complexity results and the growths of hairpin completions of regular languagesDiekert, Volker; Kopecki, Steffen
2004Complexity results for checking distributed implementabilityHeljanko, Keijo; Stefanescu, Alin
1999Complexity results for confluence problemsLohrey, Markus
2003Computational and logical aspects of infinite monoidsLohrey, Markus
2021Computing shortest path distances based on cluster-pairsEpple, Lukas
2022Consistent pruning and simplification of administrative subdivisions in OpenStreetMapBauer, Florian
Anzeige der Treffer 21 bis 40 von 198 < zurück   nächste