ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2022 | Journal Article | IST-REx-ID: 9311 |

Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2022 | Journal Article | IST-REx-ID: 11732 |

The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).

[Published Version] View | Files available | DOI | WoS

2022 | Conference Paper | IST-REx-ID: 12167 |

Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2022 | Conference Paper | IST-REx-ID: 12302 |

FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.

[Published Version] View | Files available | DOI | WoS | arXiv

2022 | Conference Paper | IST-REx-ID: 12176 |

Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.

[Preprint] View | DOI | Download Preprint (ext.) | WoS