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 34 bis 53 von 105
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2004
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version
Ehrig, Hartmut
;
König, Barbara
2005
The design and implementation of a presentation system for interactive 3D graphics applications
Stegmaier, Simon
;
Klein, Thomas
;
Strengert, Magnus
;
Ertl, Thomas
1999
Dynamic distance maps of the Internet
Theilmann, Wolfgang
;
Rothermel, Kurt
2002
A dynamic network scenario emulation tool
Herrscher, Daniel
;
Rothermel, Kurt
2006
Efficient algorithms for alternating pushdown systems : application to certificate chain discovery with threshold subjects
Suwimonteerabuth, Dejvuth
;
Schwoon, Stefan
;
Esparza, Javier
1998
Efficient algorithms to find optimal agent migration strategies
Iqbal, Ashraf
;
Baumann, Joachim
;
Straßer, Markus
1998
Endbericht der Projektgruppe Fahrgemeinschaften
Heid, Herbert
;
Nicklas, Daniela
;
Porrmann, Alexander
;
Schäffer, Thomas
;
Scholz, Volker
1998
Endbericht der Projektgruppe Transportoptimierung
Fleischmann, Jörg
;
Hermes, Lars
;
Spribille, Tobias
2003
An enhanced application model for scheduling in grid environments
Ruffner, Christoph
;
Marrón, Pedro José
;
Rothermel, Kurt
2000
Erfahrungen mit dem System TROSS beim DRK
Buchholz, Friedhelm
;
Wagner, Frank
2004
Event management for mobile users
Bauer, Martin
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
2001
Existential and positive theories of equations in graph products
Diekert, Volker
;
Lohrey, Markus
2006
The expressive power of simple logical fragments over traces
Horsch, Martin
;
Kufleitner, Manfred
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