Please note that IST 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.
3017 Publications
2011 | Journal Article | IST-REx-ID: 3368 | 
Krens G, Möllmert S, Heisenberg C-PJ. 2011. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 108(3), E9–E10.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3370 |
Kupczok A. 2011. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 60(2), 218–225.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3371 |
Sixt MK, Parent C. 2011. Cells on the move in Philadelphia. Molecular Biology and Evolution. 22(6), 724.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3372 |
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3373 |
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3374 |
Tkačik G, Walczak A. 2011. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 23(15), 153102.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3375 |
de Vladar H, Barton NH. 2011. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 8(58), 720–739.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3376 |
Bollenbach MT, Kishony R. 2011. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 42(4), 413–425.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3377 |
Edelsbrunner H, Morozov D, Patel A. 2011. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 11(3), 345–361.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3379 |
Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. 2011. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 354(1), 102–110.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3380 |
Logeswaran S, Barton NH. 2011. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 93(3), 221–232.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3771
Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. 2011. Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests. Biological Journal of the Linnean Society. 102(3), 527–539.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3778 |
Barton NH. 2011. Estimating linkage disequilibria. Heredity. 106(2), 205–206.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3781
Fasy BT. 2011. The difference in length of curves in R^n. Acta Sci. Math. (Szeged). 77(1–2), 359–367.
View
2011 | Journal Article | IST-REx-ID: 3784 |
Palero F, Guerao G, Clark P, Abello P. 2011. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 91(2), 485–492.
View
| DOI
| Download Published Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner H, Kerber M. 2011.Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, vol. 6570, 20–35.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3381 |
Henzinger TA, Jobstmann B, Wolf V. 2011. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 22(4), 823–841.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3315 |
Chatterjee K, Henzinger TA, Prabhu V. 2011. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 7(4).
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3364 |
Didier F, Henzinger TA, Mateescu M, Wolf V. 2011. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 412(21), 2128–2141.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 490 |
Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011, 935364.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 469 |
Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 518 |
Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 531 |
Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
View
| DOI
| Download Published Version (ext.)
2011 | Technical Report | IST-REx-ID: 5379 |
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3338 |
Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv, 1–51, .
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 | Technical Report | IST-REx-ID: 5383 |
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5381 |
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380 |
Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5382 |
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5387 |
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3356 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science, 5970226.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 2089–2096.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5386 |
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 6496 |
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 2409 |
Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3303 |
Weissman D, Feldman M, Fisher D. 2010. The rate of fitness-valley crossing in sexual populations. Genetics. 186(4), 1389–1410.
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf M, Gonano C, Nemecek E, Cichocki L, Schueller Weidekamm C. 2010. Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy. 18(12), 1792–1794.
View
| DOI
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3719 |
Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process Calculi, EPTCS, vol. 40, 142–161.
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3772 |
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
View
| Files available
| DOI