1. OPUS

Auflistung nach Schriftenreihe Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik

Gehe zu: 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
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 43 bis 62 von 105 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
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
2006The iterative solver template libraryBlatt, Markus; Bastian, Peter
1999Kooperative Bildverarbeitung und Lokalisierung in einem Team von RoboternOswald, Norbert; Lafrenz, Reinhard; Levi, Paul
Anzeige der Treffer 43 bis 62 von 105 < zurück   nächste