Browsing by Series Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik

Jump to: 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
or enter first few letters:  
Showing results 56 to 75 of 105 < previous   next >
Issue DateTitleAuthor(s)
2009Implementing sparse flow-sensitive Andersen analysisStaiger-Stöhr, Stefan
2001Improving the processing of decision support queries : strategies for a DSS optimizerSchwarz, Holger; Wagner, Ralf; Mitschang, Bernhard
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