Synthesizing robust systems
R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.
LibreCat: https://research-explorer.ista.ac.at/record/3835
DOI: 10.1109/FMCAD.2009.5351139

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

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

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

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

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

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

The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
LibreCat: https://research-explorer.ista.ac.at/record/3968
DOI: 10.1007/978-3-642-10470-1_4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

It's Doomed; We Can Prove It
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Springer, 2009, pp. 338–353.
LibreCat: https://research-explorer.ista.ac.at/record/4377
DOI: 1557

Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
LibreCat: https://research-explorer.ista.ac.at/record/4383
DOI: 10.1007/978-3-642-02658-4_26

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

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

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

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

Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
LibreCat: https://research-explorer.ista.ac.at/record/4453
DOI: 10.1007/978-3-642-02658-4_27

Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
LibreCat: https://research-explorer.ista.ac.at/record/4535
DOI: 10.1007/978-3-642-03845-7_12

Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2

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

Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
LibreCat: https://research-explorer.ista.ac.at/record/4543
DOI: 10.1007/978-3-642-03816-7_4

Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/4544
DOI: 10.1137/1.9781611973068.23

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

Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
LibreCat: https://research-explorer.ista.ac.at/record/4580
DOI: 10.1007/978-3-642-00768-2_7

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

Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

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

Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

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

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

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

Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/11752
DOI: 10.1088/1742-6596/200/3/032062

Influence of magnetic fields on structural martensitic transitions
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
LibreCat: https://research-explorer.ista.ac.at/record/7080
DOI: 10.1080/14786430902865518

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

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

The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep
M.R. Robinson, A.J. Wilson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Genetics 181 (2009) 1639–1648.
LibreCat: https://research-explorer.ista.ac.at/record/7751
DOI: 10.1534/genetics.108.086801

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

Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
LibreCat: https://research-explorer.ista.ac.at/record/88
DOI: 10.1063/1.3155302
PMID:     19566203

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

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

Direct observation of the dynamic process underlying allosteric signal transmission
S. Bruschweiler, P. Schanda, K. Kloiber, B. Brutscher, G. Kontaxis, R. Konrat, M. Tollinger, Journal of the American Chemical Society 131 (2009) 3063–3068.
LibreCat: https://research-explorer.ista.ac.at/record/8478
DOI: 10.1021/ja809947w

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

Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies
C. Amero, P. Schanda, M.A. Dura, I. Ayala, D. Marion, B. Franzetti, B. Brutscher, J. Boisbouvier, Journal of the American Chemical Society 131 (2009) 3448–3449.
LibreCat: https://research-explorer.ista.ac.at/record/8477
DOI: 10.1021/ja809880p

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

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

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

Translation termination in pyrrolysine-utilizing archaea
E. Alkalaeva, B. Eliseev, A. Ambrogelly, P. Vlasov, F. Kondrashov, S. Gundllapalli, L. Frolova, D. Söll, L. Kisselev, FEBS Letters 583 (2009) 3455–3460.
LibreCat: https://research-explorer.ista.ac.at/record/908
DOI: 10.1016/j.febslet.2009.09.044

A model for the relationship between tropical precipitation and column water vapor
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
LibreCat: https://research-explorer.ista.ac.at/record/9148
DOI: 10.1029/2009gl039667

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

Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
LibreCat: https://research-explorer.ista.ac.at/record/9453
DOI: 10.1126/science.1172417
PMID: 19520962

Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions
M.A. Olson, A. Coskun, R. Klajn, L. Fang, S.K. Dey, K.P. Browne, B.A. Grzybowski, J.F. Stoddart, Nano Letters 9 (2009) 3185–3190.
LibreCat: https://research-explorer.ista.ac.at/record/13416
DOI: 10.1021/nl901385c
PMID: 19694461

Dynamic hook-and-eye nanoparticle sponges
R. Klajn, M.A. Olson, P.J. Wesson, L. Fang, A. Coskun, A. Trabolsi, S. Soh, J.F. Stoddart, B.A. Grzybowski, Nature Chemistry 1 (2009) 733–738.
LibreCat: https://research-explorer.ista.ac.at/record/13415
DOI: 10.1038/nchem.432
PMID: 21124361

Writing self-erasing images using metastable nanoparticle cinksd
R. Klajn, P.J. Wesson, K.J.M. Bishop, B.A. Grzybowski, Angewandte Chemie International Edition 48 (2009) 7035–7039.
LibreCat: https://research-explorer.ista.ac.at/record/13417
DOI: 10.1002/anie.200901119
PMID: 19533698

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

Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles
H. Nakanishi, K.J.M. Bishop, B. Kowalczyk, A. Nitzan, E.A. Weiss, K.V. Tretiakov, M.M. Apodaca, R. Klajn, J.F. Stoddart, B.A. Grzybowski, Nature 460 (2009) 371–375.
LibreCat: https://research-explorer.ista.ac.at/record/13418
DOI: 10.1038/nature08131
PMID: 19606145

A bistable poly[2]catenane forms nanosuperstructures
M.A. Olson, A.B. Braunschweig, L. Fang, T. Ikeda, R. Klajn, A. Trabolsi, P.J. Wesson, D. Benítez, C.A. Mirkin, B.A. Grzybowski, J.F. Stoddart, Angewandte Chemie International Edition 48 (2009) 1792–1797.
LibreCat: https://research-explorer.ista.ac.at/record/13421
DOI: 10.1002/anie.200804558
PMID: 19180620

Metal nanoparticles functionalized with molecular and supramolecular switches
R. Klajn, L. Fang, A. Coskun, M.A. Olson, P.J. Wesson, J.F. Stoddart, B.A. Grzybowski, Journal of the American Chemical Society 131 (2009) 4233–4235.
LibreCat: https://research-explorer.ista.ac.at/record/13420
DOI: 10.1021/ja9001585
PMID: 19265400

cRemoted fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals
P.J. Wesson, S. Soh, R. Klajn, K.J.M. Bishop, T.P. Gray, B.A. Grzybowski, Advanced Materials 21 (2009) 1911–1915.
LibreCat: https://research-explorer.ista.ac.at/record/13419
DOI: 10.1002/adma.200802964