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 59 bis 78 von 199 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
1998Endbericht der Projektgruppe FahrgemeinschaftenHeid, Herbert; Nicklas, Daniela; Porrmann, Alexander; Schäffer, Thomas; Scholz, Volker
1998Endbericht der Projektgruppe TransportoptimierungFleischmann, Jörg; Hermes, Lars; Spribille, Tobias
2024Entwicklung eines Frameworks für die Lehre in der Theoretischen InformatikDoderer, Marc
2000Erfahrungen mit dem System TROSS beim DRKBuchholz, Friedhelm; Wagner, Frank
2023Erkennung von Gruppen mit CC0 SchaltkreisenBienias, Joel
2013EV hitting sets in road networksNusser, André
2020Evaluation von Strategien für die Konstruktion von Contraction HierarchiesAhmed, Aimn
2001Existential and positive theories of equations in graph productsDiekert, Volker; Lohrey, Markus
2016Experimental analysis of randomized calculations of average rankingsZeiß, Tim
2020Experimental study of the AKS sorting networkFischer, Alexander
2019Experimentelle Bestimmung vergleichsoptimaler SortieralgorithmenObst, Julian
2015Exploring maps using Leap MotionScholz, Martin
2006The expressive power of simple logical fragments over tracesHorsch, Martin; Kufleitner, Manfred
2014Externe komprimierte GraphdarstellungenBagg, Tobias
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
Anzeige der Treffer 59 bis 78 von 199 < zurück   nächste