> Details

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

Technischer Bericht

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Technischer Bericht
Parallel title: Technical report
Other titles: Paralleltitel teilweise: Report
Corporation: Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik
Published: Stuttgart: [Fakultät Informatik, Elektrotechnik und Informationstechnik], [2003?]-
Publication information: Nr. 2003/01 [?]-
Language: German; English
Keywords: Monografische Reihe
Origination:
Footnote:
Access State: Open Access

> Publishers' series

Carabelli, Ben W. [Author]; Duerr, Frank [Author]; Koldehofe, Boris [Author]; Rothermel, Kurt [Author]
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 [Other]; Henke, Sebastian [Other]; Karastoyanova, Dimka [Other]; Khalaf, Rania [Other]; Leymann, Frank [Other]; Sonntag, Mirko [Other]; Steinmetz, Thomas [Other]; Unger, Tobias [Other]; Wetzstein, Branimir [Other]
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

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

Görlach, Katharina [Other]; Kopp, Oliver [Other]; Leymann, Frank [Other]; Schumm, David [Other]; Strauch, Steve [Other]
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 [Author]; Lauser, Alexander [Author]
Around dot-depth one Manfred Kufleitner; Alexander Lauser
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2011

Schumm, David [Other]; Karastoyanova, Dimka [Other]; Leymann, Frank [Other]; Lie, Sumadi [Other]
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

Lewandowski, Stefan [Author]
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

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

Mancioppi, Michele [Other]; Danylevych, Olha [Other]; Papazoglou, Michael P. [Other]; Leymann, Frank [Other]
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

Hoffmann, Benjamin Sascha [Author]
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

Dartois, Luc [Author]; Kufleitner, Manfred [Author]; Lauser, Alexander [Author]
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

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

Diekert, Volker [Author]; Kopecki, Steffen [Author]
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

Kufleitner, Manfred [Author]; Lauser, Alexander [Author]
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

Burkovski, Andre [Other]; Heidemann, Gunther [Other]; Kobdani, Hamidreza [Other]; Schütze, Hinrich [Other]
Methods for coreference visualization and annotation Andre Burkovski; Gunther Heidemann; Hamidreza Kobdani; Hinrich Schütze
Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2010

Staiger-Stöhr, Stefan [Author]
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

Diekert, Volker [Author]; Kufleitner, Manfred [Author]
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

Iron, Rolf [Other]; Kopp, Oliver [Other]; Leiner, Andreas [Other]; Leymann, Frank [Other]; Massuthe, Peter [Other]
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

Fouz, Mahmoud [Other]; Kufleitner, Manfred [Other]; Manthey, Bodo [Other]; Zeini Jahromi, Nima [Other]
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 [Author]
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

Kopp, Oliver [Author]; Mietzner, Ralph [Author]; Leymann, Frank [Author]
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

Karastoyanova, Dimka [Other]; Lessen, Tammo van [Other]; Leymann, Frank [Other]; Nitzsche, Jörg [Other]; Wutke, Daniel [Other]
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

Khalaf, Rania [Author]
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

Khalaf, Rania [Author]; Leymann, Frank [Author]
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

Kufleitner, Manfred [Author]
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

Staiger, Stefan [Other]; Vogel, Gunther [Other]; Keul, Steffen [Other]; Wiebe, Eduard [Other]
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

Göller, Stefan [Author]; Lohrey, Markus [Author]
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

Blatt, Markus [Author]; Bastian, Peter [Author]
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

Horsch, Martin [Author]; Kufleitner, Manfred [Author]
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

Marrón, Pedro José [Editor]
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

König, Barbara [Author]; Kozioura, Vitali [Author]
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

Suwimonteerabuth, Dejvuth [Author]; Schwoon, Stefan [Author]; Esparza, Javier [Author]
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

Leymann, Frank [Author]
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

Kufleitner, Manfred [Author]
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

Esparza, Javier [Author]; Kiefer, Stefan [Author]; Schwoon, Stefan [Author]
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

Bouajjani, Ahmed [Other]; Esparza, Javier [Other]; Schwoon, Stefan [Other]; Strejček, Jan [Other]
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

Search in field:

Recently searched for: