Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5058 Publications
2012 |Published| Conference Paper | IST-REx-ID: 3162 | 
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
[Submitted Version]
View
| Files available
| DOI
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
2012 |Published| Journal Article | IST-REx-ID: 3160
Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
View
| DOI
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
2012 |Published| Journal Article | IST-REx-ID: 3164
Guest editorial: Special issue on structured prediction and inference
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
View
| DOI
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
2012 |Published| 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 |Published| 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 |Published| 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 |Published| 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.
2012 |Published| Conference Paper | IST-REx-ID: 3250
Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
2012 |Published| Journal Article | IST-REx-ID: 3256 |
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
2012 |Published| Journal Article | IST-REx-ID: 3254
The complexity of stochastic Müller games
K. Chatterjee, Information and Computation 211 (2012) 29–48.
View
| DOI
| Download None (ext.)
K. Chatterjee, Information and Computation 211 (2012) 29–48.
2012 |Published| Conference Paper | IST-REx-ID: 3253
Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
2012 |Published| Conference Paper | IST-REx-ID: 3265
Image segmentation by figure-ground composition into maximal cliques
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
View
| DOI
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
2012 |Published| Conference Paper | IST-REx-ID: 3282 |
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
[Submitted Version]
View
| Files available
| DOI
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
2012 |Published| Conference Paper | IST-REx-ID: 3280 |
Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
2012 |Published| Conference Paper | IST-REx-ID: 3281
Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
View
| DOI
| Download None (ext.)
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
2012 |Published| Journal Article | IST-REx-ID: 3317 |
Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
[Submitted Version]
View
| Files available
| DOI
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
2012 |Published| Journal Article | IST-REx-ID: 3314
Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
View
| DOI
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
2012 |Published| Journal Article | IST-REx-ID: 3115 |
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
2012 |Published| Journal Article | IST-REx-ID: 3331 |
A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
2012 |Published| Journal Article | IST-REx-ID: 3168
Lumpability abstractions of rule based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.
View
| Files available
| DOI
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.