Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3028 Publications
2013 | Conference Paper | IST-REx-ID: 2243 |

Michaliszyn J, Otop J. 2013. Elementary modal logics over transitive structures. 23, 563–577.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2247 |

Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2244 |

Matoušek J, Sedgwick E, Tancer M, Wagner U. 2013. Untangling two systems of noncrossing curves. 8242, 472–483.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2258 |

Kiltz E, Pietrzak KZ, Szegedy M. 2013. Digital signatures with minimal overhead from indifferentiable random invertible functions. 8042, 571–588.
View
| Files available
| DOI