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.

191 Publications


2006 | Journal Article | IST-REx-ID: 218
De La Bretèche R, Browning TD. 2006. Sums of arithmetic functions over values of binary forms. Acta Arithmetica. 125(3), 291–304.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2333 | OA
Lieb É, Seiringer R, Solovej J. 2006. Ground-state energy of a dilute Fermi gas. Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 412. 239–248.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 2334 | OA
Seiringer R, Lieb É, Yngvason J. 2006. One-dimensional behavior of dilute, trapped Bose gases in traps. ICMP: International Congress on Mathematical Physics
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 2363 | OA
Lieb É, Seiringer R. 2006. Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. 264(2), 505–537.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2364 | OA
Seiringer R. 2006. A correlation estimate for quantum many-body systems at positive temperature. Reviews in Mathematical Physics. 18(3), 233–253.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2365 | OA
Seiringer R. 2006. The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics. 261(3), 729–757.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2366 | OA
Frank R, Laptev A, Lieb É, Seiringer R. 2006. Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials. Letters in Mathematical Physics. 77(3), 309–316.
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2368
Seiringer R. 2006. Dilute, trapped Bose gases and Bose-Einstein condensation. Large Coulomb Systems. , LNP, vol. 695. 249–274.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2369 | OA
Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. 2006. Bose-Einstein condensation as a quantum phase transition in an optical lattice. Mathematical Physics of Quantum Mechanics. , LNP, vol. 690. 199–215.
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2416
Bang Jensen J, Reed B, Schacht B, Šámal R, Toft B, Wagner U. 2006. On six problems posed by Jarik Nešetřil. Topics in Discrete Mathematics. , Algorithms and Combinatorics, vol. 26. 613–627.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2429
Matoušek J, Sharir M, Smorodinsky S, Wagner U. 2006. K-sets in four dimensions. Discrete & Computational Geometry. 35(2), 177–191.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2430
Chent K, Fiat A, Kaplan H, Levy M, Matoušek J, Mossel E, Pach J, Sharir M, Smorodinsky S, Wagner U, Welzl E. 2006. Online conflict-free coloring for intervals. SIAM Journal on Computing. 36(5), 1342–1359.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
Wagner U. 2006. On a geometric generalization of the Upper Bound Theorem. FOCS: Foundations of Computer Science, IEEE Conference Proceedings, 635–645.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2657
Luján R, Shigemoto R. 2006. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 23(6), 1479–1490.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura M, Itakura M, Okamoto H, Hoka S, Mizoguchi A, Fukazawa Y, Shigemoto R, Yamamori S, Takahashi M. 2006. Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 55(1), 45–53.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban H, Humeau Y, Herry C, Cassasus G, Shigemoto R, Ciocchi S, Barbieri S, Van Der Putten H, Kaupmann K, Bettler B, Lüthi A. 2006. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 9(8), 1028–1035.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2661
Vigot R, Barbieri S, Bräuner Osborne H, Tureček R, Shigemoto R, Zhang Y, Luján R, Jacobson L, Biermann B, Fritschy J, Vacher C, Müller M, Sansig G, Guetg N, Cryan J, Kaupmann K, Gassmann M, Oertner T, Bettler B. 2006. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 50(4), 589–601.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, Guetg N, Kasugai Y, Marker C, Rigato F, Bettler B, Wickman K, Frotscher M, Shigemoto R. 2006. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 26(16), 4289–4297.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, Wakamori M, Miyata M, Molnár E, Mori Y, Shigemoto R, Imoto K. 2006. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 24(11), 2993–3007.
View | DOI
 

2006 | Book Review | IST-REx-ID: 2664
Ferraguti F, Shigemoto R. 2006. Metabotropic glutamate receptors. Cell and Tissue Research. 326(2), 483–504.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. 2006. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 179(2), 265–283.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2746
Erdös L, Salmhofer M, Yau H. 2006. Towards the quantum Brownian motion. QMath: Mathematical Results in Quantum Physics, LNP, vol. 690. 233–257.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös L, Schlein B, Yau H. 2006. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 59(12), 1659–1741.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2791
Hof B, Westerweel J, Schneider T, Eckhardt B. 2006. Finite lifetime of turbulence in shear flows. Nature. 443(7107), 59–62.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. 2006. Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and its Applications. 78, 109–114.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link V, Shevchenko A, Heisenberg C. 2006. Proteomics of early zebrafish embryos. BMC Developmental Biology. 6, 1–9.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4176
Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C. 2006. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 119(10), 2073–2083.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C, Brand M. 2006. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 235(4), 928–933.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C. 2006. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 133(14), 2671–2681.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, Dumstrei K, Marlow F, Kawakami K, Solnica Krezel L, Heisenberg C, Raz E. 2006. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 11(5), 613–627.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
Vladar H, González J. 2006. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology., 91–109.
View
 

2006 | Journal Article | IST-REx-ID: 4237
De Vladar H. 2006. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 238(2), 245–256.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. 2006. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 40(11), 1250–1271.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback JP. 2006. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 7.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. 2006. 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. 74(5), 798–806.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field Constraint Analysis. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, 157–173.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, 2–16.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, 274–289.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, 107–118.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144. 17–30.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085. 1–15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202. 1–17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium 253–266.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207. 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering 117–127.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. 2006. Executable biology. WSC: Winter Simulation Conference 1675–1682.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications