1. OPUS

Auflistung nach Schriftenreihe Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik

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 58 bis 77 von 105 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2006Infinite state model checking of propositional dynamic logicsGöller, Stefan; Lohrey, Markus
2007Interprocedural static single assignment form in BauhausStaiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard
2005Inverse monoids : decidability and complexity of algebraic questionsLohrey, Markus; Ondrusch, Nicole
2006The iterative solver template libraryBlatt, Markus; Bastian, Peter
1999Kooperative Bildverarbeitung und Lokalisierung in einem Team von RoboternOswald, Norbert; Lafrenz, Reinhard; Levi, Paul
2010A language-agnostic framework for the analysis of the syntactic structure of process fragmentsMancioppi, Michele; Danylevych, Olha; Papazoglou, Mike P.; Leymann, Frank
2005Laws for rewriting queries containing division operatorsRantzau, Ralf; Mangold, Christoph
2001Local feature histograms for object recognition from range imagesLeibe, Bastian; Hetzel, Günter; Levi, Paul
1998Makanin's algorithm for solving word equations with regular constraintsDiekert, Volker
2001A map-based dead reckoning protocol for updating location informationLeonhardi, Alexander; Nicu, Christian; Rothermel, Kurt
2010Methods for coreference visualization and annotationBurkovski, Andre; Heidemann, Gunther; Kobdani, Hamidreza; Schütze, Hinrich
2005Model checking hierarchical structuresLohrey, Markus
2014A network abstraction for control systemsCarabelli, Ben W.; Dürr, Frank; Koldehofe, Boris; Rothermel, Kurt
1999Nexus - an open global infrastructure for spatial-aware applicationsHohl, Fritz; Kubach, Uwe; Leonhardi, Alexander; Rothermel, Kurt; Schwehm, Markus
2004A note on on-the-fly verification algorithmsSchwoon, Stefan; Esparza, Javier
2007Note on syntactic details of split BPEL-D business processesKhalaf, Rania
2009On smoothed analysis of quicksort and hoare's findFouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima
2010On the iterated hairpin completionKopecki, Steffen
2010Partially ordered two-way Büchi automataKufleitner, Manfred; Lauser, Alexander
2006Polynomials, fragments of temporal logic and the variety DA over tracesKufleitner, Manfred
Anzeige der Treffer 58 bis 77 von 105 < zurück   nächste