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
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:
Sortiert nach:
Titel
Erscheinungsdatum
Einreichdatum
Sortiert nach:
Aufsteigend
Absteigend
Treffer/Seite
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autoren/Einträge:
Alle
1
5
10
15
20
25
30
35
40
45
50
Anzeige der Treffer 76 bis 95 von 105
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2010
Partially ordered two-way Büchi automata
Kufleitner, Manfred
;
Lauser, Alexander
2006
Polynomials, fragments of temporal logic and the variety DA over traces
Kufleitner, Manfred
2007
A proof of the factorization forest theorem
Kufleitner, Manfred
2011
Propagation of states from BPEL process instances to Chevron models
Schumm, David
;
Karastoyanova, Dimka
;
Leymann, Frank
;
Lie, Sumadi
1997
A protocol for orphan detection and termination in mobile agent systems
Baumann, Joachim
1997
A protocol for preserving the exactly-once property of mobile agents
Rothermel, Kurt
;
Straßer, Markus
1999
A protocol to detect malicious hosts attacks by using reference states
Hohl, Fritz
2011
A prototype for view-based monitoring of BPEL processes
Schumm, David
;
Latuske, Gregor
;
Leymann, Frank
2010
Rankers over infinite words
Dartois, Luc
;
Kufleitner, Manfred
;
Lauser, Alexander
2005
Reachability analysis of multithreaded software with asynchronous communication
Bouajjani, Ahmed
;
Esparza, Javier
;
Schwoon, Stefan
;
Strejcek, Jan
2005
Realizing enterprise integration patterns in WebSphere
Scheibler, Thorsten
;
Leymann, Frank
1993
Representing time in multimedia systems
Wahl, Thomas
;
Rothermel, Kurt
1999
A robust and efficient mechanism for constructing multicast acknowledgment trees
Rothermel, Kurt
;
Maihöfer, Christian
2002
Ein Satz von Komponenten zur nachhaltigen Verwaltung und Umwandlung von frei formatierten Wörterbuchdaten
Lagally, Klaus
;
Rzehak, Lutz
1998
The shadow approach : an orphan detection protocol for mobile agents
Baumann, Joachim
;
Rothermel, Kurt
2010
Shortest paths and negative cycle detection in graphs with negative weights. I, The Bellman-Ford-Moore algorithm revisited
Lewandowski, Stefan
2006
Space-based computing and semantics : a web service purist's point of view
Leymann, Frank
2002
Spatial aware geographic Forwarding for mobile ad hoc networks
Tian, Jing
;
Stepanov, Illya
;
Rothermel, Kurt
1999
Specification and scheduling of adaptive multimedia documents
Wirag, Stefan
1999
System mechanisms for partial rollback of mobile agent execution
Straßer, Markus
;
Rothermel, Kurt