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.




6487 Publications

2012 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2012 | Published | 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 | WoS
 
2012 | Published | Conference Paper | IST-REx-ID: 3165 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 
2012 | Published | Journal Article | IST-REx-ID: 3167 | OA
Weber M. 2012. NextGen speaks 13 . Science. 336(6077), 32–34.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 3168 | OA
Feret J, Henzinger TA, Koeppl H, Petrov T. 2012. Lumpability abstractions of rule based systems. Theoretical Computer Science. 431, 137–164.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2012 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 
2012 | Published | Journal Article | IST-REx-ID: 3243 | OA
Danowski P. 2012. Zwischen Technologie und Information. Büchereiperspektiven. 2012(1), 11.
[Published Version] View | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 3244 | OA
Danowski P. 2012. Die Zeit des Abwartens ist vorbei! BuB - Forum Bibliothek und Information. 64(4), 284.
[Published Version] View | Download Published Version (ext.)
 
2012 | Published | 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 | WoS
 
2012 | Published | 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 | WoS
 
2012 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS
 
2012 | Published | Journal Article | IST-REx-ID: 3249 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2012. Simulation distances. Theoretical Computer Science. 413(1), 21–35.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2012 | Published | 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 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2012 | Published | 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 | Published | 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.) | WoS
 
2012 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2012 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS
 
2012 | Published | Journal Article | IST-REx-ID: 3257 | OA
Kolmogorov V. 2012. Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics. 160(4–5), 416–426.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed