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
Scheben, Christoph
Person:
Scheben, Christoph
Lade...
E-Mail-Adresse
ORCID
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Scheben
Vorname
Christoph
person.page.name
2 Ergebnisse
Zurück zu den Ergebnissen
Filter
Typ
Working Paper/Technical Report
2
Typ suchen
search.filters.search.submit
Autor:in
Kuntz, Matthias
2
Leue, Stefan
2
Scheben, Christoph
2
Wei, Wei
1
Yang, Sen
1
Autorensuche
search.filters.search.submit
Datum
search.filters.filter.dateIssued.min.label
Ende
search.filters.search.submit
2009 - 2010
2
Enthält Dateien
Ja
2
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
Suchwerkzeuge
Suchergebnisse
Exportieren
BibTeX
CSV
Gerade angezeigt
1 - 2 von 2
Lade...
Veröffentlichung
Working Paper/Technical Report
Extending non-termination proof techniques to asynchronously communicating concurrent programs
(
2010
)
Kuntz, Matthias
;
Leue, Stefan
;
Scheben, Christoph
(435.28 KB)
Lade...
Veröffentlichung
Working Paper/Technical Report
Heuristic Search for Unbounded Executions
(
2009
)
Kuntz, Matthias
;
Leue, Stefan
;
Scheben, Christoph
;
Wei, Wei
;
Yang, Sen
(215.68 KB)