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.




3100 Publications

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3164
Blaschko M, Lampert C. 2012. Guest editorial: Special issue on structured prediction and inference. International Journal of Computer Vision. 99(3), 257–258.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee K, Henzinger M. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1386–1399.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3166 | OA
de Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3167
Weber M. 2012. NextGen speaks 13 . Science. 336(6077), 32–34.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3168
Feret J, Henzinger TA, Koeppl H, Petrov T. 2012. Lumpability abstractions of rule based systems. Theoretical Computer Science. 431, 137–164.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3243
Danowski P. 2012. Zwischen Technologie und Information. Büchereiperspektiven. 1/2012, 11.
View | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 3244
Danowski P. 2012. Die Zeit des Abwartens ist vorbei! BuB – Forum Bibliothek und Information. 64(4), 284.
View | Download None (ext.)
 
2012 | Journal Article | IST-REx-ID: 3245
Behrndt M, Heisenberg C-PJ. 2012. Spurred by resistance mechanosensation in collective migration. Developmental Cell. 22(1), 3–4.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3246
Barone V, Heisenberg C-PJ. 2012. Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. 24(1), 148–153.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3247
Vilaça S, Fernandes Redondo RA, Lins L, Santos F. 2012. Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus). Conservation Genetics. 13(1), 293–298.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3248 | OA
Lampert C, Peters J. 2012. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 7(1), 31–41.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3249
Cerny P, Henzinger TA, Radhakrishna A. 2012. Simulation distances. Theoretical Computer Science. 413(1), 21–35.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak KZ. 2012. Cryptography from learning parity with noise. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 7147, 99–114.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3252 | OA
Chatterjee K, Raman V. 2012. Synthesizing protocols for digital contract signing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 152–168.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3253
Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Abstract domains for automated reasoning about list manipulating programs with infinite data. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 1–22.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3254
Chatterjee K. 2012. The complexity of stochastic Müller games. Information and Computation. 211, 29–48.
View | DOI | Download None (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3255 | OA
Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119, 37–46.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3256 | OA
Edelsbrunner H, Kerber M. 2012. Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry. 47(2), 393–414.
View | Files available | DOI
 

Search

Filter Publications