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.

5761 Publications


2002 | Journal Article | IST-REx-ID: 3995
Agarwal P, Guibas L, Edelsbrunner H, Erickson J, Isard M, Har Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P, Lin M, Manocha D, Metaxas D, Mirtich B, Mount D, Muthukrishnan S, Pai D, Sacks E, Snoeyink J, Suri S, Wolefson O. 2002. Algorithmic issues in modeling motion. ACM Computing Surveys. 34(4), 550–572.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner H, Letscher D, Zomorodian A. 2002. Topological persistence and simplification. Discrete & Computational Geometry. 28(4), 511–533.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner H, Guoy D. 2002. An experimental study of sliver exudation. Engineering with Computers. 18(3), 229–240.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian A, Edelsbrunner H. 2002. Fast software for box intersections. International Journal of Computational Geometry and Applications. 12(1–2), 143–172.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. 2002. Computing the writhing number of a polygonal knot. SODA: Symposium on Discrete Algorithms 791–799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova J, Stopka P. 2002. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 80(8), 1383–1388.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
Tada M, Concha M, Heisenberg C. 2002. Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology. 13(3), 251–260.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin A, Kondrashov F, Rogozin I, Brinton M. 2002. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 55(2), 202–210.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov A, Sunyaev S, Kondrashov F. 2002. Dobzhansky-Muller incompatibilities in protein evolution. PNAS. 99(23), 14878–14883.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis C, Mekhedov S, Hartl D, Koonin E, Kondrashov F. 2002. Selection for short introns in highly expressed genes. Nature Genetics. 31(4), 415–418.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1032
Fürst J, Ritter M, Rudzki J, Danzl J, Gschwentner M, Scandella E, Jakab M, König M, Oehl B, Lang F, Deetjen P, Paulmichl M. 2002. ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein. Journal of Biological Chemistry. 277(6), 4435–4445.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel T, Sturmfels B. 2002. Toric hyperkähler varieties. Documenta Mathematica. 7(1), 495–534.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126. 307–314.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner B, Seiringer R. 2001. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer R. 2001. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 34(9), 1943–1948.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl C, Seiringer R. 2001. Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics. 55(2), 133–142.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb É, Seiringer R, Yngvason J. 2001. A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics. 224(1), 17–31.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl C, Seiringer R. 2001. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 217(1), 229–248.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner U, Welzl E. 2001. A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry. 26(2), 205–219.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip. Journal of Comparative Neurology. 432(4), 466–480.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts F, Timmermans J, Shigemoto R, De Schutter E. 2001. Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. 104(2), 499–512.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez G, López Bendito G, Luján R, Shigemoto R, Fairén A, Valdeolmillos M. 2001. Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience. 13(6), 1147–1154.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion S, Corti C, Neki A, Shigemoto R, Corsi M, Fumagalli G, Ferraguti F. 2001. Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience. 17(6), 957–972.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito G, Shigemoto R, Luján R, Juíz J. 2001. Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience. 105(2), 413–429.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru Y, Nomura S, Mizuno N, Shigemoto R. 2001. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 106(3), 481–503.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig G, Bushell T, Clarke V, Rozov A, Burnashev N, Portet C, Gasparini F, Schmutz M, Klebs K, Shigemoto R, Flor P, Kühn R, Knoepfel T, Schroeder M, Hampson D, Collett V, Zhang C, Duvoisin R, Collingridge G, Van Der Putten H. 2001. Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. 21(22), 8734–8745.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 108(1), 157–166.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li J, Shigemoto R, Kulik Á, Chen P, Nomura S, Kaneko T, Mizuno N. 2001. Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. 315(1–2), 93–97.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös L. 2001. Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics., 273–281.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös L, Solovej J. 2001. The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics. 13(10), 1247–1280.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös L. 2001. Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields. 121(2), 219–236.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös L, Yau H. 2001. Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics. 5(6), 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg C, Houart C, Take Uchi M, Rauch G, Young N, Coutinho P, Masai I, Caneparo L, Concha M, Geisler R, Dale T, Wilson S, Stemple D. 2001. A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon. Genes and Development. 15(11), 1427–1434.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback JP, Huelsenbeck J. 2001. Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. 52(2), 117–128.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli M, Barton NH, Coyne J. 2001. Theory and speciation. Trends in Ecology and Evolution. 16(7), 330–343.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton NH. 2001. The role of hybridisation in evolution. Molecular Ecology. 10(3), 551–568.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton NH. 2001. Adaptation at the edge of a species’ range. Integrating ecology and evolution in a spatial context. 365–392.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton NH. 2001. The evolutionary consequences of gene flow and local adaptation: Future approaches. Dispersal.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA, Kirsch C. 2001. EMSOFT: Embedded Software, ACM,p.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. 2001. Some lessons from the HYTECH experience. CDC: Decision and Control vol. 3. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. EMSOFT: Embedded Software , LNCS, vol. 2211. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. DASC: Digital Avionics Systems Conference 1–11.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 2001. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 18(2), 97–116.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. ICSE: Software Engineering 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. 2001. Interface automata. FSE: Foundations of Software Engineering 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. EMSOFT: Embedded Software , LNCS, vol. 2211. 148–165.
View | DOI
 

Search

Filter Publications