Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems. In: Springer; 2009:85-92. doi:10.1109/FMCAD.2009.5351139
LibreCat: https://research-explorer.ista.ac.at/record/3835
DOI: 10.1109/FMCAD.2009.5351139

Renkawitz J, Schumann K, Weber M, et al. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 2009;11(12):1438-1443. doi:10.1038/ncb1992
LibreCat: https://research-explorer.ista.ac.at/record/3954
DOI: 10.1038/ncb1992

Schymeinsky J, Gerstl R, Mannigel I, et al. A fundamental role of mAb in neutrophils: impact on ;2(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 2009;114(19):4209-4220. doi:10.1182/blood-2009-02-206169
LibreCat: https://research-explorer.ista.ac.at/record/3952
DOI: 10.1182/blood-2009-02-206169

Wolf A, Eller K, Zeiser R, et al. The sphingosine 1-phosphate receptor agonist F potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 2009;183(6):3751-3760. doi:10.4049/jimmunol.0901011
LibreCat: https://research-explorer.ista.ac.at/record/3953
DOI: 10.4049/jimmunol.0901011

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

Moser M, Bauer M, Schmid S, et al. Kindlin-3 is required for ;22 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 2009;15(3):300-305. doi:10.1038/nm.1921
LibreCat: https://research-explorer.ista.ac.at/record/3950
DOI: 10.1038/nm.1921

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

Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
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. Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. 2009;9(1):79-103. doi:10.1007/s10208-008-9027-z
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. Persistent homology for kernels, images, and cokernels. In: SIAM; 2009:1011-1020.
LibreCat: https://research-explorer.ista.ac.at/record/3967

Ulrich F, Heisenberg C-PJ. Trafficking and cell migration. Traffic. 2009;10(7):811-818. doi:10.1111/j.1600-0854.2009.00929.x
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, et al. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 2009;126(Supplement 1):-. doi:10.1016/j.mod.2009.06.970
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, et al. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 2009;126(Supplement 1):-. doi:10.1016/j.mod.2009.06.098
LibreCat: https://research-explorer.ista.ac.at/record/4162
DOI: 10.1016/j.mod.2009.06.098

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

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

Heisenberg C-PJ. Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology. 2009;31(12):1284-1287. doi:10.1002/bies.200900109
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. Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. 2009;136(8):1305-1315. doi:10.1242/dev.026922
LibreCat: https://research-explorer.ista.ac.at/record/4217
DOI: 10.1242/dev.026922

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

de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009. doi:3811
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

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

Wies T, Piskac R, Kuncak V. Combining Theories with Shared Set Operations. In: Springer; 2009:366-382. doi:1558
LibreCat: https://research-explorer.ista.ac.at/record/4360
DOI: 1558

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

Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module Inference. In: Springer; 2009:493-508. doi:1555
LibreCat: https://research-explorer.ista.ac.at/record/4375
DOI: 1555

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

Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
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. Preventing versus curing: avoiding conflicts in transactional memories. In: ACM; 2009:7-16. doi:1533
LibreCat: https://research-explorer.ista.ac.at/record/4385
DOI: 1533

Lublinerman R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. In: ACM; 2009:61-80. doi:1546
LibreCat: https://research-explorer.ista.ac.at/record/4376
DOI: 1546

Cerny P, Alur R. Automated Analysis of Java Methods for Confidentiality. In: Springer; 2009:173-187. doi:1548
LibreCat: https://research-explorer.ista.ac.at/record/4391
DOI: 1548

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9
LibreCat: https://research-explorer.ista.ac.at/record/4403
DOI: 10.1007/978-3-642-04027-6_9

Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
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. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12
LibreCat: https://research-explorer.ista.ac.at/record/4535
DOI: 10.1007/978-3-642-03845-7_12

Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2

Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
LibreCat: https://research-explorer.ista.ac.at/record/4545
DOI: 10.1007/978-3-642-02930-1_1

Chatterjee K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
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. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
LibreCat: https://research-explorer.ista.ac.at/record/4544
DOI: 10.1137/1.9781611973068.23

Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16
LibreCat: https://research-explorer.ista.ac.at/record/4540
DOI: 10.1109/LICS.2009.16

Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
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. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
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. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
LibreCat: https://research-explorer.ista.ac.at/record/5392
DOI: 10.15479/AT:IST-2009-0004

Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
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. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 2009;458(7241):1030-1033. doi:10.1038/nature07820
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. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 2009;9(4):375-385. doi:10.1016/j.cmet.2009.02.003
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, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/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, et al. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 2009;89(22-24):2083-2091. doi:10.1080/14786430902865518
LibreCat: https://research-explorer.ista.ac.at/record/7080
DOI: 10.1080/14786430902865518

Reum M, Freunberger SA, Wokaun A, Buchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 2009;156(3). doi:10.1149/1.3043422
LibreCat: https://research-explorer.ista.ac.at/record/7319
DOI: 10.1149/1.3043422

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95
LibreCat: https://research-explorer.ista.ac.at/record/752
DOI: 10.1007/978-3-642-10631-6_95

Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801
LibreCat: https://research-explorer.ista.ac.at/record/7751
DOI: 10.1534/genetics.108.086801

Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. doi:10.1038/nn.2276
LibreCat: https://research-explorer.ista.ac.at/record/8026
DOI: 10.1038/nn.2276
PMID: 19305402

Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). doi:10.1063/1.3155302
LibreCat: https://research-explorer.ista.ac.at/record/88
DOI: 10.1063/1.3155302
PMID:     19566203

Serbyn M, Skvortsov M, Varlamov A, Galitski V. Giant nernst effect due to fluctuating cooper Pairs in superconductors. In: Vol 1134. American Institute of Physics; 2009:140-145. doi:10.1063/1.3149485
LibreCat: https://research-explorer.ista.ac.at/record/964
DOI: 10.1063/1.3149485

Gal M, Kern T, Schanda P, Frydman L, Brutscher B. An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. 2009;43:1-10. doi:10.1007/s10858-008-9284-9
LibreCat: https://research-explorer.ista.ac.at/record/8479
DOI: 10.1007/s10858-008-9284-9

Bruschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
LibreCat: https://research-explorer.ista.ac.at/record/8478
DOI: 10.1021/ja809947w

Farjon J, Boisbouvier J, Schanda P, Pardi A, Simorre J-P, Brutscher B. Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. 2009;131(24):8571-8577. doi:10.1021/ja901633y
LibreCat: https://research-explorer.ista.ac.at/record/8476
DOI: 10.1021/ja901633y

Amero C, Schanda P, Dura MA, et al. Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. 2009;131(10):3448-3449. doi:10.1021/ja809880p
LibreCat: https://research-explorer.ista.ac.at/record/8477
DOI: 10.1021/ja809880p

Schanda P, Huber M, Verel R, Ernst M, Meier B. Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. 2009;48(49):9322-9325. doi:10.1002/anie.200904411
LibreCat: https://research-explorer.ista.ac.at/record/8474
DOI: 10.1002/anie.200904411

Schanda P. Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. 2009;55(3):238-265. doi:10.1016/j.pnmrs.2009.05.002
LibreCat: https://research-explorer.ista.ac.at/record/8475
DOI: 10.1016/j.pnmrs.2009.05.002

Gorodetski A, Kaloshin V. Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. 2009;267(1):76-90. doi:10.1134/s0081543809040063
LibreCat: https://research-explorer.ista.ac.at/record/8508
DOI: 10.1134/s0081543809040063

Alkalaeva E, Eliseev B, Ambrogelly A, et al. Translation termination in pyrrolysine-utilizing archaea. FEBS Letters. 2009;583(21):3455-3460. doi:10.1016/j.febslet.2009.09.044
LibreCat: https://research-explorer.ista.ac.at/record/908
DOI: 10.1016/j.febslet.2009.09.044

Muller CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667
LibreCat: https://research-explorer.ista.ac.at/record/9148
DOI: 10.1029/2009gl039667

Muller CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1
LibreCat: https://research-explorer.ista.ac.at/record/9147
DOI: 10.1175/2009jpo4141.1

Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. Science. 2009;324(5933):1451-1454. doi:10.1126/science.1172417
LibreCat: https://research-explorer.ista.ac.at/record/9453
DOI: 10.1126/science.1172417
PMID: 19520962

Olson MA, Coskun A, Klajn R, et al. Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions. Nano Letters. 2009;9(9):3185-3190. doi:10.1021/nl901385c
LibreCat: https://research-explorer.ista.ac.at/record/13416
DOI: 10.1021/nl901385c
PMID: 19694461

Klajn R, Olson MA, Wesson PJ, et al. Dynamic hook-and-eye nanoparticle sponges. Nature Chemistry. 2009;1:733-738. doi:10.1038/nchem.432
LibreCat: https://research-explorer.ista.ac.at/record/13415
DOI: 10.1038/nchem.432
PMID: 21124361

Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. Writing self-erasing images using metastable nanoparticle ks.”10.1002/anie.200901119__Angewandte Chemie International Edition. 2009;48(38):7035-7039. doi:10.1002/anie.200901119
LibreCat: https://research-explorer.ista.ac.at/record/13417
DOI: 10.1002/anie.200901119
PMID: 19533698

Browne KP, Klajn R, Villa J, Grzybowski BA. Mechanofabrication of pancake and rodlike nanostructures from deformable nanoparticle aggregates. Small. 2009;5(23):2656-2658. doi:10.1002/smll.200900902
LibreCat: https://research-explorer.ista.ac.at/record/13414
DOI: 10.1002/smll.200900902
PMID: 19771567

Nakanishi H, Bishop KJM, Kowalczyk B, et al. Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles. Nature. 2009;460(7253):371-375. doi:10.1038/nature08131
LibreCat: https://research-explorer.ista.ac.at/record/13418
DOI: 10.1038/nature08131
PMID: 19606145

Olson MA, Braunschweig AB, Fang L, et al. A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. 2009;48(10):1792-1797. doi:10.1002/anie.200804558
LibreCat: https://research-explorer.ista.ac.at/record/13421
DOI: 10.1002/anie.200804558
PMID: 19180620

Klajn R, Fang L, Coskun A, et al. Metal nanoparticles functionalized with molecular and supramolecular switches. Journal of the American Chemical Society. 2009;131(12):4233-4235. doi:10.1021/ja9001585
LibreCat: https://research-explorer.ista.ac.at/record/13420
DOI: 10.1021/ja9001585
PMID: 19265400

Wesson PJ, Soh S, Klajn R, Bishop KJM, Gray TP, Grzybowski BA. “Remote”10.1002/adma.200802964__fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals. Advanced Materials. 2009;21(19):1911-1915. doi:10.1002/adma.200802964
LibreCat: https://research-explorer.ista.ac.at/record/13419
DOI: 10.1002/adma.200802964