6 Publications
2018 | Conference Paper | IST-REx-ID: 133
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118. 21.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 160   

Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981. 79–102.
View
| Files available
| DOI
2017 | Technical Report | IST-REx-ID: 6426   

Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1011   

Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201. 287–313.
View
| DOI
| Download (ext.)
2014 | Conference Paper | IST-REx-ID: 1872   

Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 185–200.
View
| Files available
| DOI
Search
Filter Publications
Display / Sort
Export / Embed
6 Publications
2018 | Conference Paper | IST-REx-ID: 133
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118. 21.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 160   

Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981. 79–102.
View
| Files available
| DOI
2017 | Technical Report | IST-REx-ID: 6426   

Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1011   

Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201. 287–313.
View
| DOI
| Download (ext.)
2014 | Conference Paper | IST-REx-ID: 1872   

Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 185–200.
View
| Files available
| DOI