Please note that ISTA 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.

9101 Publications


2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Dmitriy Morozov. “Persistent Homology for Kernels, Images, and Cokernels,” 1011–20. SIAM, 2009.
View
 

2009 | Journal Article | IST-REx-ID: 4143
Ulrich, Florian, and Carl-Philipp J Heisenberg. “Trafficking and Cell Migration.” Traffic. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1600-0854.2009.00929.x.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
Oteíza, Pablo, Carmen Lemus, Mathias Köppen, Karina Palma, Michael Krieg, Cristina Melo, Cecilia Farias, et al. “Linking Organ Formation to Left-Right Patterning in the Embryonic Zebrafish.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.970.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
Oteíza, Pablo, Mathias Köppen, Michael Krieg, Steffen Preibisch, Steffen Haertel, Daniel Müller, Carl-Philipp J Heisenberg, and Miguel Concha. “Wnt11/Pk1a-Mediated Planar Cell Polarity Signalling Orchestrates Epithelial Organ Morphogenesis by Regulating N-Cadherin Dependent Cell Adhesion Forces.” Mechanisms of Development. Elsevier, 2009. https://doi.org/10.1016/j.mod.2009.06.098.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
Paluch, Ewa, and Carl-Philipp J Heisenberg. “Biology and Physics of Cell Shape Changes in Development.” Current Biology. Cell Press, 2009. https://doi.org/10.1016/j.cub.2009.07.029.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
Paluch, Ewa, and Carl-Philipp J Heisenberg. “Chaos Begets Order: Asynchronous Cell Contractions Drive Epithelial Morphogenesis.” Developmental Cell. Cell Press, 2009. https://doi.org/10.1016/j.devcel.2008.12.011.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
Heisenberg, Carl-Philipp J. “Dorsal Closure in Drosophila: Cells Cannot Get out of the Tight Spot.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell, 2009. https://doi.org/10.1002/bies.200900109.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
Carvalho, Lara, Jan Stuehmer, Justin Bois, Yannis Kalaidzidis, Virginie Lecaudey, and Carl-Philipp J Heisenberg. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.” Development. Company of Biologists, 2009. https://doi.org/10.1242/dev.026922.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
Barton, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.099309.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
Vladar, Harold de. “Stochasticity and Variability in the Dynamics and Genetics of Populations.” Faculty of mathematical and natural sciences, University of Groningen, 2009. https://doi.org/3811.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P, and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.107.085225.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,” 366–82. Springer, 2009. https://doi.org/1558.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.
View
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,” 493–508. Springer, 2009. https://doi.org/1555.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,” 338–53. Springer, 2009. https://doi.org/1557.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,” 7–16. ACM, 2009. https://doi.org/1533.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies,” 61–80. ACM, 2009. https://doi.org/1546.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,” 173–87. Springer, 2009. https://doi.org/1548.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_27.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,” 5688:173–88. Springer, 2009. https://doi.org/10.1007/978-3-642-03845-7_12.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,” 199–208. IEEE, 2009. https://doi.org/10.1109/LICS.2009.16.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
[Published Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/gad.1767009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 6144
Persson, Annelie, Einav Gross, Patrick Laurent, Karl Emanuel Busch, Hugo Bretes, and Mario de Bono. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” Nature. Springer Nature, 2009. https://doi.org/10.1038/nature07820.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 6145
Cohen, Merav, Vincenzina Reale, Birgitta Olofsson, Andrew Knights, Peter Evans, and Mario de Bono. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” Cell Metabolism. Elsevier, 2009. https://doi.org/10.1016/j.cmet.2009.02.003.
View | DOI | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11752
Yang, Xiaodong, Peter S Riseborough, Kimberly A Modic, R A Fisher, C P Oppeil, T R Finlayson, J C Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” In Journal of Physics: Conference Series, Vol. 200. IOP Publishing, 2009. https://doi.org/10.1088/1742-6596/200/3/032062.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7080
Yang, X.-D., P.S. Riseborough, Kimberly A Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Philosophical Magazine. Taylor & Francis, 2009. https://doi.org/10.1080/14786430902865518.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
Reum, Mathias, Stefan Alexander Freunberger, Alexander Wokaun, and Felix N. Büchi. “Measuring the Current Distribution with Sub-Millimeter Resolution in PEFCs: II. Impact of Operating Parameters.” Journal of The Electrochemical Society. The Electrochemical Society, 2009. https://doi.org/10.1149/1.3043422.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement,” 5878 LNCS:943–53. Springer, 2009. https://doi.org/10.1007/978-3-642-10631-6_95.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
Robinson, Matthew Richard, Alastair J. Wilson, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E. B. Kruuk. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.086801.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels, Tim P, and L F Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience. Springer Nature, 2009. https://doi.org/10.1038/nn.2276.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
Higginbotham, Andrew P, Octavi Semonin, S Bruce, C Chan, M Maindi, Tom Donnelly, M Maurer, et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments. American Institute of Physics, 2009. https://doi.org/10.1063/1.3155302.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 964
Serbyn, Maksym, Mikhail Skvortsov, Andrei Varlamov, and Victor Galitski. “Giant Nernst Effect Due to Fluctuating Cooper Pairs in Superconductors,” 1134:140–45. American Institute of Physics, 2009. https://doi.org/10.1063/1.3149485.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8479
Gal, Maayan, Thomas Kern, Paul Schanda, Lucio Frydman, and Bernhard Brutscher. “An Improved Ultrafast 2D NMR Experiment: Towards Atom-Resolved Real-Time Studies of Protein Kinetics at Multi-Hz Rates.” Journal of Biomolecular NMR. Springer Nature, 2009. https://doi.org/10.1007/s10858-008-9284-9.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
Brüschweiler, Sven, Paul Schanda, Karin Kloiber, Bernhard Brutscher, Georg Kontaxis, Robert Konrat, and Martin Tollinger. “Direct Observation of the Dynamic Process Underlying Allosteric Signal Transmission.” Journal of the American Chemical Society. American Chemical Society, 2009. https://doi.org/10.1021/ja809947w.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8476
Farjon, Jonathan, Jérôme Boisbouvier, Paul Schanda, Arthur Pardi, Jean-Pierre Simorre, and Bernhard Brutscher. “Longitudinal-Relaxation-Enhanced NMR Experiments for the Study of Nucleic Acids in Solution.” Journal of the American Chemical Society. American Chemical Society, 2009. https://doi.org/10.1021/ja901633y.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8477
Amero, Carlos, Paul Schanda, M. Asunción Durá, Isabel Ayala, Dominique Marion, Bruno Franzetti, Bernhard Brutscher, and Jérôme Boisbouvier. “Fast Two-Dimensional NMR Spectroscopy of High Molecular Weight Protein Assemblies.” Journal of the American Chemical Society. American Chemical Society, 2009. https://doi.org/10.1021/ja809880p.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8474
Schanda, Paul, Matthias Huber, René Verel, Matthias Ernst, and Beat H. Meier. “Direct Detection of 3hJN’ Hydrogen-Bond Scalar Couplings in Proteins by Solid-State NMR Spectroscopy.” Angewandte Chemie International Edition. Wiley, 2009. https://doi.org/10.1002/anie.200904411.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8475
Schanda, Paul. “Fast-Pulsing Longitudinal Relaxation Optimized Techniques: Enriching the Toolbox of Fast Biomolecular NMR Spectroscopy.” Progress in Nuclear Magnetic Resonance Spectroscopy. Elsevier, 2009. https://doi.org/10.1016/j.pnmrs.2009.05.002.
View | DOI
 

Search

Filter Publications