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
Goharshady, Ehsan Kafshdar
11
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Solving Long-run Average Reward Robust MDPs via Stochastic ..:
Chatterjee, Krishnendu
;
Goharshady, Ehsan Kafshdar
;
Karrabi, Mehrdad
..
http://arxiv.org/abs/2312.13912. , 2023
Link:
http://arxiv.org/abs/231..
?
2
On Lexicographic Proof Rules for Probabilistic Termination:
Chatterjee, Krishnendu
;
Goharshady, Ehsan Kafshdar
;
Novotný, Petr
..
http://arxiv.org/abs/2108.02188. , 2021
Link:
http://arxiv.org/abs/210..
?
3
Proving Non-termination by Program Reversal:
Chatterjee, Krishnendu
;
Goharshady, Ehsan Kafshdar
;
Novotný, Petr
.
http://arxiv.org/abs/2104.01189. , 2021
Link:
http://arxiv.org/abs/210..
?
4
On lexicographic proof rules for probabilistic termination ..:
Chatterjee, Krishnendu
;
Goharshady, Ehsan Kafshdar
;
Novotný, Petr
..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-90870-6_33. , 2021
Link:
https://research-explore..
?
5
Proving non-termination by program reversal:
Chatterjee, Krishnendu
;
Goharshady, Ehsan Kafshdar
;
Novotný, Petr
.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3453483.3454093. , 2021
Link:
https://research-explore..
?
6
Polynomial invariant generation for non-deterministic recur..:
Chatterjee, Krishnendu
;
Fu, Hongfei
;
Goharshady, Amir Kafshdar
.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3385412.3385969. , 2020
Link:
https://research-explore..
?
7
Proving Almost-Sure Termination of Probabilistic Programs v..:
Chatterjee, Krishnendu
;
Goharshady, Ehsan Kafshdar
;
Novotný, Petr
..
http://arxiv.org/abs/2008.06295. , 2020
Link:
http://arxiv.org/abs/200..
?
8
Polynomial Invariant Generation for Non-deterministic Recur..:
Chatterjee, Krishnendu
;
Fu, Hongfei
;
Goharshady, Amir Kafshdar
.
http://arxiv.org/abs/1902.04373. , 2019
Link:
http://arxiv.org/abs/190..
?
9
The treewidth of smart contracts:
Chatterjee, Krishnendu
;
Goharshady, Amir Kafshdar
;
Goharshady, Ehsan Kafshdar
info:eu-repo/semantics/altIdentifier/doi/10.1145/3297280.3297322. , 2019
Link:
https://research-explore..
?
10
On lexicographic proof rules for probabilistic termination:
Chatterjee, Krishnendu
;
Kafshdar Goharshady, Ehsan
;
Novotný, Petr
..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3585391. , 2023
Link:
https://research-explore..
?
11
Polynomial Invariant Generation for Non-deterministic Recur..:
Chatterjee, Krishnendu
;
Fu, Hongfei
;
Kafshdar Goharshady, Amir
.
hal-02015843. , 2020
Link:
https://hal.archives-ouv..
1-11