Tkadik G, Schneidman E, Berry M, Bialek W. 2009. Spin glass models for a network of real neurons. ArXiv, q-NC, .
LibreCat: https://research-explorer.ista.ac.at/record/3732

Tkadik G, Bialek W. 2009.Cell Biology: Networks, regulation, pathways. In: Encyclopedia of Complexity and Systems Science. , 719–741.
LibreCat: https://research-explorer.ista.ac.at/record/3747
DOI: 10.1007/978-0-387-30440-3_48

Wojtan C, Thürey N, Gross M, Turk G. 2009. Deforming meshes that split and merge. ACM Transactions on Graphics. 28(3).
LibreCat: https://research-explorer.ista.ac.at/record/3764
DOI: 10.1145/1531326.1531382

Kupczok A, Von Haeseler A. 2009. Comment on ‘A congruence index for testing topological similarity between trees’. Bioinformatics. 25(1), 147–149.
LibreCat: https://research-explorer.ista.ac.at/record/3768
DOI: 4199

Davison A, Barton NH, Clarke B. 2009. The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. 22(8), 1624–1635.
LibreCat: https://research-explorer.ista.ac.at/record/3780
DOI: 10.1111/j.1420-9101.2009.01770.x

Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
LibreCat: https://research-explorer.ista.ac.at/record/3828
DOI: 10.1126/science.1167852

Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
LibreCat: https://research-explorer.ista.ac.at/record/3843
DOI: 10.1109/HiBi.2009.23

Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
LibreCat: https://research-explorer.ista.ac.at/record/3841
DOI: 10.1007/978-3-642-04420-5_2

Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
LibreCat: https://research-explorer.ista.ac.at/record/3844
DOI: 10.1109/RTSS.2009.9

Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
LibreCat: https://research-explorer.ista.ac.at/record/3871
DOI: 10.1007/978-3-642-04081-8_17

Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
LibreCat: https://research-explorer.ista.ac.at/record/3870
DOI: 10.1145/1614431.1614432

Chatterjee K, De Alfaro L, Faella M, Legay A. 2009. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 5(2).
LibreCat: https://research-explorer.ista.ac.at/record/3869
DOI: 10.2168/LMCS-5(2:7)2009

Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
LibreCat: https://research-explorer.ista.ac.at/record/3946
DOI: 10.1098/rstb.2008.0166

Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. 2009. Cd-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 113(23), 5703–5710.
LibreCat: https://research-explorer.ista.ac.at/record/3947
DOI: 10.1182/blood-2008-11-191882

Bauer M, Brakebusch C, Coisne C, Sixt MK, Wekerle H, Engelhardt B, Fässler R. 2009. ;21 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 106(6), 1920–1925.
LibreCat: https://research-explorer.ista.ac.at/record/3948
DOI: 10.1073/pnas.0808909106

Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
LibreCat: https://research-explorer.ista.ac.at/record/3949
DOI: 10.1182/blood-2008-08-176123

Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), 6–4.
LibreCat: https://research-explorer.ista.ac.at/record/4136
DOI: 10.1086/605958
PMID:  19788353

Soete G, Heisenberg C-PJ. 2009. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 126, 8–8.
LibreCat: https://research-explorer.ista.ac.at/record/4149
DOI: 10.1016/j.mod.2009.06.391

Oates A, Gorfinkiel N, Gonzalez Gaitan M, Heisenberg C-PJ. 2009. Quantitative approaches in developmental biology. Nature Reviews Genetics. 10(8), 517–530.
LibreCat: https://research-explorer.ista.ac.at/record/4165
DOI: 10.1038/nrg2548

Kai M, Buchan N, Heisenberg C-PJ, Tada M. 2009. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 126(Supplement 1), 2–2.
LibreCat: https://research-explorer.ista.ac.at/record/4192
DOI: 10.1016/j.mod.2009.06.269

Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
LibreCat: https://research-explorer.ista.ac.at/record/4223
DOI: 10.1021/cb900151k

Bollenbach T, Quan S, Chait RP, Kishony R. 2009. Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. 139(4), 707–718.
LibreCat: https://research-explorer.ista.ac.at/record/4228
DOI: 10.1016/j.cell.2009.10.025

Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
LibreCat: https://research-explorer.ista.ac.at/record/4242
DOI: 10.1111/j.1558-5646.2009.00622.x

Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.
LibreCat: https://research-explorer.ista.ac.at/record/4365
DOI: 1556

Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, Yang H, Mravec J, Sauer M, Cheng Y, Adamec J, Nagashima A, Geisler M, Sakai T, Friml J, Peer W, Murphy A. 2009. ABC PG stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 57(1), 27–44.
LibreCat: https://research-explorer.ista.ac.at/record/3047
DOI: 10.1111/j.1365-313X.2008.03668.x

Pernisová M, Klíma P, Horák J, Válková M, Malbeck J, Soudek P, Reichman P, Hoyerová K, Dubová J, Friml J, Zaeímalová E, Hejátko J. 2009. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 106(9), 3609–3614.
LibreCat: https://research-explorer.ista.ac.at/record/3049
DOI: 10.1073/pnas.0811539106

Rfeidka K, Simásková M, Duclercq J, Petrásek J, Zaeímalová E, Simon S, Friml J, Van Montagu M, Benková E. 2009. Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. 106(11), 4284–4289.
LibreCat: https://research-explorer.ista.ac.at/record/3050
DOI: 10.1073/pnas.0900060106

Tanaka H, Kitakura S, De Rycke R, De Groodt R, Friml J. 2009. Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. 19(5), 391–397.
LibreCat: https://research-explorer.ista.ac.at/record/3048
DOI: 10.1016/j.cub.2009.01.057

Robert H, Friml J. 2009. Auxin and other signals on the move in plants. Nature Chemical Biology. 5(5), 325–332.
LibreCat: https://research-explorer.ista.ac.at/record/3054
DOI: 10.1038/nchembio.170
PMID:     19377459

Vanneste S, Friml J. 2009. Auxin: A trigger for change in plant development. Cell. 136(6), 1005–1016.
LibreCat: https://research-explorer.ista.ac.at/record/3052
DOI: 10.1016/j.cell.2009.03.001
PMID:     19303845

Weijers D, Friml J. 2009. SnapShot: Auxin signaling and transport. Cell. 136(6), 1172–1172.
LibreCat: https://research-explorer.ista.ac.at/record/3051
DOI: 10.1016/j.cell.2009.03.009
PMID:     19303857

Benková E, Ivanchenko M, Friml J, Shishkova S, Dubrovsky J. 2009. A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. 14(4), 189–193.
LibreCat: https://research-explorer.ista.ac.at/record/3053
DOI: 10.1016/j.tplants.2009.01.006

Kumar MP, Kolmogorov V, Torr P. 2009. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 10, 71–106.
LibreCat: https://research-explorer.ista.ac.at/record/3197

Vicente S, Kolmogorov V, Rother C. 2009. Joint optimization of segmentation and appearance models. ICCV: International Conference on Computer Vision, 755–762.
LibreCat: https://research-explorer.ista.ac.at/record/3199
DOI: 10.1109/ICCV.2009.5459287

Kolmogorov V, Shioura A. 2009. New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. 6(4), 378–393.
LibreCat: https://research-explorer.ista.ac.at/record/3200
DOI: 10.1016/j.disopt.2009.04.006

Engel J, Schmalhorst PS, Dörk Bousset T, Ferrières V, Routier F. 2009. A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. 284(49), 33859–33868.
LibreCat: https://research-explorer.ista.ac.at/record/3292
DOI: 10.1074/jbc.M109.070219 

Chakraborty Tuhin S, Goswami S, Siddiqi O. 2009. Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. 23(1–2), 210–9.
LibreCat: https://research-explorer.ista.ac.at/record/3293
DOI: 10.1080/01677060802491559 

Uhler C. 2009. Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. 14(1), 79–98.
LibreCat: https://research-explorer.ista.ac.at/record/3309
DOI: 10.1198/jabes.2009.0005

Schmalhorst PS. 2009. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
LibreCat: https://research-explorer.ista.ac.at/record/3400

Bollenbach MT, Kishony R. 2009. Quiet gene circuit more fragile than its noisy peer. Cell. 139(3), 460–461.
LibreCat: https://research-explorer.ista.ac.at/record/3398
DOI: 10.1016/j.cell.2009.10.005

Remy S, Csicsvari JL, Beck H. 2009. Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. 61(6), 906–916.
LibreCat: https://research-explorer.ista.ac.at/record/3547
DOI: 10.1016/j.neuron.2009.01.032

Attali D, Boissonnat J, Edelsbrunner H. 2009.Stability and computation of medial axes: a state-of-the-art report. In: Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Mathematics and Visualization, , 109–125.
LibreCat: https://research-explorer.ista.ac.at/record/3578
DOI: 10.1007/b106657_6

Barton NH. 2009.Why sex and recombination? . In: Cold Spring Harbor Symposia on Quantitative Biology. vol. 74, 187–195.
LibreCat: https://research-explorer.ista.ac.at/record/3675
DOI: 10.1101/sqb.2009.74.030

Lampert C, Blaschko M. 2009. Structured prediction by joint kernel support estimation. Machine Learning. 77(2–3), 249–269.
LibreCat: https://research-explorer.ista.ac.at/record/3696
DOI: 10.1007/s10994-009-5111-0

Dhillon P, Nowozin S, Lampert C. 2009. Combining appearance and motion for human action classification in videos. CVPR: Computer Vision and Pattern Recognition, 22–29.
LibreCat: https://research-explorer.ista.ac.at/record/3690
DOI: 10.1109/CVPRW.2009.5204237

Lampert C, Blaschko M, Hofmann T. 2009. Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 31(12), 2129–2142.
LibreCat: https://research-explorer.ista.ac.at/record/3710
DOI: 10.1109/TPAMI.2009.144

Dhillon P, Nowozin S, Lampert C. 2009. Combining appearance and motion for human action classification in videos. CVPR: Computer Vision and Pattern Recognition, 22–29.
LibreCat: https://research-explorer.ista.ac.at/record/3711
DOI: 10.1109/CVPRW.2009.5204237

Lampert C. 2009. Kernel Methods in Computer Vision, now publishers, 112p.
LibreCat: https://research-explorer.ista.ac.at/record/3707
DOI: 10.1561/0600000027

Nowozin S, Lampert C. 2009. Global connectivity potentials for random field models. CVPR: Computer Vision and Pattern Recognition, 818–825.
LibreCat: https://research-explorer.ista.ac.at/record/3708
DOI: 10.1109/CVPR.2009.5206567

Lampert C. 2009. Detecting objects in large image collections and videos by efficient subimage retrieval. ICCV: International Conference on Computer Vision, 987–994.
LibreCat: https://research-explorer.ista.ac.at/record/3709
DOI: 10.1109/ICCV.2009.5459359

Tkadik G, Bialek W. 2009. Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 79(5).
LibreCat: https://research-explorer.ista.ac.at/record/3745
DOI: 10.1103/PhysRevE.79.051901

Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
LibreCat: https://research-explorer.ista.ac.at/record/3775
DOI: 10.1016/j.jtbi.2009.03.019

Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
LibreCat: https://research-explorer.ista.ac.at/record/3837
DOI: 10.1145/1629335.1629346

Bloem R, Greimel K, Henzinger TA, Jobstmann B. 2009. Synthesizing robust systems. FMCAD: Formal Methods in Computer-Aided Design, 85–92.
LibreCat: https://research-explorer.ista.ac.at/record/3835
DOI: 10.1109/FMCAD.2009.5351139

Renkawitz J, Schumann K, Weber M, Lämmermann T, Pflicke H, Piel M, Polleux J, Spatz J, Sixt MK. 2009. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 11(12), 1438–1443.
LibreCat: https://research-explorer.ista.ac.at/record/3954
DOI: 10.1038/ncb1992

Schymeinsky J, Gerstl R, Mannigel I, Niedung K, Frommhold D, Panthel K, Heesemann J, Sixt MK, Quast T, Kolanus W, Mocsai A, Wienands J, Sperandio M, Walzog B. 2009. A fundamental role of mAb in neutrophils: impact on ;2(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 114(19), 4209–4220.
LibreCat: https://research-explorer.ista.ac.at/record/3952
DOI: 10.1182/blood-2009-02-206169

Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist F potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
LibreCat: https://research-explorer.ista.ac.at/record/3953
DOI: 10.4049/jimmunol.0901011

Pflicke H, Sixt MK. 2009. Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. 206(13), 2925–2935.
LibreCat: https://research-explorer.ista.ac.at/record/3955
DOI: 10.1084/jem.20091739

Moser M, Bauer M, Schmid S, Ruppert R, Schmidt S, Sixt MK, Wang H, Sperandio M, Fässler R. 2009. Kindlin-3 is required for ;22 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 15(3), 300–305.
LibreCat: https://research-explorer.ista.ac.at/record/3950
DOI: 10.1038/nm.1921

Lämmermann T, Sixt MK. 2009. Mechanical modes of ‘amoeboid’ cell migration. Current Opinion in Cell Biology. 21(5), 636–644.
LibreCat: https://research-explorer.ista.ac.at/record/3951
DOI: 10.1016/j.ceb.2009.05.003

Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
LibreCat: https://research-explorer.ista.ac.at/record/3968
DOI: 10.1007/978-3-642-10470-1_4

Cohen Steiner D, Edelsbrunner H, Harer J. 2009. Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. 9(1), 79–103.
LibreCat: https://research-explorer.ista.ac.at/record/3966
DOI: 10.1007/s10208-008-9027-z

Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2009. Persistent homology for kernels, images, and cokernels. SODA: Symposium on Discrete Algorithms, 1011–1020.
LibreCat: https://research-explorer.ista.ac.at/record/3967

Ulrich F, Heisenberg C-PJ. 2009. Trafficking and cell migration. Traffic. 10(7), 811–818.
LibreCat: https://research-explorer.ista.ac.at/record/4143
DOI: 10.1111/j.1600-0854.2009.00929.x

Oteíza P, Lemus C, Köppen M, Palma K, Krieg M, Melo C, Farias C, Pulgar E, Preibisch S, Hartel S, Heisenberg C-PJ, Concha M. 2009. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 126(Supplement 1), –.
LibreCat: https://research-explorer.ista.ac.at/record/4160
DOI: 10.1016/j.mod.2009.06.970

Oteíza P, Köppen M, Krieg M, Preibisch S, Haertel S, Müller D, Heisenberg C-PJ, Concha M. 2009. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 126(Supplement 1), –.
LibreCat: https://research-explorer.ista.ac.at/record/4162
DOI: 10.1016/j.mod.2009.06.098

Paluch E, Heisenberg C-PJ. 2009. Biology and physics of cell shape changes in development. Current Biology. 19(17), 0–9.
LibreCat: https://research-explorer.ista.ac.at/record/4158
DOI: 10.1016/j.cub.2009.07.029

Paluch E, Heisenberg C-PJ. 2009. Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. 16(1), 4–6.
LibreCat: https://research-explorer.ista.ac.at/record/4159
DOI: 10.1016/j.devcel.2008.12.011

Heisenberg C-PJ. 2009. Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology. 31(12), 1284–1287.
LibreCat: https://research-explorer.ista.ac.at/record/4206
DOI: 10.1002/bies.200900109

Carvalho L, Stuehmer J, Bois J, Kalaidzidis Y, Lecaudey V, Heisenberg C-PJ. 2009. Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. 136(8), 1305–1315.
LibreCat: https://research-explorer.ista.ac.at/record/4217
DOI: 10.1242/dev.026922

Barton NH, De Vladar H. 2009. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 181(3), 997–1011.
LibreCat: https://research-explorer.ista.ac.at/record/4231
DOI: 10.1534/genetics.108.099309

de Vladar H. 2009. Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

Bollback JP, Huelsenbeck J. 2009. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 181(1), 225–234.
LibreCat: https://research-explorer.ista.ac.at/record/4357
DOI: 10.1534/genetics.107.085225

Wies T, Piskac R, Kuncak V. 2009. Combining Theories with Shared Set Operations. FroCoS: Frontiers of Combining Systems, LNCS 5749, , 366–382.
LibreCat: https://research-explorer.ista.ac.at/record/4360
DOI: 1558

Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
LibreCat: https://research-explorer.ista.ac.at/record/4363

Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.
LibreCat: https://research-explorer.ista.ac.at/record/4375
DOI: 1555

Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. 2009. It’s Doomed; We Can Prove It. FM: Formal Methods, LNCS 5850, , 338–353.
LibreCat: https://research-explorer.ista.ac.at/record/4377
DOI: 1557

Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
LibreCat: https://research-explorer.ista.ac.at/record/4383
DOI: 10.1007/978-3-642-02658-4_26

Dragojevic A, Guerraoui R, Singh A, Singh V. 2009. Preventing versus curing: avoiding conflicts in transactional memories. POPL: Principles of Programming Languages, 7–16.
LibreCat: https://research-explorer.ista.ac.at/record/4385
DOI: 1533

Lublinerman R, Chaudhuri S, Cerny P. 2009. Parallel programming with object assemblies. Oopsla Object Oriented Programming Systems Languages and Applications, 61–80.
LibreCat: https://research-explorer.ista.ac.at/record/4376
DOI: 1546

Cerny P, Alur R. 2009. Automated Analysis of Java Methods for Confidentiality. CAV: Computer Aided Verification, LNCS, , 173–187.
LibreCat: https://research-explorer.ista.ac.at/record/4391
DOI: 1548

Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
LibreCat: https://research-explorer.ista.ac.at/record/4403
DOI: 10.1007/978-3-642-04027-6_9

Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
LibreCat: https://research-explorer.ista.ac.at/record/4453
DOI: 10.1007/978-3-642-02658-4_27

Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
LibreCat: https://research-explorer.ista.ac.at/record/4535
DOI: 10.1007/978-3-642-03845-7_12

Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2

Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4545
DOI: 10.1007/978-3-642-02930-1_1

Chatterjee K, Henzinger TA, Horn F. 2009. Stochastic games with finitary objectives. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 5734, 34–54.
LibreCat: https://research-explorer.ista.ac.at/record/4543
DOI: 10.1007/978-3-642-03816-7_4

Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/4544
DOI: 10.1137/1.9781611973068.23

Chatterjee K, Doyen L, Henzinger TA. 2009. Expressiveness and closure properties for quantitative languages. LICS: Logic in Computer Science, 199–208.
LibreCat: https://research-explorer.ista.ac.at/record/4540
DOI: 10.1109/LICS.2009.16

Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.
LibreCat: https://research-explorer.ista.ac.at/record/4580
DOI: 10.1007/978-3-642-00768-2_7

Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
LibreCat: https://research-explorer.ista.ac.at/record/5392
DOI: 10.15479/AT:IST-2009-0004

Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

Knuesel M, Meyer K, Bernecky C, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.
LibreCat: https://research-explorer.ista.ac.at/record/599
DOI: 10.1101/gad.1767009

Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
LibreCat: https://research-explorer.ista.ac.at/record/6144
DOI: 10.1038/nature07820
PMID: 19262507

Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. 2009. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 9(4), 375–385.
LibreCat: https://research-explorer.ista.ac.at/record/6145
DOI: 10.1016/j.cmet.2009.02.003
PMID: 19356718

Yang X, Riseborough PS, Modic KA, Fisher RA, Oppeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Journal of Physics: Conference Series. ICM: International Conference on Magnetism, JPCS, vol. 200, 032062.
LibreCat: https://research-explorer.ista.ac.at/record/11752
DOI: 10.1088/1742-6596/200/3/032062

Yang X-D, Riseborough PS, Modic KA, Fisher RA, Opeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 89(22–24), 2083–2091.
LibreCat: https://research-explorer.ista.ac.at/record/7080
DOI: 10.1080/14786430902865518