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 66 bis 85 von 105
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
1998
Makanin's algorithm for solving word equations with regular constraints
Diekert, Volker
2001
A map-based dead reckoning protocol for updating location information
Leonhardi, Alexander
;
Nicu, Christian
;
Rothermel, Kurt
2010
Methods for coreference visualization and annotation
Burkovski, Andre
;
Heidemann, Gunther
;
Kobdani, Hamidreza
;
Schütze, Hinrich
2005
Model checking hierarchical structures
Lohrey, Markus
2014
A network abstraction for control systems
Carabelli, Ben W.
;
Dürr, Frank
;
Koldehofe, Boris
;
Rothermel, Kurt
1999
Nexus - an open global infrastructure for spatial-aware applications
Hohl, Fritz
;
Kubach, Uwe
;
Leonhardi, Alexander
;
Rothermel, Kurt
;
Schwehm, Markus
2004
A note on on-the-fly verification algorithms
Schwoon, Stefan
;
Esparza, Javier
2007
Note on syntactic details of split BPEL-D business processes
Khalaf, Rania
2009
On smoothed analysis of quicksort and hoare's find
Fouz, Mahmoud
;
Kufleitner, Manfred
;
Manthey, Bodo
;
Zeini Jahromi, Nima
2010
On the iterated hairpin completion
Kopecki, Steffen
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