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 201
< zurück
nächste
Erscheinungsdatum
Titel
Autor(en)
2005
Inverse monoids : decidability and complexity of algebraic questions
Lohrey, Markus
;
Ondrusch, Nicole
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