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.

6118 Publications


2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures,” 3326:89–102. Springer, 2005. https://doi.org/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, Sylvia Cremer, Jürgen Heinze, and Serge Aron. “Primary Sex Ratio Adjustment by Ant Queens in Response to Local Mate Competition.” Animal Behaviour. Elsevier, 2005. https://doi.org/10.1016/j.anbehav.2004.09.005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf, Alexandra, Jürgen Heinze, and Sylvia Cremer. “Sexual Cooperation: Mating Increases Longevity in Ant Queens.” Current Biology. Cell Press, 2005. https://doi.org/10.1016/j.cub.2005.01.036.
View | DOI
 

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 | 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: 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 | 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: 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: 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: 4167
Norton, Will, Maryam Mangoli, Zsolt Lele, Hans Pogoda, Brianne Diamond, Sara Mercurio, Claire Russell, et al. “Monorail/Foxa2 Regulates Floorplate Differentiation and Specification of Oligodendrocytes, Serotonergic Raphe Neurones and Cranial Motoneurones.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01611.
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: 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: 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 | 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 | 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: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR. Springer Nature, 2005. https://doi.org/10.1007/s10858-005-4425-x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “Very Fast Two-Dimensional NMR Spectroscopy for Real-Time Investigation of Dynamic Events in Proteins on the Time Scale of Seconds.” Journal of the American Chemical Society. American Chemical Society, 2005. https://doi.org/10.1021/ja051306e.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis. Elsevier, 2005. https://doi.org/10.1016/j.jfa.2004.09.006.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov, Fyodor. “The Analysis of Monomer Sequences in Protein and TRNA and the Manifestation of the Compensation of Pathogenic Deviations in Their Evolution.” Biofizika. Pleiades Publishing, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov, Fyodor. “In Search of the Limits of Evolution.” Nature Genetics. Nature Publishing Group, 2005. https://doi.org/10.1038/ng0105-9.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi243.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika. Pleiades Publishing, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/jneurosci.3508-05.2005.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.28.061604.135637.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi350.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, Fyodor Kondrashov, Ivan Adzhubeǐ, Yuri Wolf, Eugene Koonin, Alexey Kondrashov, and Shamil Sunyaev. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03306.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hausel, Tamás, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of Gravitational Instantons.” Duke Mathematical Journal. Duke University Press, 2004. https://doi.org/10.1215/S0012-7094-04-12233-X.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Proceedings of the London Mathematical Society. Oxford University Press, 2004. https://doi.org/10.1112/S0024611503014618.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1963
Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2004. https://doi.org/10.1074/jbc.M401539200.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae. Unknown, 2004. https://doi.org/10.1007/s00222-004-0360-9.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics. Springer, 2004. https://doi.org/10.1023/B:JOSS.0000019811.15510.27.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” Communications in Mathematical Physics. Springer, 2004. https://doi.org/10.1007/s00220-003-0993-3.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2004. https://doi.org/10.1103/PhysRevA.70.023612.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex Quadrilaterals and K-Sets .” In Towards a Theory of Geometric Graphs, edited by János Pach, 342:139–48. American Mathematical Society, 2004. https://doi.org/10.1090/conm/342.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience. Society for Neuroscience, 2004. https://doi.org/10.1523/JNEUROSCI.1170-04.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1116-4.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1120-8.
View | DOI
 

Search

Filter Publications