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.

6702 Publications


2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 76(4).
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. 2007. Extensive parallelism in protein evolution. Biology Direct. 2.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
BÜHLER O, MULLER CJ. 2007. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 588, 1–28.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3723
Janovjak HL, Knaus H, Mueller D. 2007. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 129(2), 246–247.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3727
Bippes C, Janovjak HL, Kedrov A, Mueller D. 2007. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 18(4).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3731
Kinney J, Tkačik G, Callan C. 2007. Precise physical models of protein-DNA interaction from high-throughput data. PNAS. 104(2), 501–506.
View | DOI | Download (ext.)
 

2007 | Preprint | IST-REx-ID: 3742 | OA
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. 2007. Faster solutions of the inverse pairwise Ising problem. ArXiv, q-QM, .
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3762
Wojtan CJ, Carlson M, Mucha P, Turk G. 2007. Animating corrosion and erosion. EGWNP: Eurographics Workshop on Natural Phenomena, 15–22.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3765
Bargteil A, Wojtan CJ, Hodgins J, Turk G. 2007. A finite element method for animating large viscoplastic flow. ACM Transactions on Graphics. 26(3).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3816
Bartos M, Vida I, Jonas PM. 2007. Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. 8(1), 45–56.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. 2007. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 27(49), 13420–9.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. 2007. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 27(39), 10434–44.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3821
Schmidt Hieber C, Jonas PM, Bischofberger J. 2007. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 27(31), 8430–8441.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. 2007. Qualitative logics and equivalences for probabilistic systems. QEST: Quantitative Evaluation of Systems, 237–248.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. 2007. Concurrent games with tail objectives. Theoretical Computer Science. 388(1–3), 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. 2007. Generalized parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4423, 153–167.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee K. 2007. Optimal strategy synthesis in stochastic Müller games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS , vol. 4423, 138–152.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee K. 2007. Stochastic Müller games are PSPACE-complete. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 4855, 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. 2007. Markov decision processes with multiple long-run average objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS , vol. 4855, 473–484.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Cremer S, Armitage S, Schmid Hempel P. 2007. Social immunity. Current Biology. 17(16), R693–R702.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3910
Hughes D, Cremer S. 2007. Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. 74(5), 1593–1599.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3911
Ugelvig LV, Cremer S. 2007. Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. 17(22), 1967–1971.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, Grabovsky V, Feigelson S, Shulman Z, Hartmann T, Sixt MK, Cyster J, Alon R. 2007. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 8(10), 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, Stiller S, Bauer M, Ellwart J, Peters T, Scharffetter Kochanek K, Semmrich M, Laschinger M, Holzmann B, Klinkert W, Straten P, Køllgaard T, Sixt MK, Brakebusch C. 2007. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 109(6), 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner D, Edelsbrunner H, Harer J. 2007. Stability of persistence diagrams. Discrete & Computational Geometry. 37(1), 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. 2007. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 7(4), 391–404.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Bendich P, Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2007. Inferring local homology from sampled stratified spaces. FOCS: Foundations of Computer Science, 536–546.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Headd J, Ban YEA, Brown P, Edelsbrunner H, Vaidya M, Rudolph J. 2007. Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. 6(7), 2576–2586.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. 2007. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 37(1), 59–77.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. 2007. Alpha-beta witness complexes. WADS: International Workshop on Algrithms and Data Structures, LNCS, vol. 4619, 386–397.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. 2007. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 261, 159–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
Krieg M, Arboleda Y, Müller D, Heisenberg C-PJ. 2007. The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. 86(Supplement 1), 39–39.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, Carvalho L, Solnica Krezel L, Heisenberg C-PJ, Hammerschmidt M. 2007. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 17(6), 475–487.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4225
Bollenbach MT, Vetsigian K, Kishony R. 2007. Evolution and multilevel optimization of the genetic code. Genome Research. 17(4), 401–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, Kalaidzidis Y, Bittig T, Julicher F, Gonzalez Gaitan M. 2007. Kinetics of morphogen gradient formation. Science. 315(5811), 521–525.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4233
de Vladar H. 2007. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. 2007. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 22(11), 611–619.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4342
Danowski P. 2007. Library 2.0 and User-Generated Content - What can the users do for us? WLIC: World Library and Information Congress.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 4343
Danowski P, Pfeifer B. 2007. Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. 31(2), 149–155.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4344
Danowski P, Heller L. 2007. Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. 31(2007), 130–136.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, Panitz F, Bendixen C, Nielsen R, Willerslev E. 2007. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2(2).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. 2007. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 17(1), 117–25.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. 2007. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 24(6), 1397–1406.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. 2007. Genes under positive selection in Escherichia coli. Genome Research. 17(9), 1336–1343.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. CAV: Computer Aided Verification, Lecture Notes in Computer Science, , 95–107.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. 2007. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 4349, , 74–88.
View | DOI
 

Search

Filter Publications