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.




4967 Publications

2012 | Published | Journal Article | IST-REx-ID: 3846 | OA
Chatterjee K, Henzinger TA. 2012. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 78(2), 394–413.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.
[Published Version] View | Files available | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 494
Boker U, Kupferman O. 2012. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 13(4), 29.
View | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 495 | OA
Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.
[Published Version] View | Files available | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many branches. LICS: Symposium on Logic in Computer Science, LICS, , 6280474.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.
[Published Version] View | Files available | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 498 | OA
Pickup M, Field D, Rowell D, Young A. 2012. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 5(8), 913–924.
[Published Version] View | Files available | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.
[Published Version] View | Files available | DOI
 
2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
[Published Version] View | Files available | DOI
 
2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations, IST Austria, 21p.
[Published Version] View | Files available | DOI
 
2011 | Published | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
[Published Version] View | Files available | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 6496 | OA
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Published | Journal Article | IST-REx-ID: 9483 | OA
Hsieh T-F, Shin J, Uzawa R, Silva P, Cohen S, Bauer MJ, Hashimoto M, Kirkbride RC, Harada JJ, Zilberman D, Fischer RL. 2011. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 108(5), 1755–1762.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Published | Other Publication | IST-REx-ID: 9522 | OA
Zilberman D. 2011. Balancing parental contributions in plant embryonic gene activation, Elsevier,p.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Published | Conference Paper | IST-REx-ID: 9648 | OA
Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.
[Published Version] View | DOI | Download Published Version (ext.)
 
2011 | Research Data Reference | IST-REx-ID: 9762 | OA
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria, 10.5061/dryad.299h8.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
[Preprint] View | DOI | Download Preprint (ext.)
 
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
View | DOI
 
2011 | Published | Conference Paper | IST-REx-ID: 3163
Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS: Neural Information Processing Systems.
View | Files available
 
2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. 2011. Solving recursion-free Horn clauses over LI+UIF. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 7078, 188–203.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed