Andi Bejleri

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 7

Top Venues

CoRR

FORTE

Softw. Qual. J.

ECOOP

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
Comprehensive Multiparty Session Types. CoRR (2019)
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
Comprehensive Multiparty Session Types. Art Sci. Eng. Program. 3 (3) (2019)
Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori
Cooperative decoupled processes. Softw. Qual. J. 26 (3) (2018)
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
A Co-contextual Type Checker for Featherweight Java (incl. Proofs). CoRR (2017)
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
A Co-contextual Type Checker for Featherweight Java . ECOOP (2017)
Andi Bejleri, Mira Mezini, Patrick Eugster
Cooperative decoupled processes: the e-calculus and linearity. MODULARITY (2016)
Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
A Type Theory for Robust Failure Handling in Distributed Systems. FORTE (2016)
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
Parameterised Multiparty Session Types Log. Methods Comput. Sci. 8 (4) (2012)
Andi Bejleri, Andrew Farrell, Patrick Goldsack
Cloudscape: language support to coordinate and control distributed applications in the cloud. SPLASH Workshops (2011)
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
Parameterised Multiparty Session Types. FoSSaCS (2010)
Andi Bejleri
Practical Parameterised Session Types. ICFEM (2010)
Andi Bejleri, Raymond Hu, Nobuko Yoshida
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance PLACES (2009)
Andi Bejleri, Nobuko Yoshida
Synchronous Multiparty Session Types. Electron. Notes Theor. Comput. Sci. 241 (2009)

Andi Bejleri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andi Bejleri