Cerny P, Chatterjee K, Henzinger TA. 2011. The complexity of quantitative information flow problems. CSF: Computer Security Foundations, 205–217.
LibreCat: https://research-explorer.ista.ac.at/record/3361
DOI: 10.1109/CSF.2011.21

Henzinger TA, Singh V, Wies T, Zufferey D. 2011. Scheduling large jobs by abstraction refinement. EuroSys, 329–342.
LibreCat: https://research-explorer.ista.ac.at/record/3358
DOI: 10.1145/1966445.1966476

Cerny P, Henzinger TA. 2011. From boolean to quantitative synthesis. EMSOFT: Embedded Software , 149–154.
LibreCat: https://research-explorer.ista.ac.at/record/3359
DOI: 10.1145/2038642.2038666

Chatterjee K, Henzinger TA, Horn F. 2011. The complexity of request-response games. LATA: Language and Automata Theory and Applications, LNCS, vol. 6638, 227–237.
LibreCat: https://research-explorer.ista.ac.at/record/3357
DOI: 10.1007/978-3-642-21254-3_17

Ibáñez M, Guardia P, Shavel A, Cadavid D, Arbiol J, Morante J, Cabot A. 2011. Growth kinetics of asymmetric Bi2 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. 115(16), 7947–7955.
LibreCat: https://research-explorer.ista.ac.at/record/336
DOI: 10.1021/jp2002904

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.
LibreCat: https://research-explorer.ista.ac.at/record/3379
DOI: 10.1016/j.ydbio.2011.03.025
PMID: 1463614

Bollenbach MT, Kishony R. 2011. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 42(4), 413–425.
LibreCat: https://research-explorer.ista.ac.at/record/3376
DOI: 10.1016/j.molcel.2011.04.016

Logeswaran S, Barton NH. 2011. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 93(3), 221–232.
LibreCat: https://research-explorer.ista.ac.at/record/3380
DOI: 10.1017/S0016672311000115

Edelsbrunner H, Morozov D, Patel A. 2011. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 11(3), 345–361.
LibreCat: https://research-explorer.ista.ac.at/record/3377
DOI: 10.1007/s10208-011-9090-8

Bendich P, Harer J. 2011. Persistent intersection homology. Foundations of Computational Mathematics. 11(3), 305–336.
LibreCat: https://research-explorer.ista.ac.at/record/3378
DOI: 10.1007/s10208-010-9081-1

Ugelvig LV, Nielsen P, Boomsma J, Nash D. 2011. Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. 11(201), 201.
LibreCat: https://research-explorer.ista.ac.at/record/3388
DOI: 10.1186/1471-2148-11-201

Tkadik G, Garrigan P, Ratliff C, Milcinski G, Klein J, Seyfarth L, Sterling P, Brainard D, Balasubramanian V. 2011. Natural images from the birthplace of the human eye. PLoS One. 6(6), e20409.
LibreCat: https://research-explorer.ista.ac.at/record/3384
DOI: 10.1371/journal.pone.0020409

Kupczok A. 2011. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 11(205), 205.
LibreCat: https://research-explorer.ista.ac.at/record/3387
DOI: 10.1186/1471-2148-11-205

Blaschko M, Shelton J, Bartels A, Lampert C, Gretton A. 2011. Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters. 32(11), 1572–1583.
LibreCat: https://research-explorer.ista.ac.at/record/3389
DOI: 10.1016/j.patrec.2011.02.011

Kroemer O, Lampert C, Peters J. 2011. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 27(3), 545–557.
LibreCat: https://research-explorer.ista.ac.at/record/3382
DOI: 10.1109/TRO.2011.2121130

Schrempf A, Cremer S, Heinze J. 2011. Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. 24(7), 1455–1461.
LibreCat: https://research-explorer.ista.ac.at/record/3386
DOI: 10.1111/j.1420-9101.2011.02278.x

Sixt MK. 2011. Interstitial locomotion of leukocytes. Immunology Letters. 138(1), 32–34.
LibreCat: https://research-explorer.ista.ac.at/record/3385
DOI: 10.1016/j.imlet.2011.02.013

Heisenberg C-PJ. 2011. Invited Lectures  Symposia Area. FEBS Journal. 278(), 24–24.
LibreCat: https://research-explorer.ista.ac.at/record/3383
DOI: 10.1111/j.1742-4658.2011.08136.x

Cremer S, Schrempf A, Heinze J. 2011. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 6(3), e17323.
LibreCat: https://research-explorer.ista.ac.at/record/3399
DOI: 10.1371/journal.pone.0017323

Little S, Tkadik G, Kneeland T, Wieschaus E, Gregor T. 2011. The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source. PLoS Biology. 9(3), e1000596.
LibreCat: https://research-explorer.ista.ac.at/record/3401
DOI: 10.1371/journal.pbio.1000596

Janovjak HL, Isacoff E. 2011.Structure-based design of light-controlled proteins. In: Photosensitive Molecules for the Control of Biological Function. vol. 55, 233–266.
LibreCat: https://research-explorer.ista.ac.at/record/3724
DOI: 10.1007/978-1-61779-031-7_13

Hollatz C, Vilaça S, Fernandes Redondo RA, Marmontel M, Baker C, Santos F. 2011. The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis). Biological Journal of the Linnean Society. 102(4), 812–827.
LibreCat: https://research-explorer.ista.ac.at/record/3770
DOI: 10.1111/j.1095-8312.2011.01616.x

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.
LibreCat: https://research-explorer.ista.ac.at/record/3771
DOI: 10.1111/j.1095-8312.2010.01601.x

Barton NH. 2011. Estimating linkage disequilibria. Heredity. 106(2), 205–206.
LibreCat: https://research-explorer.ista.ac.at/record/3778
DOI: 10.1038/hdy.2010.67
PMID: 20502479

Krens G, Heisenberg C-PJ. 2011.Cell sorting in development. In: Forces and Tension in Development. Current Topics in Developmental Biology, vol. 95, 189–213.
LibreCat: https://research-explorer.ista.ac.at/record/3791
DOI: 10.1016/B978-0-12-385065-2.00006-2

Didier F, Henzinger TA, Mateescu M, Wolf V. 2011. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 412(21), 2128–2141.
LibreCat: https://research-explorer.ista.ac.at/record/3364
DOI: 10.1016/j.tcs.2010.10.022

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.
LibreCat: https://research-explorer.ista.ac.at/record/469
DOI: 10.1523/JNEUROSCI.6398-10.2011

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.
LibreCat: https://research-explorer.ista.ac.at/record/490
DOI: 10.1155/2011/935364

Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes. Science Signaling. 4(198), pe43.
LibreCat: https://research-explorer.ista.ac.at/record/491
DOI: 10.1126/scisignal.2002617

Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMT is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
LibreCat: https://research-explorer.ista.ac.at/record/518
DOI: 10.1038/emboj.2011.301
PMID: 21857646

Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
LibreCat: https://research-explorer.ista.ac.at/record/531
DOI: 10.1007/s10703-011-0131-3

Chatterjee K, Henzinger MH. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5379
DOI: 10.15479/AT:IST-2011-0009

Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
LibreCat: https://research-explorer.ista.ac.at/record/5381
DOI: 10.15479/AT:IST-2011-0007

Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
LibreCat: https://research-explorer.ista.ac.at/record/5380
DOI: 10.15479/AT:IST-2011-0008

Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
LibreCat: https://research-explorer.ista.ac.at/record/5382
DOI: 10.15479/AT:IST-2011-0006

Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv, 1–51, .
LibreCat: https://research-explorer.ista.ac.at/record/3338
arXiv: 1107.2146

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science, 5970226.
LibreCat: https://research-explorer.ista.ac.at/record/3356
DOI: 10.1109/LICS.2011.33

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
LibreCat: https://research-explorer.ista.ac.at/record/5385
DOI: 10.15479/AT:IST-2011-0003

Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
LibreCat: https://research-explorer.ista.ac.at/record/5386
DOI: 10.15479/AT:IST-2011-0002

Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
LibreCat: https://research-explorer.ista.ac.at/record/5383
DOI: 10.15479/AT:IST-2011-0005

Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
LibreCat: https://research-explorer.ista.ac.at/record/5384
DOI: 10.15479/AT:IST-2011-0004

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.
LibreCat: https://research-explorer.ista.ac.at/record/3336
DOI: 10.1109/CVPR.2011.5995503

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.
LibreCat: https://research-explorer.ista.ac.at/record/3323
DOI: 10.1007/978-3-642-22438-6_36

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.
LibreCat: https://research-explorer.ista.ac.at/record/3366
DOI: 10.1007/978-3-642-22110-1_20

Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
LibreCat: https://research-explorer.ista.ac.at/record/3345
DOI: 10.1007/978-3-642-22993-0_21
arXiv: 1104.2909

Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5387
DOI: 10.15479/AT:IST-2011-0001

Hosten O. 2011. Quantum physics: How to catch a wave. Nature. 474(7350), 170–171.
LibreCat: https://research-explorer.ista.ac.at/record/580
DOI: 10.1038/474170a

Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. 2011. Methods towards achieving precise birefringent focusing. QELS: Quantum Electronics and Laser Science, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/585
DOI: 10.1364/CLEO_AT.2011.JThB130

Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. 2011. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 107(6).
LibreCat: https://research-explorer.ista.ac.at/record/586
DOI: 10.1103/PhysRevLett.107.063904

Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. 2011. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 9(3).
LibreCat: https://research-explorer.ista.ac.at/record/597
DOI: 10.1371/journal.pbio.1000603