Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Series
Institute
Help
Publish with OPUS [de]
Legal aspects & open access [de]
Search & browse [de]
Sign on to:
My OPUS
Receive email
updates
Edit Profile
University of Stuttgart
OPUS - Publication Server of the University of Stuttgart
Deutsch
English
OPUS
Search
Search:
All of OPUS
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
for
Current filters:
Title
Author
Publication Type
Institute
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Publication Type
Institute
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Publication Type
Institute
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 21 (Search time: 0.011 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
2011
Temporal logic for properties with relative frequency
Decker, Normann
2005
Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen
Staiger, Stefan
2011
Über die Billaudsche Vermutung
Walter, Tobias
2011
Eine Variante der Burrows-Wheeler Transformation mit Permutationen
Riegger, Philipp M.
2014
Das Wortproblem für Omega-Terme über Zweivariablenlogik
Wächter, Jan Philipp
2012
Contraction Hierarchies für komplexe Kostenmaße
Ruopp, Manuel
2012
SAT Solving mit GPU Unterstützung
Sieweck, Philipp
2011
Untersuchung von Eindeutigen Büchi Automaten
Pflüger, Hermann
2014
Offline-Speicherung und Darstellung von Geodaten auf Mobilgeräten
Krumpe, Filip
2011
Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen
Kausch, Jonathan
Discover
Author
1
Abdelaziz, Amir
1
Bahrdt, Daniel
1
Bächtle, Patrick
1
Bühler, Stefan
1
Decker, Normann
1
Groß, Zeno-Oliver
1
Hartmann, Frederik
1
Hildinger, Markus
1
Jahn, Franz G.
1
Kara, Ferdi
.
next >
Date issued
2
2015
3
2014
2
2013
8
2012
5
2011
1
2005