Skip navigation
Zur Startseite
Auflistung nach
Bereiche
& Sammlungen
Auflistung nach:
Erscheinungsdatum
Autor
Titel
Schriftenreihe
Institut
Hilfe
Über OPUS
Publizieren mit OPUS
Rechtliche Informationen
Suchen & Browsen
Anmelden:
Mein OPUS
Abonnement
Neuerscheinungen
Benutzerprofil bearbeiten
Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Deutsch
English
OPUS
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 1-10 von 16 (Suchzeit: 0.001 Sekunden).
Zurück
1
2
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2011
An event model for WS-BPEL 2.0
Kopp, Oliver
;
Henke, Sebastian
;
Karastoyanova, Dimka
;
Khalaf, Rania
;
Leymann, Frank
;
Sonntag, Mirko
;
Steinmetz, Thomas
;
Unger, Tobias
;
Wetzstein, Branimir
2011
Propagation of states from BPEL process instances to Chevron models
Schumm, David
;
Karastoyanova, Dimka
;
Leymann, Frank
;
Lie, Sumadi
2010
Methods for coreference visualization and annotation
Burkovski, Andre
;
Heidemann, Gunther
;
Kobdani, Hamidreza
;
Schütze, Hinrich
2011
WS-BPEL extension for compliance fragments (BPEL4CFrags), Version 1.0
Görlach, Katharina
;
Kopp, Oliver
;
Leymann, Frank
;
Schumm, David
;
Strauch, Steve
2010
A language-agnostic framework for the analysis of the syntactic structure of process fragments
Mancioppi, Michele
;
Danylevych, Olha
;
Papazoglou, Mike P.
;
Leymann, Frank
2010
Complexity results and the growths of hairpin completions of regular languages
Diekert, Volker
;
Kopecki, Steffen
2010
Rankers over infinite words
Dartois, Luc
;
Kufleitner, Manfred
;
Lauser, Alexander
2010
Comparison of standard and Zipf-based document retrieval heuristics
Hoffmann, Benjamin
2010
Shortest paths and negative cycle detection in graphs with negative weights. I, The Bellman-Ford-Moore algorithm revisited
Lewandowski, Stefan
2010
On the iterated hairpin completion
Kopecki, Steffen
Facetten
Autor
5
Leymann, Frank
4
Kufleitner, Manfred
4
Lauser, Alexander
3
Schumm, David
2
Karastoyanova, Dimka
2
Kopecki, Steffen
2
Kopp, Oliver
1
Burkovski, Andre
1
Carabelli, Ben W.
1
Danylevych, Olha
.
weiter>
Institut
8
Institut für Formale Methoden der...
5
Institut für Architektur von Anwe...
2
Institut für Maschinelle Sprachve...
1
Institut für Parallele und Vertei...
1
Institut für Visualisierung und I...
1
Sonderforschungsbereich 732, Inc...
Erscheinungsdatum
1
2014
1
2013
5
2011
9
2010