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 70 to 89 of 105 < previous   next >
Issue DateTitleAuthor(s)
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
2011A prototype for view-based monitoring of BPEL processesSchumm, David; Latuske, Gregor; Leymann, Frank
2010Rankers over infinite wordsDartois, Luc; Kufleitner, Manfred; Lauser, Alexander
2005Reachability analysis of multithreaded software with asynchronous communicationBouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan
2005Realizing enterprise integration patterns in WebSphereScheibler, Thorsten; Leymann, Frank
1993Representing time in multimedia systemsWahl, Thomas; Rothermel, Kurt
1999A robust and efficient mechanism for constructing multicast acknowledgment treesRothermel, Kurt; Maihöfer, Christian
2002Ein Satz von Komponenten zur nachhaltigen Verwaltung und Umwandlung von frei formatierten WörterbuchdatenLagally, Klaus; Rzehak, Lutz