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 Institut Institut für Formale Methoden der Informatik
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 103 bis 122 von 199
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2022
Iterierte Substitutionen bei regulären Baumsprachen
Gaißert, Marcial
2018
Das Kachelungsproblem 4-wege-deterministischer Wang-Kacheln
Meisel, Tobias
2013
Kaskadenzerlegung spezieller Automatenklassen
Wächter, Jan Philipp
2006
Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation
Ondrusch, Nicole
2013
Kürzeste Wege im Wikipedia-Linkgraph
Kara, Ferdi
2020
Labeling interactive maps
Krumpe, Filip
2013
Lagerplatzhaltung - Formulierung und Lösung als diskretes Optimierungsproblem
Götz, Stefanie
2020
Learning metrics for balancing load in street-networks
Parga Cacheiro, Dominic
2016
Local divisors in formal languages
Walter, Tobias
2006
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
Kufleitner, Manfred
2021
A lower bound for the query phase of contraction hierarchies and hub labels and a provably optimal instance-based schema
Rupp, Tobias
;
Funke, Stefan
1998
Makanin's algorithm for solving word equations with regular constraints
Diekert, Volker
2015
Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen
Fleischer, Lukas
2012
Minimierung von Automaten mit einer beschränkten Anzahl von Fehlern
Jahn, Franz G.
2005
Model checking hierarchical structures
Lohrey, Markus
2018
Multi-criteria bicycle routing
Barth, Florian
2012
Multimodale Bereichsanfragen im Kontext von Routenplanern
Bahrdt, Daniel
2020
Natürlichsprachliche Anfragen an OSCAR
Kopf, Benjamin
2014
Neue Bedienkonzepte für mobile Routenplaner
Bahle, Stefanie
2011
Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen
Kausch, Jonathan