KOPS
English
Deutsch
Anmelden
Benutzername
Passwort
Anmelden
Bitte wenden Sie sich an das KOPS-Team, wenn Sie keinen Account der Universität Konstanz haben (kops.kim@uni-konstanz.de)
Haben Sie Ihr Passwort vergessen?
KOPS
Fachbereiche
Das gesamte Repositorium
English
Deutsch
Anmelden
Benutzername
Passwort
Anmelden
Bitte wenden Sie sich an das KOPS-Team, wenn Sie keinen Account der Universität Konstanz haben (kops.kim@uni-konstanz.de)
Haben Sie Ihr Passwort vergessen?
Startseite
Ressourcen
Personen
Leue, Stefan
Leue, Stefan
Lade...
E-Mail-Adresse
ORCID
0000-0002-4259-624X
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
2 Ergebnisse
Zurück zu den Ergebnissen
Filter
Typ
Preprint
Typ suchen
Submit
Autor:in
2
Leue, Stefan
1
Beer, Adrian
1
Heidinger, Stephan
1
Kühne, Uwe
1
Leitner-Fischer, Florian
Mehr anzeigen
Autorensuche
Submit
Thema
2
004
Search subject
Submit
Datum
Start
Ende
Submit
2011 - 2015
2
Enthält Dateien
2
Ja
Filter zurücksetzen
Einstellungen
Sortieren nach
Relevanz absteigend
Titel aufsteigend
Erscheinungsdatum absteigend
Freischaltungsdatum absteigend
Ergebnisse pro Seite
1
5
10
20
40
60
80
100
Alles durchsuchen
Suche
Typ: Preprint
×
Suchwerkzeuge
Suchergebnisse Publikationen
Exportieren
BibTeX
CSV
Gerade angezeigt
1 - 2 von 2
Lade...
Veröffentlichung
Preprint
Symbolic Causality Checking Using Bounded Model Checking
(
2015
)
Beer, Adrian
;
Heidinger, Stephan
;
Kühne, Uwe
;
Leitner-Fischer, Florian
;
Leue, Stefan
Lade...
Veröffentlichung
Preprint
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
(
2011
)
Leue, Stefan
;
Wei, Wei
0000-0002-4259-624X 