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.
204 Publications
- 1
- 2
- 3 (current)
- 4
- 5
2006 | Journal Article | IST-REx-ID: 3609
Yanchukov, Alexey, Sebastian Hofman, Jacek Szymura, Sergey Mezhzherin, Sviatoslav Morozov Leonov, Nicholas H Barton, and Beate Nürnberger. “Hybridization of Bombina Bombina and B. Variegata (Anura, Discoglossidae) at a Sharp Ecotone in Western Ukraine: Comparisons across Transects and over Time.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2006. https://doi.org/10.1111/j.0014-3820.2006.tb01139.x.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3608
Kirkpatrick, Mark, and Nicholas H Barton. “Chromosome Inversions, Local Adaptation, and Speciation.” Genetics. Genetics Society of America, 2006. https://doi.org/10.1534/genetics.105.047985.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3610
Hill, William, Nicholas H Barton, and Michael Turelli. “Prediction of Effects of Genetic Drift on Variance Components under a General Model of Epistasis.” Theoretical Population Biology. Academic Press, 2006. https://doi.org/10.1016/j.tpb.2005.10.001.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3679
Ali, Haider, Christoph Lampert, and Thomas Breuel. “Satellite Tracks Removal in Astronomical Images,” 4225:892–901. Springer, 2006. https://doi.org/10.1007/11892755_92.
View
| DOI
| Download (ext.)
2006 | Conference Paper | IST-REx-ID: 3677
Ulges, Adrian, Christoph Lampert, and Daniel Keysers. “Spatiogram-Based Shot Distances for Video Retrieval,” 1–10. NIST (National Institute of Standards and Technology, US Department of Commerce), 2006.
View
| Download (ext.)
2006 | Conference Paper | IST-REx-ID: 3680
Lampert, Christoph, Lin Mei, and Thomas Breuel. “Printing Technique Classification for Document Counterfeit Detection,” 1:639–634. IEEE, 2006. https://doi.org/10.1109/ICCIAS.2006.294214.
View
| DOI
| Download (ext.)
2006 | Journal Article | IST-REx-ID: 3695 | 
Lampert, Christoph, and Oliver Wirjadi. “An Optimal Non-Orthogonal Separation of the Anisotropic Gaussian Convolution Filter.” IEEE Transactions on Image Processing (TIP). IEEE, 2006. https://doi.org/ 10.1109/TIP.2006.877501 .
View
| DOI
| Download (ext.)
2006 | Conference Paper | IST-REx-ID: 3693
Lampert, Christoph, and Oliver Wirjadi. “Anisotropic Gaussian Filtering Using Fixed Point Arithmetic,” 1565–68. IEEE, 2006. https://doi.org/10.1109/ICIP.2006.312606.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3692
Keysers, Daniel, Christoph Lampert, and Thomas Breuel. “Color Image Dequantization by Constrained Diffusion,” Vol. 6058. SPIE, 2006. https://doi.org/10.1117/12.648713.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3729
Bippes, Christian, Andrew Humphris, Martin Stark, Daniel Mueller, and Harald L Janovjak. “Direct Measurement of Single-Molecule Visco-Elasticity in Atomic Force Microscope Force-Extension Experiments.” European Biophysics Journal. Springer, 2006. https://doi.org/10.1007/s00249-005-0023-9.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3728
Cieplak, Marek, Sławomir Filipek, Harald L Janovjak, and Krystiana Krzysko. “Pulling Single Bacteriorhodopsin out of a Membrane: Comparison of Simulation and Experiment.” Biochimica et Biophysica Acta (BBA) - Biomembranes. Elsevier, 2006. https://doi.org/10.1016/j.bbamem.2006.03.028.
View
| DOI
2006 | Book Chapter | IST-REx-ID: 3722
Janovjak, Harald L, and Daniel Mueller. “Rastersondenmikroskopie.” In Bioanalytik. Spektrum Akademischer Verlag, 2006.
View
2006 | Journal Article | IST-REx-ID: 3755 |
Le, Thuc, Thierry Emonet, Sébastien Harlepp, Calin C Guet, and Philippe Cluzel. “Dynamical Determinants of Drug-Inducible Gene Expression in a Single Bacterium.” Biophysical Journal. Biophysical Society, 2006. https://doi.org/10.1529/biophysj.105.073353.
View
| DOI
| Download (ext.)
2006 | Conference Paper | IST-REx-ID: 3758
Wojtan, Chris, Peter Mucha, and Greg Turk. “Keyframe Control of Complex Particle Systems Using the Adjoint Method,” 15–23. ACM, 2006.
View
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 3818
Bischofberger, Josef, Dominique Engel, Liyi Li, Jörg Geiger, and Peter M Jonas. “Patch-Clamp Recording from Mossy Fiber Terminals in Hippocampal Slices.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.312 .
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Quantitative Concurrent Parity Games,” 678–87. SIAM, 2006. https://doi.org/10.1145/1109557.1109631.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information,” 4207:287–302. Springer, 2006. https://doi.org/10.1007/11874683_19.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives,” 4207:256–70. Springer, 2006. https://doi.org/10.1007/11874683_17.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement for Stochastic Rabin and Streett Games,” 4137:375–89. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006. https://doi.org/10.1007/11817949_25.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3908
Ustinova, Jana, Roland Achmann, Sylvia Cremer, and Frieder Mayer. “Long Repeats in a Huge Gemome: Microsatellite Loci in the Grasshopper Chorthippus Biguttulus.” Journal of Molecular Evolution. Springer, 2006. https://doi.org/10.1007/s00239-005-0022-6.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.” Journal of Cell Science. Company of Biologists, 2006. https://doi.org/10.1242/jcs.02840.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3935
Chu, Haiyan, Ingo Thievessen, Michael K Sixt, Tim Lämmermann, Ari Waisman, Attila Braun, Angelika Noegel, and Reinhard Fässler. “γ-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.” Molecular and Cellular Biology. American Society for Microbiology, 2006. https://doi.org/10.1128/MCB.26.5.1817-1825.2006.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3936
Sixt, Michael K, Martina Bauer, Tim Lämmermann, and Reinhard Fässler. “Β1 Integrins: Zip Codes and Signaling Relay for Blood Cells.” Current Opinion in Cell Biology. Elsevier, 2006. https://doi.org/10.1016/j.ceb.2006.08.007.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4140
Witzel, Sabine, Vitaly Zimyanin, Filipa Carreira Barbosa, Masazumi Tada, and Carl-Philipp J Heisenberg. “Wnt11 Controls Cell Contact Persistence by Local Accumulation of Frizzled 7 at the Plasma Membrane.” Journal of Cell Biology. Rockefeller University Press, 2006. https://doi.org/10.1083/jcb.200606017.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4145
Tonelli, Davide, Frederico Calegari, Ji Fei, Tadashi Nomura, Noriko Osumi, Carl-Philipp J Heisenberg, and Wieland Huttner. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.” Biotechniques. Informa Healthcare, 2006. https://doi.org/10.2144/000112296.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4176
Link, Vinzenz, Lara Carvalho, Irinka Castanon, Petra Stockinger, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science. Company of Biologists, 2006. https://doi.org/10.1242/jcs.02928.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4173 |
Link, Vinzenz, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology. BioMed Central, 2006. https://doi.org/10.1186/1471-213X-6-1.
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 4178
Langenberg, Tobias, Tadeusz Dracz, Andrew Oates, Carl-Philipp J Heisenberg, and Michael Brand. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics. Wiley-Blackwell, 2006. https://doi.org/10.1002/dvdy.20692.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4184
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development. Company of Biologists, 2006. https://doi.org/doi: 10.1242/dev.02439.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4218
Blaser, Heiko, Michal Reichman Fried, Irinka Castanon, Karin Dumstrei, Florence Marlow, Koichi Kawakami, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Erez Raz. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.” Developmental Cell. Cell Press, 2006. https://doi.org/10.1016/j.devcel.2006.09.023.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4237
Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/3802.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4235
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006.
View
2006 | Journal Article | IST-REx-ID: 4248
Roze, Denis, and Nicholas H Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics. Genetics Society of America, 2006. https://doi.org/10.1534/genetics.106.058586 .
View
| DOI
2006 | Book Review | IST-REx-ID: 4250
Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology. Cell Press, 2006. https://doi.org/10.1016/j.cub.2006.07.032.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4359
Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis,” 157–73. Springer, 2006. https://doi.org/1551.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future,” 2–16. Springer, 2006. https://doi.org/1571.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. https://doi.org/1570.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. https://doi.org/1543.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,” 4202:1–17. Springer, 2006. https://doi.org/10.1007/11867340_1.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,” 4085:1–15. Springer, 2006. https://doi.org/10.1007/11813040_1.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2005.11.015.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,” 117–27. ACM, 2006. https://doi.org/10.1145/1181775.1181790.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View
| DOI
- 1
- 2
- 3 (current)
- 4
- 5