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 63 to 82 of 105 < previous   next >
Issue DateTitleAuthor(s)
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
2007A proof of the factorization forest theoremKufleitner, Manfred
2011Propagation of states from BPEL process instances to Chevron modelsSchumm, David; Karastoyanova, Dimka; Leymann, Frank; Lie, Sumadi
1997A protocol for orphan detection and termination in mobile agent systemsBaumann, Joachim
1997A protocol for preserving the exactly-once property of mobile agentsRothermel, Kurt; Straßer, Markus
1999A protocol to detect malicious hosts attacks by using reference statesHohl, Fritz