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 72 bis 91 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2005First order and counting theories of omega-automatic structuresKuske, Dietrich; Lohrey, Markus
2010First-order fragments with successor over infinite wordsKallas, Jakub; Kufleitner, Manfred; Lauser, Alexander
2005Fixpoint logics on hierarchical structuresGöller, Stefan; Lohrey, Markus
2011Formal language theory of hairpin formationsKopecki, Steffen
2014Formal language theory of logic fragmentsLauser, Alexander
2009Fragments of first-order logic over infinite wordsDiekert, Volker; Kufleitner, Manfred
2002Gegenseitige Simulation von DatenstrukturenPetersen, Holger
2015The Generalized Minimum Manhattan Network ProblemSchnizler, Michael
2022Generierung und Abdeckung repräsentativer Pfadmengen in StraßennetzwerkenBerner, Lukas
2024Generierung von Minecraft Welten aus OpenStreetMap-DatenDürr, Friedrich
2019Generierung von virtuellen Welten aus OSM-DatenBlumenröther, Julian
2013Das Geographiespiel in der Theorie und seine Realisierung als AppSteinhart, David
2013Gestensteuerung von Routenplanern mittels KinectScholz, Martin
2014Gewisse Eigenschaften deterministischer Automaten und ihre KomplexitätRathgeber, Moritz
2000Gleichungen mit regulären Randbedingungen über freien GruppenHagenah, Christian
2018Grafisches Clustering von OSCAR-SuchresultatenMakolli, Sokol
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.
Anzeige der Treffer 72 bis 91 von 198 < zurück   nächste