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 66 to 85 of 105 < previous   next >
Issue DateTitleAuthor(s)
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
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