> Detailanzeige

Universität Stuttgart Fakultät Informatik, Elektrotechnik und Informationstechnik

Technischer Bericht

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Elektronische Schriftenreihe; Monographische Schriftenreihe
Titel: Technischer Bericht
Paralleltitel: Technical report
Weitere Titel: Paralleltitel teilweise: Report
Körperschaft: Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik
Erschienen: Stuttgart: [Fakultät Informatik, Elektrotechnik und Informationstechnik], [2003?]-
Erscheinungsverlauf: Nr. 2003/01 [?]-
Sprache: Deutsch; Englisch
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen:
Zugangsstatus: Freier Zugang

> Verlagsreihe

Carabelli, Ben W. [Verfasser:in]; Duerr, Frank [Verfasser:in]; Koldehofe, Boris [Verfasser:in]; Rothermel, Kurt [Verfasser:in]
A network abstraction for control systems Ben W. Carabelli, Frank Dürr, Boris Koldehofe, Kurt Rothermel
Stuttgart: [Fakultät Informatik, Elektrotechnik und Informationstechnik], April 2014

Kopp, Oliver [Sonstige Person, Familie und Körperschaft]; Henke, Sebastian [Sonstige Person, Familie und Körperschaft]; Karastoyanova, Dimka [Sonstige Person, Familie und Körperschaft]; Khalaf, Rania [Sonstige Person, Familie und Körperschaft]; Leymann, Frank [Sonstige Person, Familie und Körperschaft]; Sonntag, Mirko [Sonstige Person, Familie und Körperschaft]; Steinmetz, Thomas [Sonstige Person, Familie und Körperschaft]; Unger, Tobias [Sonstige Person, Familie und Körperschaft]; Wetzstein, Branimir [Sonstige Person, Familie und Körperschaft]
An event model for WS-BPEL 2.0 Oliver Kopp; Sebastian Henke; Dimka Karastoyanova; Rania Khalaf; Frank Leymann; Mirko Sonntag; Thomas Steinmetz; Tobias Unger; Branimir Wetzstein
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2011

Görlach, Katharina [Sonstige Person, Familie und Körperschaft]; Kopp, Oliver [Sonstige Person, Familie und Körperschaft]; Leymann, Frank [Sonstige Person, Familie und Körperschaft]; Schumm, David [Sonstige Person, Familie und Körperschaft]; Strauch, Steve [Sonstige Person, Familie und Körperschaft]
WS-BPEL extension for compliance fragments (BPEL4CFrags), Version 1.0 Katharina Görlach; Oliver Kopp; Frank Leymann; David Schumm; Steve Strauch
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2011

Kufleitner, Manfred [Verfasser:in]; Lauser, Alexander [Verfasser:in]
Around dot-depth one Manfred Kufleitner; Alexander Lauser
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2011

Schumm, David [Sonstige Person, Familie und Körperschaft]; Karastoyanova, Dimka [Sonstige Person, Familie und Körperschaft]; Leymann, Frank [Sonstige Person, Familie und Körperschaft]; Lie, Sumadi [Sonstige Person, Familie und Körperschaft]
Propagation of states from BPEL process instances to Chevron models David Schumm; Dimka Karastoyanova; Frank Leymann; Sumadi Lie
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2011

Schumm, David [Verfasser:in]; Latuske, Gregor [Verfasser:in]; Leymann, Frank [Verfasser:in]
A prototype for view-based monitoring of BPEL processes David Schumm; Gregor Latuske; Frank Leymann
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2011

Lewandowski, Stefan [Verfasser:in]
Shortest paths and negative cycle detection in graphs with negative weights 1 The Bellman-Ford-Moore algorithm revisited Stefan Lewandowski
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Hoffmann, Benjamin Sascha [Verfasser:in]
Comparison of standard and Zipf-based document retrieval heuristics Benjamin Hoffmann
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Mancioppi, Michele [Sonstige Person, Familie und Körperschaft]; Danylevych, Olha [Sonstige Person, Familie und Körperschaft]; Papazoglou, Michael P. [Sonstige Person, Familie und Körperschaft]; Leymann, Frank [Sonstige Person, Familie und Körperschaft]
A language-agnostic framework for the analysis of the syntactic structure of process fragments Michele Mancioppi; Olha Danylevych; Mike P. Papazoglou; Frank Leymann
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Kallas, Jakub [Verfasser:in]; Kufleitner, Manfred [Verfasser:in]; Lauser, Alexander [Verfasser:in]
First-order fragments with successor over infinite words Jakub Kallas; Manfred Kufleitner; Alexander Lauser
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2010

Diekert, Volker [Verfasser:in]; Kopecki, Steffen [Verfasser:in]
Complexity results and the growths of hairpin completions of regular languages Volker Diekert and Steffen Kopecki
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Dartois, Luc [Verfasser:in]; Kufleitner, Manfred [Verfasser:in]; Lauser, Alexander [Verfasser:in]
Rankers over infinite words Luc Dartois; Manfred Kufleitner; Alexander Lauser
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Burkovski, Andre [Sonstige Person, Familie und Körperschaft]; Heidemann, Gunther [Sonstige Person, Familie und Körperschaft]; Kobdani, Hamidreza [Sonstige Person, Familie und Körperschaft]; Schütze, Hinrich [Sonstige Person, Familie und Körperschaft]
Methods for coreference visualization and annotation Andre Burkovski; Gunther Heidemann; Hamidreza Kobdani; Hinrich Schütze
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2010

Kopecki, Steffen [Verfasser:in]
On the iterated hairpin completion Steffen Kopecki
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Kufleitner, Manfred [Verfasser:in]; Lauser, Alexander [Verfasser:in]
Partially ordered two-way Büchi automata Manfred Kufleitner; Alexander Lauser
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2010 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Iron, Rolf [Sonstige Person, Familie und Körperschaft]; Kopp, Oliver [Sonstige Person, Familie und Körperschaft]; Leiner, Andreas [Sonstige Person, Familie und Körperschaft]; Leymann, Frank [Sonstige Person, Familie und Körperschaft]; Massuthe, Peter [Sonstige Person, Familie und Körperschaft]
Abschlussbericht des Verbundprojekts Tools4BPEL Rolf Iron, Oliver Kopp, Andreas Leiner, Frank Leymann, Peter Massuthe
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Diekert, Volker [Verfasser:in]; Kufleitner, Manfred [Verfasser:in]
Fragments of first-order logic over infinite words Volker Diekert; Manfred Kufleitner
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Staiger-Stöhr, Stefan [Verfasser:in]
Implementing sparse flow-sensitive Andersen analysis Stefan Staiger-Stöhr
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Fouz, Mahmoud [Sonstige Person, Familie und Körperschaft]; Kufleitner, Manfred [Sonstige Person, Familie und Körperschaft]; Manthey, Bodo [Sonstige Person, Familie und Körperschaft]; Zeini Jahromi, Nima [Sonstige Person, Familie und Körperschaft]
On smoothed analysis of quicksort and hoare's find Mahmoud Fouz; Manfred Kufleitner; Bodo Manthey; Nima Zeini Jahromi
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Mietzner, Ralph [Verfasser:in]
Using variability descriptors to describe customizable SaaS application templates Ralph Mietzner
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2008 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Karastoyanova, Dimka [Sonstige Person, Familie und Körperschaft]; Lessen, Tammo van [Sonstige Person, Familie und Körperschaft]; Leymann, Frank [Sonstige Person, Familie und Körperschaft]; Nitzsche, Jörg [Sonstige Person, Familie und Körperschaft]; Wutke, Daniel [Sonstige Person, Familie und Körperschaft]
WS-BPEL extension for semantic web services (BPEL4SWS), version 1.0 Dimka Karastoyanova; Tammo Van Lessen; Frank Leymann; Joerg Nitzsche; Daniel Wutke
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2008 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Kopp, Oliver [Verfasser:in]; Mietzner, Ralph [Verfasser:in]; Leymann, Frank [Verfasser:in]
Abstract syntax of WS-BPEL 2.0 Oliver Kopp; Ralph Mietzner; Frank Leymann
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2008 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Staiger, Stefan [Sonstige Person, Familie und Körperschaft]; Vogel, Gunther [Sonstige Person, Familie und Körperschaft]; Keul, Steffen [Sonstige Person, Familie und Körperschaft]; Wiebe, Eduard [Sonstige Person, Familie und Körperschaft]
Interprocedural static single assignment form in Bauhaus Stefan Staiger; Gunther Vogel; Steffen Keul; Eduard Wiebe
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2007 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Khalaf, Rania [Verfasser:in]; Leymann, Frank [Verfasser:in]
Coordination protocols for split BPEL loops and scopes Rania Khalaf; Frank Leymann
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2007 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Khalaf, Rania [Verfasser:in]
Note on syntactic details of split BPEL-D business processes Rania Khalaf
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2007 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Kufleitner, Manfred [Verfasser:in]
A proof of the factorization forest theorem Manfred Kufleitner
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2007 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Blatt, Markus [Verfasser:in]; Bastian, Peter [Verfasser:in]
The iterative solver template library Markus Blatt and Peter Bastian
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Suwimonteerabuth, Dejvuth [Verfasser:in]; Schwoon, Stefan [Verfasser:in]; Esparza, Javier [Verfasser:in]
Efficient algorithms for alternating pushdown systems application to certificate chain discovery with threshold subjects Dejvuth Suwimonteerabuth; Stefan Schwoon and Javier Esparza
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Kufleitner, Manfred [Verfasser:in]
Polynomials, fragments of temporal logic and the variety DA over traces Manfred Kufleitner
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Leymann, Frank [Verfasser:in]
Space-based computing and semantics a web service purist's point of view Frank Leymann
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Esparza, Javier [Verfasser:in]; Kiefer, Stefan [Verfasser:in]; Schwoon, Stefan [Verfasser:in]
Abstraction refinement with craig interpolation and symbolic pushdown systems Javier Esparza; Stefan Kiefer and Stefan Schwoon
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Göller, Stefan [Verfasser:in]; Lohrey, Markus [Verfasser:in]
Infinite state model checking of propositional dynamic logics Stefan Göller and Markus Lohrey
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Horsch, Martin [Verfasser:in]; Kufleitner, Manfred [Verfasser:in]
The expressive power of simple logical fragments over traces Martin Horsch and Manfred Kufleitner
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

König, Barbara [Verfasser:in]; Kozioura, Vitali [Verfasser:in]
Counterexample-guided abstraction refinement for the analysis of graph transformation systems Barbara König and Vitali Kozioura
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Marrón, Pedro José [Herausgeber:in]
5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze" Stuttgart, 17. u. 18. Juli 2006 Pedro José Marrón (Hrsg.)
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Bouajjani, Ahmed [Sonstige Person, Familie und Körperschaft]; Esparza, Javier [Sonstige Person, Familie und Körperschaft]; Schwoon, Stefan [Sonstige Person, Familie und Körperschaft]; Strejček, Jan [Sonstige Person, Familie und Körperschaft]
Reachability analysis of multithreaded software with asynchronous communication Ahmed Bouajjani; Javier Esparza; Stefan Schwoon and Jan Strejček
Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2005 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: