Please note that ISTA 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.
332 Publications
2012 | Journal Article | IST-REx-ID: 3166 |
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
[Published Version]
View
| Files available
| DOI
H. de Vladar, Biology Direct 7 (2012).
2012 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View
| DOI
| PubMed | Europe PMC
M. Weber, Science 336 (2012) 32–34.
2012 | Journal Article | IST-REx-ID: 3241
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
View
| DOI
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
2012 | Conference Paper | IST-REx-ID: 3252 |
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
2012 | Conference Paper | IST-REx-ID: 3255 |
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.