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
Suche
Suche:
Gesamter Bestand
Universität Stuttgart
05 Fakultät Informatik, Elektrotechnik und Informationstechnik
nach
Aktuelle Facetten:
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Neue Suche starten
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Titel
Autor
Dokumentart
Institut
Erscheinungsdatum
Entspricht
Enthält
ID
Entspricht nicht
Enthält nicht
Keine ID
Treffer 1-10 von 20 (Suchzeit: 0.006 Sekunden).
Zurück
1
2
Weiter
Treffer Dokumente:
Erscheinungsdatum
Titel
Autor(en)
2005
Inverse monoids : decidability and complexity of algebraic questions
Lohrey, Markus
;
Ondrusch, Nicole
2007
A proof of the factorization forest theorem
Kufleitner, Manfred
2009
Fragments of first-order logic over infinite words
Diekert, Volker
;
Kufleitner, Manfred
2004
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version
Ehrig, Hartmut
;
König, Barbara
2005
Reachability analysis of multithreaded software with asynchronous communication
Bouajjani, Ahmed
;
Esparza, Javier
;
Schwoon, Stefan
;
Strejcek, Jan
2006
Polynomials, fragments of temporal logic and the variety DA over traces
Kufleitner, Manfred
2005
First order and counting theories of omega-automatic structures
Kuske, Dietrich
;
Lohrey, Markus
2005
Model checking hierarchical structures
Lohrey, Markus
2005
Fixpoint logics on hierarchical structures
Göller, Stefan
;
Lohrey, Markus
2006
Efficient algorithms for alternating pushdown systems : application to certificate chain discovery with threshold subjects
Suwimonteerabuth, Dejvuth
;
Schwoon, Stefan
;
Esparza, Javier
Facetten
Autor
6
Lohrey, Markus
4
Esparza, Javier
4
Kufleitner, Manfred
4
Schwoon, Stefan
3
König, Barbara
2
Diekert, Volker
2
Göller, Stefan
1
Bouajjani, Ahmed
1
Buchholz, Friedhelm
1
Dotti, Fernando Luis
.
weiter>
Institut
1
Sonstige Einrichtung
Erscheinungsdatum
1
2009
1
2007
6
2006
5
2005
4
2004
1
2002
1
2001
1
2000