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

6753 Publications


2005 | Journal Article | IST-REx-ID: 4171
Montero, Juan, Lara Carvalho, Michaela Wilsch Bräuninger, Beate Kilian, Chigdem Mustafa, and Carl-Philipp J Heisenberg. “Shield Formation at the Onset of Zebrafish Gastrulation.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01667.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Misshapen Mediates Actin-Based Cell Contraction during Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development. Elsevier, 2005. https://doi.org/10.1016/j.mod.2005.06.010.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova, Jitka, and Nicholas H Barton. “Speciation through Competition: A Critical Review.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton, Nicholas H, and Sarah Otto. “Evolution of Recombination Due to Random Drift.” Genetics. Genetics Society of America, 2005. https://doi.org/10.1534/genetics.104.032821.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson, Toby, and Nicholas H Barton. “Theoretical Models of Selection and Mutationon Quantitative Traits.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2005. https://doi.org/10.1098/rstb.2005.1667.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. https://doi.org/1550.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,” 98–109. ACM, 2005. https://doi.org/1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic, Slobodan, and Thomas A Henzinger. “Trading End-to-End Latency for Composability,” 99–110. IEEE, 2005. https://doi.org/10.1109/RTSS.2005.43.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable Microkernel for Real-Time Systems,” 35–45. ACM, 2005. https://doi.org/10.1145/1064979.1064986.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL). ACM, 2005. https://doi.org/10.1145/1042038.1042039.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems,” 3829:226–41. Springer, 2005. https://doi.org/10.1007/11603009_18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,” 31–40. ACM, 2005. https://doi.org/10.1145/1081706.1081713.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,” 21–30. ACM, 2005. https://doi.org/10.1145/1065910.1065914.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. https://doi.org/DOI: 10.1007/11603009_13.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,” 3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11590156_1.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,” 3580:878–90. Springer, 2005. https://doi.org/10.1007/11523468_71.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Mean-Payoff Parity Games,” 178–87. IEEE, 2005. https://doi.org/10.1109/LICS.2005.26.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, Pankaj, Jürgen Kleine Vehn, and Jiří Friml. “Cell Polarity, Auxin Transport and Cytoskeleton Mediated Division Planes: Who Comes First?” Protoplasma. Springer, 2005. https://doi.org/10.1007/s00709-005-0104-8.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, Tomasz, Eva Zažímalová, Nadia Ruthardt, Jan Petrášek, York Stierhof, Jürgen Kleine Vehn, David Morris, et al. “Auxin Inhibits Endocytosis and Promotes Its Own Efflux from Cells.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03633.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, Anne, Steffen Vanneste, Justyna Wiśniewska, Eva Benková, René Benjamins, Tom Beeckman, Christian Luschnig, and Jiří Friml. “Functional Redundancy of PIN Proteins Is Accompanied by Auxin-Dependent Cross-Regulation of PIN Expression.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.02027.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, Dolf, Michael Sauer, Olivier Meurette, Jiří Friml, Karin Ljung, Göran Sandberg, Paul Hooykaas, and Remko Offringa. “Maintenance of Embryonic Auxin Distribution for Apical Basal Patterning by PIN FORMED Dependent Auxin Transport in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2005. https://doi.org/10.1105/tpc.105.034637.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal, Avital, Olga Sokolova, Deborah Robins, Karen Daugherty, Simon Hippenmeyer, Howard Riezman, Nikolaus Grigorieff, and Bruce Goode. “Conformational Changes in the Arp2 3 Complex Leading to Actin Nucleation.” Nature Structural and Molecular Biology. Nature Publishing Group, 2005. https://doi.org/10.1038/nsmb870.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer, Simon, Eline Vrieseling, Markus Sigrist, Thomas Portmann, Celia Laengle, David Ladle, and Silvia Arber. “A Developmental Switch in the Response of DRG Neurons to ETS Transcription Factor Signaling.” PLoS Biology. Public Library of Science, 2005. https://doi.org/10.1371/journal.pbio.0030159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother, Carsten, Sanjiv Kumar, Vladimir Kolmogorov, and Andrew Blake. “Digital Tapestry,” 1:589–96. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.130.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Bi-Layer Segmentation of Binocular Stereo Video,” 1186–1186. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.90.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov, Vladimir, and Martin Wainwright. “On the Optimality of Tree Reweighted Max Product Message Passing,” 316–23. AUAI Press, 2005.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov, Vladimir, and Yuri Boykov. “What Metrics Can Be Approximated by Geo Cuts or Global Optimization of Length Area and Flux,” 1:564–71. IEEE, 2005. https://doi.org/10.1109/ICCV.2005.252.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Bi-Layer Segmentation of Binocular Stereo Video,” 2:407–14. IEEE, 2005. https://doi.org/10.1109/CVPR.2005.91.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare, Mihir, Krzysztof Z Pietrzak, and Phillip Rogaway. “Improved Security Analyses for CBC MACs,” 3621:527–45. Springer, 2005. https://doi.org/10.1007/11535218_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis, Yevgeniy, Roberto Oliveira, and Krzysztof Z Pietrzak. “On the Generic Insecurity of the Full Domain Hash,” 3621:449–66. Springer, 2005. https://doi.org/10.1007/11535218_27.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak, Krzysztof Z. “Composition Does Not Imply Adaptive Security,” 3621:55–65. Springer, 2005. https://doi.org/10.1007/11535218_4.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, Harald L, Tanuj Sapra, and Daniel Mueller. “Complex Stability of Single Proteins Explored by Forced Unfolding Experiments.” Biophysical Journal. Biophysical Society, 2005. https://doi.org/10.1529/biophysj.105.059774.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, Michael, Harald L Janovjak, Maurice Hubain, and Daniel Mueller. “Automated Alignment and Pattern Recognition of Single-Molecule Force Spectroscopy Data.” Journal of Microscopy. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1365-2818.2005.01478.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, Harald L, Jens Struckmeier, and Daniel Mueller. “Hydrodynamic Effects in Fast AFM Single Molecule Force Measurements.” European Biophysics Journal. Springer, 2005. https://doi.org/10.1007/s00249-004-0430-3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach, Mark Tobias, Karsten Kruse, Periklis Pantazis, Marcos González Gaitán, and Frank Jülicher. “Robust Formation of Morphogen Gradients.” Physical Review Letters. American Physical Society, 2005. https://doi.org/10.1103/PhysRevLett.94.018103.
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback, Jonathan P. “Posterior Mapping and Posterior Predictive Distributions.” In Statistical Methods in Molecular Evolution, edited by Rasmus Nielsen, 439–62. Springer, 2005. https://doi.org/10.1007/0-387-27733-1.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger, Thomas, Laszlo Marton, Joseph O’Neill, Jojanneke Huck, Yannis Dalezios, Pablo Fuentealba, Wai Suen, et al. “Complementary Roles of Cholecystokinin- and Parvalbumin-Expressing GABAergic Neurons in Hippocampal Network Oscillations.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/JNEUROSCI.3269-05.2005.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams, Steven, Herbert Edelsbrunner, and Ping Fu. “Methods, Apparatus and Computer Program Products for Modeling Three-Dimensional Colored Objects.” Elsevier, 2005. https://doi.org/US 6,853,373 B2.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner, Herbert. “Surface Tiling with Differential Topology,” 9–11. ACM, 2005. http://dx.doi.org/10.2312/SGP/SGP05/009-011.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali, Dominique, David Cohen Steiner, and Herbert Edelsbrunner. “Extraction and Simplification of Iso-Surfaces in Tandem,” 139–48. ACM, 2005.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner, Herbert, and Patrice Koehl. “The Geometry of Biomolecular Solvation.” In Combinatorial and Computational Geometry, 52:243–75. Cambridge University Press, 2005.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega, Irinka, and Carl-Philipp J Heisenberg. “Cell Migration during Zebrafish Gastrulation.” In Cell Migration in Development and Disease, edited by Doris Wedlich, 71–105. Wiley-VCH, 2005. https://doi.org/10.1002/3527604669.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen, Mathias, and Carl-Philipp J Heisenberg. “Cleavage and Gastrulation in Zebrafish Embryos.” In Encyclopedia of Life Sciences. Wiley-Blackwell, 2005. https://doi.org/10.1038/npg.els.0001072.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega, Irinka, and Carl-Philipp J Heisenberg. “A Stern View of Gastrulation.” Nature Cell Biology. Nature Publishing Group, 2005. https://doi.org/10.1038/ncb0105-19.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, Beate, Nicholas H Barton, Loeske Kruuk, and Timothy Vines. “Mating Patterns in a Bombina Hybrid Zone: Inferences from Adult and Full Sib Genotypes.” Heredity. Nature Publishing Group, 2005. https://doi.org/10.1038/sj.hdy.6800607.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
Davison, Angus, Satoshi Chiba, Nicholas H Barton, and Bernard Clarke. “Speciation and Gene Flow between Snails of Opposing Chirality.” PLoS Biology. Public Library of Science, 2005. https://doi.org/10.1371/journal.pbio.0030282.
View | DOI
 

Search

Filter Publications