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.




3806 Publications

2012 | 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
 
2012 | Conference Paper | IST-REx-ID: 3165
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3166 | OA
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View | DOI | PubMed | Europe PMC
 
2012 | 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
 
2012 | Journal Article | IST-REx-ID: 3242 | OA
Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3245
Spurred by resistance mechanosensation in collective migration
M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 22 (2012) 3–4.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3246
Cell adhesion in embryo morphogenesis
V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012) 148–153.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3247
Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)
S. Vilaça, R.A. Fernandes Redondo, L. Lins, F. Santos, Conservation Genetics 13 (2012) 293–298.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3249
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3250
Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3251 | OA
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3252 | OA
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
View | DOI | Download Preprint (ext.)
 
2012 | 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
 
2012 | 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.)
 
2012 | Conference Paper | IST-REx-ID: 3255 | OA
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3256 | OA
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3257 | OA
Generalized roof duality and bisubmodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3258 | OA
Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3260 | OA
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications