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.

7704 Publications


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
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička, Kamil, Mária Šimášková, Jérôme Duclercq, Jan Petrášek, Eva Zažímalová, Sibu Simon, Jiří Friml, Marc Van Montagu, and Eva Benková. “Cytokinin Regulates Root Meristem Activity via Modulation of the Polar Auxin Transport.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0900060106.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.03.009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.03.001.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
Benková, Eva, Maria Ivanchenko, Jiří Friml, Svetlana Shishkova, and Joseph Dubrovsky. “A Morphogenetic Trigger: Is There an Emerging Concept in Plant Developmental Biology?” Trends in Plant Science. Cell Press, 2009. https://doi.org/10.1016/j.tplants.2009.01.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert, Hélène, and Jiří Friml. “Auxin and Other Signals on the Move in Plants.” Nature Chemical Biology. Nature Publishing Group, 2009. https://doi.org/10.1038/nchembio.170.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3055
Naramoto, Satoshi, Shinichiro Sawa, Koji Koizumi, Tomohiro Uemura, Takashi Ueda, Jiří Friml, Akihiko Nakano, and Hiroo Fukuda. “Phosphoinositide-Dependent Regulation of VAN3 ARF-GAP Localization and Activity Essential for Vascular Tissue Continuity in Plants.” Development. Company of Biologists, 2009. https://doi.org/10.1242/dev.030098.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
Sorefan, Karim, Thomas Girin, Sarah Liljegren, Karin Ljung, Pedro Robles, Carlos Galván Ampudia, Remko Offringa, Jiří Friml, Martin Yanofsky, and Lars Østergaard. “A Regulated Auxin Minimum Is Required for Seed Dispersal in Arabidopsis.” Nature. Nature Publishing Group, 2009. https://doi.org/10.1038/nature07875.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, Jan, and Jiří Friml. “Auxin Transport Routes in Plant Development.” Development. Company of Biologists, 2009. https://doi.org/10.1242/dev.030353.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3058
Mravec, Jozef, Petr Skůpa, Aurélien Bailly, Klára Hoyerová, Pavel Křeček, Agnieszka Bielach, Jan Petrášek, et al. “Subcellular Homeostasis of Phytohormone Auxin Is Mediated by the ER Localized PIN5 Transporter.” Nature. Nature Publishing Group, 2009. https://doi.org/10.1038/nature08066.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
Kleine Vehn, Jürgen, Fang Huang, Satoshi Naramoto, Jing Zhang, Marta Michniewicz, Remko Offringa, and Jiří Friml. “PIN Auxin Efflux Carrier Polarity Is Regulated by PINOID Kinase Mediated Recruitment into GNOM Independent Trafficking in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2009. https://doi.org/10.1105/tpc.109.071639.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Schumacher, Karin, and Jiří Friml. “Cell Biology.” Current Opinion in Plant Biology. Elsevier, 2009. https://doi.org/10.1016/j.pbi.2009.10.009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, Pavel, Petr Skůpa, Jiří Libus, Satoshi Naramoto, Ricardo Tejos, Jiří Friml, and Eva Zažímalová. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology. BioMed Central, 2009. https://doi.org/10.1186/gb-2009-10-12-249.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research. Microtome Publishing, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Joint Optimization of Segmentation and Appearance Models,” 755–62. IEEE, 2009. https://doi.org/10.1109/ICCV.2009.5459287.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov, Vladimir, and Akiyoshi Shioura. “New Algorithms for Convex Cost Tension Problem with Application to Computer Vision.” Discrete Optimization. Elsevier, 2009. https://doi.org/10.1016/j.disopt.2009.04.006.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
Woodford, Oliver, Carsten Rother, and Vladimir Kolmogorov. “A Global Perspective on MAP Inference for Low Level Vision,” 2319–26. IEEE, 2009. https://doi.org/10.1109/ICCV.2009.5459434.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
Kiltz, Eike, Krzysztof Z Pietrzak, Martijn Stam, and Moti Yung. “A New Randomness Extraction Paradigm for Hybrid Encryption,” 5479:590–609. Springer, 2009. https://doi.org/10.1007/978-3-642-01001-9_34.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
Kiltz, Eike, and Krzysztof Z Pietrzak. “On the Security of Padding Based Encryption Schemes Why We Cannot Prove OAEP Secure in the Standard Model,” 5479:389–406. Springer, 2009. https://doi.org/10.1007/978-3-642-01001-9_23.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak, Krzysztof Z. “A Leakage Resilient Mode of Operation,” 5479:462–82. Springer, 2009. https://doi.org/10.1007/978-3-642-01001-9_27.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel, Jakob, Philipp S Schmalhorst, Thilo Dörk Bousset, Vincent Ferrières, and Françoise Routier. “A Single UDP Galactofuranose Transporter Is Required for Galactofuranosylation in Aspergillus Fumigatus.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2009. https://doi.org/10.1074/jbc.M109.070219 .
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin, Subhra, Sarit Goswami, and Obaid Siddiqi. “Sensory Correlates of Imaginal Conditioning in Drosophila Melanogaster.” Journal of Neurogenetics. Informa Healthcare, 2009. https://doi.org/10.1080/01677060802491559 .
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
Weissman, Daniel, Michael Desai, Daniel Fisher, and Marcus Feldman. “The Rate at Which Asexual Populations Cross Fitness Valleys.” Theoretical Population Biology. Academic Press, 2009. https://doi.org/10.1016/j.tpb.2009.02.006.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler, Caroline. “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. Springer, 2009. https://doi.org/10.1198/jabes.2009.0005.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 337
Cabot, Andreu, Maria Ibáñez, Pablo Guardia, and Paul Alivisatos. “Reaction Regimes on the Synthesis of Hollow Particles by the Kirkendall Effect.” Journal of the American Chemical Society. ACS, 2009. https://doi.org/10.1021/ja903751p.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3398
Bollenbach, Mark Tobias, and Roy Kishony. “Quiet Gene Circuit More Fragile than Its Noisy Peer.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.10.005.
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, Philipp S. “Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus.” Gottfried Wilhelm Leibniz Universität Hannover, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3408
Szymczak, Piotr, and Harald L Janovjak. “Periodic Forces Trigger a Complex Mechanical Response in Ubiquitin.” Journal of Molecular Biology. Elsevier, 2009. https://doi.org/10.1016/j.jmb.2009.04.071.
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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
 

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: 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: 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: 8508
Gorodetski, Anton, and Vadim Kaloshin. “Conservative Homoclinic Bifurcations and Some Applications.” Proceedings of the Steklov Institute of Mathematics. Springer Nature, 2009. https://doi.org/10.1134/s0081543809040063.
View | DOI
 

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: 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: 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.
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: 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.
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.
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: 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.
View | Files available | DOI
 

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.
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.
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.
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: 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
 

Search

Filter Publications