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.
147 Publications
2005 | Journal Article | IST-REx-ID: 3933
Sixt, Michael K, Nobuo Kanazawa, Manuel Selg, Thomas Samson, Gunnel Roos, Dieter Reinhardt, Reinhard Pabst, Manfred Lutz, and Lydia Sorokin. “The Conduit System Transports Soluble Antigens from the Afferent Lymph to Resident Dendritic Cells in the T Cell Area of the Lymph Node.” Immunity. Cell Press, 2005. https://doi.org/10.1016/j.immuni.2004.11.013.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3983
Sohn, Jungsan, Jerry Parks, Gregory Buhrman, Paul Brown, Kolbrun Kristjánsdóttir, Alexias Safi, Herbert Edelsbrunner, Weitao Yang, and Johannes Rudolph. “Experimental Validation of the Docking Orientation of Cdc25 with Its Cdk2-CycA Protein Substrate.” Biochemistry. ACS, 2005. https://doi.org/10.1021/bi0516879.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3982
Wang, Yusu, Pankaj Agarwal, Paul Brown, Herbert Edelsbrunner, and Johannes Rudolph. “Coarse and Reliable Geometric Alignment for Protein Docking,” 64–75. World Scientific Publishing, 2005. https://doi.org/10.1142/9789812702456_0007.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4144
Ulrich, Florian, Michael Krieg, Eva Schötz, Vinzenz Link, Irinka Castanon, Viktor Schnabel, Anna Taubenberger, Daniel Müller, Pierre Puech, and Carl-Philipp J Heisenberg. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through Rab5c and E-Cadherin.” Developmental Cell. Cell Press, 2005. https://doi.org/10.1016/j.devcel.2005.08.011.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4138
Barton, Nicholas H, and Jitka Polechova. “The Limitations of Adaptive Dynamics as a Model of Evolution.” Journal of Evolutionary Biology. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1420-9101.2005.00943.x.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4155
Puech, Pierre, Anna Taubenberger, Florian Ulrich, Michael Krieg, Daniel Mueller, and Carl-Philipp J Heisenberg. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science. Company of Biologists, 2005. https://doi.org/10.1242/jcs.02547.
View
| DOI
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: 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 | 
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: 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