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.

6306 Publications


2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel, Tamás, and Nicholas Proudfoot. “Abelianization for Hyperkähler Quotients.” Topology, vol. 44, no. 1, Elsevier, 2005, pp. 231–48, doi:10.1016/j.top.2004.04.002.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, et al. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature, vol. 433, no. 7026, Nature Publishing Group, 2005, pp. 633–38, doi:10.1038/nature03306.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán, José, et al. “P2Y1 Receptors Inhibit Both Strength and Plasticity of Glutamatergic Synaptic Neurotransmission in the Rat Prefrontal Cortex.” Synapse, vol. 57, no. 4, Wiley, 2005, pp. 235–38, doi:10.1002/syn.20177.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak, Harald L., et al. “Molecular Force Modulation Spectroscopy Revealing the Dynamic Response of Single Bacteriorhodopsins.” Biophysical Journal, vol. 88, no. 2, Biophysical Society, 2005, pp. 1423–31, doi:10.1529/biophysj.104.052746.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., et al. “Information-Based Clustering.” PNAS, vol. 102, no. 51, National Academy of Sciences, 2005, pp. 18297–302, doi:10.1073/pnas.0507432102.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, Noam, et al. “Estimating Mutual Information and Multi-Information in Large Networks.” ArXiv, ArXiv, 2005, pp. 1–11.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le, Thuc, et al. “Real-Time RNA Profiling within a Single Bacterium.” PNAS, vol. 102, no. 26, National Academy of Sciences, 2005, pp. 9160–64, doi:10.1073/pnas.0503311102.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, Lin, et al. “Controllable Motion Synthesis in a Gaseous Medium.” The Visual Computer, vol. 21, no. 7, Springer, 2005, pp. 474–87, doi:10.1007/s00371-005-0296-0.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel, Dominique, and Peter M. Jonas. “Presynaptic Action Potential Amplification by Voltage-Gated Na+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron, vol. 45, no. 3, Elsevier, 2005, pp. 405–17, doi:10.1016/j.neuron.2004.12.048 .
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812
Hefft, Stefan, and Peter M. Jonas. “Asynchronous GABA Release Generates Long-Lasting Inhibition at a Hippocampal Interneuron-Principal Neuron Synapse (Review).” Nature Neuroscience, vol. 8, no. 10, Nature Publishing Group, 2005, pp. 1319–28, doi:10.1038/nn1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. Vol. 3657, Springer, 2005, pp. 141–61, doi:10.1007/11561163_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. Two-Player Nonzero-Sum ω-Regular Games. Vol. 3653, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–27, doi:10.1007/11539452_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, et al. Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. Vol. 3326, Springer, 2005, pp. 89–102, doi:10.1007/978-3-540-30536-1_13.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer, Sylvia, and Jacobus Boomsma. The Drawback of Mobility: Invasive Species in a Globalised World. Elsevier, 2005.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3915
De Menten, Ludivine, et al. “Primary Sex Ratio Adjustment by Ant Queens in Response to Local Mate Competition.” Animal Behaviour, vol. 69, no. 5, Elsevier, 2005, pp. 1031–35, doi:10.1016/j.anbehav.2004.09.005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf, Alexandra, et al. “Sexual Cooperation: Mating Increases Longevity in Ant Queens.” Current Biology, vol. 15, no. 3, Cell Press, 2005, pp. 267–70, doi:10.1016/j.cub.2005.01.036.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt, Michael K., et al. “The Conduit System Transports Soluble Antigens from the Afferent Lymph to Resident Dendritic Cells in the T Cell Area of the Lymph Node.” Immunity, vol. 22, no. 1, Cell Press, 2005, pp. 19–29, doi:10.1016/j.immuni.2004.11.013.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang, Yusu, et al. Coarse and Reliable Geometric Alignment for Protein Docking. World Scientific Publishing, 2005, pp. 64–75, doi:10.1142/9789812702456_0007.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn, Jungsan, et al. “Experimental Validation of the Docking Orientation of Cdc25 with Its Cdk2-CycA Protein Substrate.” Biochemistry, vol. 44, no. 50, ACS, 2005, pp. 16563–73, doi:10.1021/bi0516879.
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, vol. 18, no. 5, Wiley-Blackwell, 2005, pp. 1186–90, doi:10.1111/j.1420-9101.2005.00943.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich, Florian, et al. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through Rab5c and E-Cadherin.” Developmental Cell, vol. 9, no. 4, Cell Press, 2005, pp. 555–64, doi:10.1016/j.devcel.2005.08.011.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech, Pierre, et al. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science, vol. 118, no. 18, Company of Biologists, 2005, pp. 4199–206, doi:10.1242/​jcs.02547.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero, Juan, et al. “Shield Formation at the Onset of Zebrafish Gastrulation.” Development, vol. 132, no. 6, Company of Biologists, 2005, pp. 1187–98, doi:10.1242/dev.01667.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, Mathias, et al. “Misshapen Mediates Actin-Based Cell Contraction during Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development, vol. 122, no. Supplement 1, Elsevier, 2005, pp. S112–13, doi: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, vol. 59, no. 6, Wiley-Blackwell, 2005, pp. 1194–210, doi: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, vol. 169, no. 4, Genetics Society of America, 2005, pp. 2353–70, doi: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, vol. 360, no. 1459, Royal Society, The, 2005, pp. 1411–25, doi:10.1098/rstb.2005.1667.
View | DOI | Download (ext.)
 

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

2005 | Conference Paper | IST-REx-ID: 4404
Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes. ACM, 2005, pp. 98–109, doi:1542.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, et al. A Programmable Microkernel for Real-Time Systems. ACM, 2005, pp. 35–45, doi:10.1145/1064979.1064986.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005, pp. 1–32, doi:10.1145/1042038.1042039.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A., et al. Quantifying Similarities between Timed Systems. Vol. 3829, Springer, 2005, pp. 226–41, doi:10.1007/11603009_18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, Pankaj, et al. “Cell Polarity, Auxin Transport and Cytoskeleton Mediated Division Planes: Who Comes First?” Protoplasma, vol. 226, no. 1–2, Springer, 2005, pp. 67–73, doi:10.1007/s00709-005-0104-8.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, Tomasz, et al. “Auxin Inhibits Endocytosis and Promotes Its Own Efflux from Cells.” Nature, vol. 435, no. 7046, Nature Publishing Group, 2005, pp. 1251–56, doi:10.1038/nature03633.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, Anne, et al. “Functional Redundancy of PIN Proteins Is Accompanied by Auxin-Dependent Cross-Regulation of PIN Expression.” Development, vol. 132, no. 20, Company of Biologists, 2005, pp. 4521–31, doi:10.1242/dev.02027.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, Dolf, et al. “Maintenance of Embryonic Auxin Distribution for Apical Basal Patterning by PIN FORMED Dependent Auxin Transport in Arabidopsis.” Plant Cell, vol. 17, no. 9, American Society of Plant Biologists, 2005, pp. 2517–26, doi:10.1105/tpc.105.034637.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal, Avital, et al. “Conformational Changes in the Arp2 3 Complex Leading to Actin Nucleation.” Nature Structural and Molecular Biology, vol. 12, no. 1, Nature Publishing Group, 2005, pp. 26–31, doi:10.1038/nsmb870.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer, Simon, et al. “A Developmental Switch in the Response of DRG Neurons to ETS Transcription Factor Signaling.” PLoS Biology, vol. 3, no. 5, Public Library of Science, 2005, pp. 0878–90, doi:10.1371/journal.pbio.0030159.
View | DOI
 

Search

Filter Publications