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 48 bis 67 von 105
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2000
Final report of design workshop : (10.-15.7.2000)
Nicklas, Daniela
;
Mitarbeiter der Forschergruppe Nexus
2001
A fine-grained addressing concept for GeoCast
Coschurba, Peter
;
Rothermel, Kurt
2005
First order and counting theories of omega-automatic structures
Kuske, Dietrich
;
Lohrey, Markus
2010
First-order fragments with successor over infinite words
Kallas, Jakub
;
Kufleitner, Manfred
;
Lauser, Alexander
2005
Fixpoint logics on hierarchical structures
Göller, Stefan
;
Lohrey, Markus
2009
Fragments of first-order logic over infinite words
Diekert, Volker
;
Kufleitner, Manfred
1999
A framework for cooperative object recognition
Oswald, Norbert
;
Levi, Paul
2000
A framework to protect mobile agents by using reference states
Hohl, Fritz
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