6 Publications

Mark all

[6]
2018 | Conference Paper | IST-REx-ID: 133
Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 21, doi:10.4230/LIPIcs.CONCUR.2018.21.
View | Files available | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 160   OA
Kragl, Bernhard, and Shaz Qadeer. Layered Concurrent Programs. Vol. 10981, Springer, 2018, pp. 79–102, doi:10.1007/978-3-319-96145-3_5.
View | Files available | DOI
 
[4]
2017 | Technical Report | IST-REx-ID: 6426   OA
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 1011   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View | DOI | Download (ext.)
 
[2]
2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 
[1]
2013 | Conference Paper | IST-REx-ID: 2237
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

6 Publications

Mark all

[6]
2018 | Conference Paper | IST-REx-ID: 133
Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 21, doi:10.4230/LIPIcs.CONCUR.2018.21.
View | Files available | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 160   OA
Kragl, Bernhard, and Shaz Qadeer. Layered Concurrent Programs. Vol. 10981, Springer, 2018, pp. 79–102, doi:10.1007/978-3-319-96145-3_5.
View | Files available | DOI
 
[4]
2017 | Technical Report | IST-REx-ID: 6426   OA
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 1011   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View | DOI | Download (ext.)
 
[2]
2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 
[1]
2013 | Conference Paper | IST-REx-ID: 2237
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed