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.

8978 Publications


2006 | Journal Article | IST-REx-ID: 3020
Hejátko, Jan, Ikram Blilou, Philip Brewer, Jiří Friml, Ben Scheres, and Eva Benková. “In Situ Hybridization Technique for MRNA Detection in Whole Mount Arabidopsis Samples.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.333.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Sauer, Michael, Tomasz Paciorek, Eva Benková, and Jiří Friml. “Immunocytochemical Techniques for Whole Mount in Situ Protein Localization in Plants.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.15.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Paciorek, Tomasz, Michael Sauer, Jozef Balla, Justyna Wiśniewska, and Jiří Friml. “Immunocytochemical Technique for Protein Localization in Sections of Plant Tissues.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.16.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer, Philip, Marcus Heisler, Jan Hejátko, Jiří Friml, and Eva Benková. “In Situ Hybridization for MRNA Detection in Arabidopsis Tissue Sections.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.226.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3152
Kunwar, Prabhat, Daria E Siekhaus, and Ruth Lehmann. “In Vivo Migration A Germ Cell Perspective.” Annual Review of Cell and Developmental Biology. Annual Reviews, 2006. https://doi.org/10.1146/annurev.cellbio.22.010305.103337.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Criminisi, Antonio, Geoffrey Cross, Andrew Blake, and Vladimir Kolmogorov. “Bilayer Segmentation of Live Video,” 1:53–60. IEEE, 2006. https://doi.org/10.1109/CVPR.2006.69.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Kolmogorov, Vladimir. “Convergent Tree Reweighted Message Passing for Energy Minimization.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2006. https://doi.org/10.1109/TPAMI.2006.200.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3188
Rother, Carsten, Vladimir Kolmogorov, Thomas Minka, and Andrew Blake. “Cosegmentation of Image Pairs by Histogram Matching - Incorporating a Global Constraint into MRFs,” 993–1000. IEEE, 2006. https://doi.org/10.1109/CVPR.2006.91.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer, Ueli, Yvonne Oswald, Krzysztof Z Pietrzak, and Johan Sjödin. “Luby Rackoff Ciphers from Weak Round Functions ,” 4004:391–408. Springer, 2006. https://doi.org/10.1007/11761679_24.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Bartosz Przydatek. “Separating Sources for Encryption and Secret Sharing,” 3876:601–16. Springer, 2006. https://doi.org/10.1007/11681878_31.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak, Krzysztof Z. “Composition Implies Adaptive Security in Minicrypt,” 4004:328–38. Springer, 2006. https://doi.org/10.1007/11761679_20.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak, Krzysztof Z. “A Tight Bound for EMAC,” 4052:168–79. Springer, 2006. https://doi.org/10.1007/11787006_15.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3522
O’Neill, Joseph, Timothy Senior, and Jozsef L Csicsvari. “Place-Selective Firing of CA1 Pyramidal Cells during Sharp Wave/Ripple Network Patterns in Exploratory Behavior.” Neuron. Elsevier, 2006. https://doi.org/10.1016/j.neuron.2005.10.037.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3607
Turelli, Michael, and Nicholas H Barton. “Will Population Bottlenecks and Multilocus Epistasis Increase Additive Genetic Variance?” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2006. https://doi.org/10.1111/j.0014-3820.2006.tb00521.x.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3683
Lampert, Christoph, and Thomas Breuel. “Objective Quality Measurement for Geometric Document Image Restoration.” Springer, 2006.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3685
Lampert, Christoph. “Machine Learning for Video Compression: Macroblock Mode Decision,” 936–40. IEEE, 2006. https://doi.org/10.1109/ICPR.2006.778.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3750
Le, Thuc, Calin C Guet, and Philippe Cluzel. “Protein Expression Enhancement in Efflux-Deleted Mutant Bacteria.” Protein Expression and Purification. Elsevier, 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3767
Kupczok, Anne, and Peter Dittrich. “Determinants of Simulated RNA Evolution.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/10.1016/j.jtbi.2005.06.019.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3813 | OA
Aponte, Yexica, Cheng Lien, Ellen Reisinger, and Peter M Jonas. “Hyperpolarization-Activated Cation Channels in Fast-Spiking Interneurons of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2006. https://doi.org/10.1113/jphysiol.2005.104042.
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3814
Frotscher, Michael, Peter M Jonas, and Robert Sloviter. “Synapses Formed by Normal and Abnormal Hippocampal Mossy Fibers (Review).” Cell and Tissue Research. Springer, 2006. https://doi.org/10.1007/s00441-006-0269-2.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger, Josef, Dominique Engel, Michael Frotscher, and Peter M Jonas. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network.” Pflugers Archiv : European Journal of Physiology. Springer, 2006. https://doi.org/10.1007/s00424-006-0093-2.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3811
Vida, Imre, Marlene Bartos, and Peter M Jonas. “Shunting Inhibition Improves Robustness of Gamma Oscillations in Hippocampal Interneuron Networks by Homogenizing Firing Rates.” Neuron. Elsevier, 2006. https://doi.org/10.1016/j.neuron.2005.11.036.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3817
Frotscher, Michael, Eckart Gundelfinger, Peter M Jonas, Erwin Neher, and Peter Seeburg. “The Most Important Recent Advances in Synapse Research from My Point of View--and What Remains to Be Done.” Cell and Tissue Research. Springer, 2006. https://doi.org/10.1007/s00441-006-0325-y.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3912
Cremer, Sylvia, Line V Ugelvig, Suzanne Lommen, Klaus Petersen, and Jes Pedersen. “Attack of the Invasive Garden Ant: Aggression Behaviour of Lasius Neglectus (Hymenoptera: Formicidae) against Native Lasius Species in Spain.” Myrmecological News. Österreichische Gesellschaft für Entomofaunistik, 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3914
Moder, Karl, Birgit Schlick Steiner, Florian Steiner, Sylvia Cremer, Erhard Christian, and Bernhard Seifert. “Optimal Species Distinction by Discriminant Analysis: Comparing Established Methods of Character Selection with a Combination Procedure Using Ant Morphometrics as a Case Study.” Journal of Zoological Systematics and Evolutionary Research. Wiley-Blackwell, 2006. https://doi.org/10.1111/j.1439-0469.2006.00372.x.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3913
Heinze, Jürgen, Sylvia Cremer, Norbert Eckl, and Alexandra Schrempf. “Stealthy Invaders: The Biology of Cardiocondyla Tramp Ants.” Insectes Sociaux. Springer, 2006. https://doi.org/10.1007/s00040-005-0847-4.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3932
Henic, Emir, Michael K Sixt, Stefan Hansson, Gunilla Høyer Hansen, and Bertil Casslén. “EGF-Stimulated Migration in Ovarian Cancer Cells Is Associated with Decreased Internalization, Increased Surface Expression, and Increased Shedding of the Urokinase Plasminogen Activator Receptor.” Gynecologic Oncology. Elsevier, 2006. https://doi.org/10.1016/j.ygyno.2005.09.038.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Yih, Johannes Rudolph, Pei Zhou, and Herbert Edelsbrunner. “Evaluating the Quality of NMR Structures by Local Density of Protons.” Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell, 2006. https://doi.org/10.1002/prot.20811.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3979
Ban, Yih, Herbert Edelsbrunner, and Johannes Rudolph. “Interface Surfaces for Protein-Protein Complexes.” Journal of the ACM. ACM, 2006. https://doi.org/10.1145/1147954.1147957.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, Pankaj, Herbert Edelsbrunner, John Harer, and Yusu Wang. “Extreme Elevation on a 2-Manifold.” Discrete & Computational Geometry. Springer, 2006. https://doi.org/10.1007/s00454-006-1265-8.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” Bibliotheksdienst. Zentral- und Landesbibliothek Berlin, 2006. https://doi.org/424.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4352
Conn, Jan, Joseph Vineis, Jonathan P Bollback, David Onyabe, Richard Wilkerson, and Marinete Povoa. “Population Structure of the Malaria Vector Anopheles Darlingi in a Malaria-Endemic Region of Eastern Amazonian Brazil.” The American Journal of Tropical Medicine and Hygiene. American Society of Tropical Medicine and Hygiene, 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics. BioMed Central, 2006. https://doi.org/10.1186/1471-2105-7-88.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
Szeliski, Richard, Ramin Zabih, Daniel Scharstein, Olga Veksler, Vladimir Kolmogorov, Aseem Agarwala, Marshall Tappen, and Carsten Rother. “A Comparative Study of Energy Minimization Methods for Markov Random Fields,” 3952:16–29. Springer, 2006. https://doi.org/10.1007/11744047_2.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3184
Kolmogorov, Vladimir, and Carsten Rother. “Comparison of Energy Minimization Algorithms for Highly Connected Graphs,” 3952 LNCS:1–15. Springer, 2006. https://doi.org/10.1007/11744047_1.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Probabilistic Fusion of Stereo with Color and Contrast for Bilayer Segmentation.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2006. https://doi.org/10.1109/TPAMI.2006.193.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
Boykov, Yuri, Vladimir Kolmogorov, Daniel Cremers, and Andrew Delong. “An Integral Solution to Surface Evolution PDEs via Geo Cuts,” 3953:409–22. Springer, 2006. https://doi.org/10.1007/11744078_32.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak, Harald L, Ravi Sawhney, Martin Stark, and Daniel Mueller. “Atomic Force Microscopy.” In Techniques in Microscopy for Biomedical Applications, 2:213–84. World Scientific Publishing, 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler, Max, Kay Gottschalk, Harald L Janovjak, Daniel Mueller, and Hermann Gaub. “Bacteriorhodopsin Folds into the Membrane against an External Force.” Journal of Molecular Biology. Elsevier, 2006. https://doi.org/10.1016/j.jmb.2005.12.065.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov, Alexej, Harald L Janovjak, Christine Ziegler, Werner Kühlbrandt, and Daniel Mueller. “Observing Folding Pathways and Kinetics of a Single Sodium-Proton Antiporter from Escherichia Coli.” Journal of Molecular Biology. Elsevier, 2006. https://doi.org/10.1016/j.jmb.2005.10.028.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Janovjak, Harald L, Alexej Kedrov, David Cisneros, Tanuj Sapra, Jens Struckmeier, and Daniel Mueller. “Imaging and Detecting Molecular Interactions of Single Membrane Proteins.” Neurobiology of Aging. Elsevier, 2006. https://doi.org/10.1016/j.neurobiolaging.2005.03.031.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt, Andrea, and Jonathan P Bollback. “Fitness Effects of Beneficial Mutations: The Mutational Landscape Model in Experimental Evolution.” Current Opinion in Genetics & Development. Elsevier, 2006. https://doi.org/10.1016/j.gde.2006.10.006.
View | DOI
 

2006 | Preprint | IST-REx-ID: 3431 | OA
Tkačik, Gašper, E. Schneidman, M. Berry, and William Bialek. “Ising Models for Networks of Real Neurons.” ArXiv. ArXiv, 2006.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee, Krishnendu, Rhada Jagadeesan, and Corin Pitcher. “Games for Controls,” 70–82. IEEE, 2006. https://doi.org/10.1109/CSFW.2006.14.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3463
Bischofberger, Joseph, Dominique Engel, Michael Frotscher, and Peter M Jonas. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network. (Review).” Pflugers Archiv : European Journal of Physiology. Springer, 2006. https://doi.org/10.1007/s00424-006-0093-2.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, Krishnendu. “Nash Equilibrium for Upward-Closed Objectives,” 4207:271–86. Springer, 2006. https://doi.org/10.1007/11874683_18.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Algorithms for Büchi Games.” ACM, 2006.
View | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3510 | OA
Edelsbrunner, Herbert, Ping Fu, Dmitry Nekhayev, Michael Facello, and Steven Williams. “Method, Apparatus and Computer Program Products for Automatically Generating NURBS Models of Triangulated Surfaces Using Homeomorphism,” 2006.
[Published Version] View | Download Published Version (ext.)
 

2006 | Patent | IST-REx-ID: 3511 | OA
Fu, Ping, Dmitry Nekhayev, and Herbert Edelsbrunner. “Manufacturing Methods and Systems for Rapid Production of Hearing-Aid Shells,” 2006.
[Published Version] View | Download Published Version (ext.)
 

2006 | Patent | IST-REx-ID: 3512 | OA
Fletcher, Yates, Tobias Gloth, Herbert Edelsbrunner, and Ping Fu. “Method, Apparatus and Computer Products That Reconstruct Surfaces from Data Points,” 2006.
[Published Version] View | Download Published Version (ext.)
 

2006 | Journal Article | IST-REx-ID: 3545
Magill, Peter, Alek Pogosyan, Andrew Sharott, Jozsef L Csicsvari, John Bolam, and Peter Brown. “Changes in Functional Connectivity within the Rat Striatopallidal Axis during Global Brain Activation in Vivo.” Journal of Neuroscience. Society for Neuroscience, 2006. https://doi.org/10.1523/​JNEUROSCI.0620-06.2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3559
Cohen Steiner, David, Herbert Edelsbrunner, and Dmitriy Morozov. “Vines and Vineyards by Updating Persistence in Linear Time,” 119–26. ACM, 2006. https://doi.org/10.1145/1137856.1137877.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3560
Edelsbrunner, Herbert, Dmitriy Morozov, and Valerio Pascucci. “Persistence-Sensitive Simplification of Functions on 2-Manifolds,” 127–34. ACM, 2006. https://doi.org/10.1145/1137856.1137878.
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3594
Pemberton, Josephine, Graeme Swanson, Nicholas H Barton, Suzanne Livingstone, and Helen Senn. “Hybridisation between Red and Sika Deer in Scotland.” Deer. BDS , 2006.
View
 

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 | OA
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 | OA
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 | OA
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
 

Search

Filter Publications