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 41 to 60 of 105 < previous   next >
Issue DateTitleAuthor(s)
1998Endbericht der Projektgruppe TransportoptimierungFleischmann, Jörg; Hermes, Lars; Spribille, Tobias
2003An enhanced application model for scheduling in grid environmentsRuffner, Christoph; Marrón, Pedro José; Rothermel, Kurt
2000Erfahrungen mit dem System TROSS beim DRKBuchholz, Friedhelm; Wagner, Frank
2004Event management for mobile usersBauer, Martin
2011An event model for WS-BPEL 2.0Kopp, Oliver; Henke, Sebastian; Karastoyanova, Dimka; Khalaf, Rania; Leymann, Frank; Sonntag, Mirko; Steinmetz, Thomas; Unger, Tobias; Wetzstein, Branimir
2001Existential and positive theories of equations in graph productsDiekert, Volker; Lohrey, Markus
2006The expressive power of simple logical fragments over tracesHorsch, Martin; Kufleitner, Manfred
2000Final report of design workshop : (10.-15.7.2000)Nicklas, Daniela; Mitarbeiter der Forschergruppe Nexus
2001A fine-grained addressing concept for GeoCastCoschurba, Peter; Rothermel, Kurt
2005First order and counting theories of omega-automatic structuresKuske, Dietrich; Lohrey, Markus
2010First-order fragments with successor over infinite wordsKallas, Jakub; Kufleitner, Manfred; Lauser, Alexander
2005Fixpoint logics on hierarchical structuresGöller, Stefan; Lohrey, Markus
2009Fragments of first-order logic over infinite wordsDiekert, Volker; Kufleitner, Manfred
1999A framework for cooperative object recognitionOswald, Norbert; Levi, Paul
2000A framework to protect mobile agents by using reference statesHohl, Fritz
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