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.

7706 Publications


2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” IST Austria, 2010.
View
 

2010 | Journal Article | IST-REx-ID: 3963
Streinzer, M., Thomas Ellis, H. Paulus, and J. Spaethe. “Visual Discrimination between Two Sexually Deceptive Ophrys Species by a Bee Pollinator.” Arthropod-Plant Interactions. Springer, 2010. https://doi.org/10.1007/s11829-010-9093-4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3964
Cohen Steiner, David, Herbert Edelsbrunner, John Harer, and Yuriy Mileyko. “Lipschitz Functions Have L_p-Stable Persistence.” Foundations of Computational Mathematics. Springer, 2010. https://doi.org/10.1007/s10208-010-9060-6.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1461-0248.2010.01442.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.182.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4163
Oteíza, Pablo, Mathias Koeppen, Michael Krieg, Eduardo Pulgar, Cecilia Farias, Cristina Melo, Steffen Preibisch, et al. “Planar Cell Polarity Signalling Regulates Cell Adhesion Properties in Progenitors of the Zebrafish Laterality Organ.” Development. Company of Biologists, 2010. https://doi.org/10.1242/dev.049981.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash, Elena, Michal Reichman Fried, Jean Maître, Bijan Boldajipour, Ekaterina Papusheva, Esther Messerschmidt, Carl Heisenberg, and Erez Raz. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.” Nature Cell Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/ncb2003.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2009.11.036.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-741.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Danowski, Patrick. Open Bibliographic Data. European Library Automation Group (ELAG) 2010. Elsevier, 2010.
View | Files available | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4341
Danowski, Patrick. “Step One: Blow up the Silo! - Open Bibliographic Data, the First Step towards Linked Open Data.” IFLA, 2010.
View | Download (ext.)
 

2010 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski, Patrick, and Julia Bergmann, eds. Handbuch Bibliothek 2.0. Vol. 41. Bibliothekspraxis. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.” Genome Biology and Evolution. Oxford University Press, 2010. https://doi.org/10.1093/gbe/evq031.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.” edited by Luke Ong, 6014:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
Podelski, Andreas, and Thomas Wies. “Counterexample-Guided Focus,” 249–60. ACM, 2010. https://doi.org/10.1145/1707801.1706330.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.” edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9_13.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,” 83–90. IEEE, 2010. https://doi.org/10.1109/CLOUD.2010.71.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,” 263–72. ACM, 2010. https://doi.org/10.1145/1810479.1810529.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_57.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, 1594–1604. Society for Industrial and Applied Mathematics, 2010. https://doi.org/10.1137/1.9781611973075.129.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. https://doi.org/10.1007/978-3-642-17511-4_7.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 11099
Doucet, Christine M., and Martin Hetzer. “Nuclear Pore Biogenesis into an Intact Nuclear Envelope.” Chromosoma. Springer Nature, 2010. https://doi.org/10.1007/s00412-010-0289-2.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11102 | OA
Capelson, Maya, Yun Liang, Roberta Schulte, William Mair, Ulrich Wagner, and Martin Hetzer. “Chromatin-Bound Nuclear Pore Components Regulate Gene Expression in Higher Eukaryotes.” Cell. Elsevier, 2010. https://doi.org/10.1016/j.cell.2009.12.054.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
Doucet, Christine M., Jessica A. Talamas, and Martin Hetzer. “Cell Cycle-Dependent Differences in Nuclear Pore Complex Assembly in Metazoa.” Cell. Elsevier, 2010. https://doi.org/10.1016/j.cell.2010.04.036.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11097
Hetzer, Martin. “The Nuclear Envelope.” Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory, 2010. https://doi.org/10.1101/cshperspect.a000539.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
Hetzer, Martin. “The Role of the Nuclear Pore Complex in Aging of Post-Mitotic Cells.” Aging. Impact Journals, 2010. https://doi.org/10.18632/aging.100125.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 11753
Lang, S. B., J. C. Lashley, Kimberly A Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye. “Specific Heat of a Ferroelectric PZT Ceramic at the Morphotropic Phase Boundary.” In Proceedings of the 2010 IEEE International Conference on Solid Dielectrics. Institute of Electrical and Electronics Engineers, 2010. https://doi.org/10.1109/icsd.2010.5568033.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 11754
Lang, S.B., J.C. Lashley, Kimberly A Modic, R.A. Fisher, W.M. Zhu, and Z.G. Ye. “Specific Heat of a Ferroelectric PZT Ceramic at the Morphotropic Phase Boundary.” In 15th IEEE Mediterranean Electrotechnical Conference. Institute of Electrical and Electronics Engineers, 2010. https://doi.org/10.1109/melcon.2010.5476345.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho, Lara, and Carl-Philipp J Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.” Trends in Cell Biology. Cell Press, 2010. https://doi.org/10.1016/j.tcb.2010.06.009.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 11975
Pieber, Bartholomäus, Sigurd Schober, Christoph Goebl, and Martin Mittelbach. “Novel Sensitive Determination of Steryl Glycosides in Biodiesel by Gas Chromatography-Mass Spectroscopy.” Journal of Chromatography A. Elsevier, 2010. https://doi.org/10.1016/j.chroma.2010.08.006.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 2796
De Lózar, Alberto, and Björn Hof. “An Experimental Study of the Decay of Turbulent Puffs in Pipe Flow.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2009. https://doi.org/10.1098/rsta.2008.0199.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2797
Kuik, Dirk, Christian Poelma, Björn Hof, and Jerry Westerweel. “Quantitative Measurement of the Life Time of Turbulence in Pipe Flow,” 132:145–48. Springer, 2009. https://doi.org/10.1007/978-3-642-03085-7_36.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2868
Benková, Eva, and Jan Hejátko. “Hormone Interactions at the Root Apical Meristem.” Plant Molecular Biology. Springer, 2009. https://doi.org/10.1007/s11103-008-9393-6.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
Péret, Benjamin, Bert De Rybel, Ilda Casimiro, Eva Benková, Ranjan Swarup, Laurent Laplaze, Tom Beeckman, and Malcolm Bennett. “Arabidopsis Lateral Root Development: An Emerging Story.” Trends in Plant Science. Cell Press, 2009. https://doi.org/10.1016/j.tplants.2009.05.002.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2932
Kolmogorov, Vladimir. “Blossom V: A New Implementation of a Minimum Cost Perfect Matching Algorithm.” Mathematical Programming Computation. Springer, 2009. https://doi.org/10.1007/s12532-009-0002-8.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3046
Grunewald, Wim, Bernard Cannoot, Jiří Friml, and Godelieve Gheysen. “Parasitic Nematodes Modulate PIN Mediated Auxin Transport to Facilitate Infection.” PLoS Pathogens. Public Library of Science, 2009. https://doi.org/ 10.1371/journal.ppat.1000266.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, Boosaree, Joshua Blakeslee, Anindita Bandyopadhyay, Haibing Yang, Jozef Mravec, Michael Sauer, Yan Cheng, et al. “ABCB19 PGP19 Stabilises PIN1 in Membrane Microdomains in Arabidopsis.” Plant Journal. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1365-313X.2008.03668.x.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka, Hirokazu, Saeko Kitakura, Riet De Rycke, Ruth De Groodt, and Jiří Friml. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.” Current Biology. Cell Press, 2009. https://doi.org/10.1016/j.cub.2009.01.057.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová, Markéta, Petr Klíma, Jakub Horák, Martina Válková, Jiří Malbeck, Přemysl Souček, Pavel Reichman, et al. “Cytokinins Modulate Auxin Induced Organogenesis in Plants via Regulation of the Auxin Efflux.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0811539106.
View | DOI
 

Search

Filter Publications