Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Oraee, Simin
5
Ergebnisse:
Personensuche
X
Format
Online (5)
Medientypen
Artikel (Online) (2)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (2)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Trace aware random testing for distributed systems:
Ozkan, Burcu Kulahcioglu
;
Majumdar, Rupak
;
Oraee, Simin
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-29 , 2019
Link:
https://doi.org/10.1145/..
?
2
Trace aware random testing for distributed systems:
Ozkan, Burcu Kulahcioglu
;
Majumdar, Rupak
;
Oraee, Simin
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-29 , 2019
Link:
https://dl.acm.org/doi/1..
?
3
Symbolic Algorithms for Graphs and Markov Decision Processe..:
, In:
Computer Aided Verification; Lecture Notes in Computer Science
,
Chatterjee, Krishnendu
;
Henzinger, Monika
;
Loitzenbauer, Veronika
.. - p. 178-197 , 2018
Link:
https://doi.org/10.1007/..
?
4
Symbolic algorithms for graphs and Markov decision processe..:
Chatterjee, Krishnendu
;
Henzinger, Monika H
;
Loitzenbauer, Veronika
..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-96142-2_13. , 2018
Link:
https://research-explore..
?
5
Symbolic Algorithms for Graphs and Markov Decision Processe..:
Chatterjee, Krishnendu
;
Henzinger, Monika
;
Loitzenbauer, Veronika
..
http://arxiv.org/abs/1804.00206. , 2018
Link:
http://arxiv.org/abs/180..
1-5