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 56 bis 75 von 105
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2009
Implementing sparse flow-sensitive Andersen analysis
Staiger-Stöhr, Stefan
2001
Improving the processing of decision support queries : strategies for a DSS optimizer
Schwarz, Holger
;
Wagner, Ralf
;
Mitschang, Bernhard
2006
Infinite state model checking of propositional dynamic logics
Göller, Stefan
;
Lohrey, Markus
2007
Interprocedural static single assignment form in Bauhaus
Staiger, Stefan
;
Vogel, Gunther
;
Keul, Steffen
;
Wiebe, Eduard
2005
Inverse monoids : decidability and complexity of algebraic questions
Lohrey, Markus
;
Ondrusch, Nicole
2006
The iterative solver template library
Blatt, Markus
;
Bastian, Peter
1999
Kooperative Bildverarbeitung und Lokalisierung in einem Team von Robotern
Oswald, Norbert
;
Lafrenz, Reinhard
;
Levi, Paul
2010
A language-agnostic framework for the analysis of the syntactic structure of process fragments
Mancioppi, Michele
;
Danylevych, Olha
;
Papazoglou, Mike P.
;
Leymann, Frank
2005
Laws for rewriting queries containing division operators
Rantzau, Ralf
;
Mangold, Christoph
2001
Local feature histograms for object recognition from range images
Leibe, Bastian
;
Hetzel, Günter
;
Levi, Paul
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