4 Publications

Mark all

[4]
2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 
[3]
2021 | Conference Paper | IST-REx-ID: 10108 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
View | Files available | DOI
 
[2]
2021 | Technical Report | IST-REx-ID: 9946 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
View | Files available | DOI
 
[1]
2021 | Journal Article | IST-REx-ID: 10153 | OA
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

4 Publications

Mark all

[4]
2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 
[3]
2021 | Conference Paper | IST-REx-ID: 10108 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
View | Files available | DOI
 
[2]
2021 | Technical Report | IST-REx-ID: 9946 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
View | Files available | DOI
 
[1]
2021 | Journal Article | IST-REx-ID: 10153 | OA
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed