Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4206 Publications
2013 | Journal Article | IST-REx-ID: 3261 | 
Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2831 |
Chatterjee K, Henzinger MH, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 450 |
Pickup M, Field D, Rowell D, Young A. 2013. Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1750), 2058.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 476 |
Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 7(DEC).
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 500 |
Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. 2013. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 13(1), 222.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 501 |
Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of Mammalogy. 94(6), 1331–1345.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 508 |
Tarazona Santos E, Machado M, Magalhães W, Chen R, Lyon F, Burdett L, Crenshaw A, Fabbri C, Pereira L, Pinto L, Fernandes Redondo RA, Sestanovich B, Yeager M, Chanock S. 2013. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. 30(9), 2157–2167.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 509 |
Di Rubbo S, Irani N, Kim S, Xu Z, Gadeyne A, Dejonghe W, Vanhoutte I, Persiau G, Eeckhout D, Simon S, Song K, Kleine Vehn J, Friml J, De Jaeger G, Van Damme D, Hwang I, Russinova E. 2013. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell. 25(8), 2986–2997.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 507 |
Kim S, Xu Z, Song K, Kim D, Kang H, Reichardt I, Sohn E, Friml J, Juergens G, Hwang I. 2013. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 25(8), 2970–2985.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 511 |
Pěnčík A, Simonovik B, Petersson S, Henyková E, Simon S, Greenham K, Zhang Y, Kowalczyk M, Estelle M, Zažímalová E, Novák O, Sandberg G, Ljung K. 2013. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 25(10), 3858–3870.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 516 |
Bargmann B, Vanneste S, Krouk G, Nawy T, Efroni I, Shani E, Choe G, Friml J, Bergmann D, Estelle M, Birnbaum K. 2013. A map of cell type‐specific auxin responses. Molecular Systems Biology. 9(1), 688.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2279 |
Chatterjee K, Doyen L, Randour M, Raskin J. 2013. Looking at mean-payoff and total-payoff through windows. 8172, 118–132.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 | Technical Report | IST-REx-ID: 5399 |
Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2295 |
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5402 |
Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5400 |
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5404 |
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5401 |
Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5405 |
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5409 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5406 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5408 |
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407 |
Porsche J. 2013. Technical requirements and features, IST Austria,p.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5410 |
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
[Submitted Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 6440 |
Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |
Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional mean-payoff games. 8052, 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 827 |
O’Brien J, Benková E. 2013. Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. 4, 451.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 828 |
Cuesta C, Wabnik KT, Benková E. 2013. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 4, 537.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2284 |
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2013. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 13(1), 225.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2277 |
Simmons K, Prentice J, Tkačik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2013. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 9(12), e1003344.
[Published Version]
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9754 |
Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. 2013. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies, Dryad, 10.5061/dryad.r3r60.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2914 |
Stephens G, Mora T, Tkačik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1), 018701.
[Published Version]
View
| Files available
| DOI
| arXiv
2013 | Book Chapter | IST-REx-ID: 5747 |
Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
View
| Files available
| DOI
2013 | Thesis | IST-REx-ID: 1405 |
Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2847 |
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2247 |
Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2858 |
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2816 |
Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2000 |
Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2445 |
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2305 |
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2013. Trading performance for stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 331–340.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2272 |
Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2448 |
Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 8(10), e25688.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2853 |
Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Research Data Reference | IST-REx-ID: 9751 |
Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection, Dryad, 10.5061/dryad.b1q2n.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Report | IST-REx-ID: 2274 |
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
[Published Version]
View
| Files available
2012 | Conference Paper | IST-REx-ID: 1384 |
Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2048 |
Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography. Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428, 213–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)