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.

6487 Publications


2002 | Journal Article | IST-REx-ID: 4261
Barton, N. H., & Keightley, P. (2002). Understanding quantitative genetic variation. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg700
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton, N. H., & Navarro, A. (2002). Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672301005493
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, N. H., Depaulis, F., & Etheridge, A. (2002). Neutral evolution in spatially continuous populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2001.1557
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, J., Bollback, J. P., & Levine, A. (2002). Inferring the root of a phylogenetic tree. Systematic Biology. Oxford University Press. https://doi.org/10.1080/106351502753475862
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback, J. P. (2002). Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. Oxford University Press.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin, J., Schobbens, P., & Henzinger, T. A. (2002). Axioms for real-time logics. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, R., De Alfaro, L., Henzinger, T. A., & Sangiovanni Vincentelli, A. (2002). Convertibility verification and converter synthesis: Two faces of the same coin (pp. 132–139). Presented at the ICCAD: Computer-Aided Design, IEEE. https://doi.org/10.1145/774572.774592
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system (Vol. 2491, pp. 46–60). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness (Vol. 2471, pp. 292–305). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni Vincentelli, A., & Sastry, S. (2002). Embedded software design and system integration for rotorcraft UAV using platforms (Vol. 15). Presented at the IFAC: World Congress on Automatic Control, Elsevier. https://doi.org/10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, T. A., & Kirsch, C. (2002). The embedded machine: predictable, portable real-time code (pp. 315–326). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs (Vol. 2491, pp. 76–92). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems (Vol. 2380, pp. 644–656). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code (Vol. 2404, pp. 526–538). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/509705.509707
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction (pp. 58–70). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/503272.503279
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces (Vol. 2404, pp. 414–427). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules (Vol. 2404, pp. 428–441). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems (Vol. 2289, pp. 134–148). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, J., Wiśniewska, J., Benková, E., Mendgen, K., & Palme, K. (2002). Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature. Nature Publishing Group. https://doi.org/10.1038/415806a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, M., Topping, J., Pullen, M., Friml, J., Palme, K., Hackett, R., … Lindsey, K. (2002). Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.001248
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, J., Benková, E., Blilou, I., Wiśniewska, J., Hamann, T., Ljung, K., … Palme, K. (2002). AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(02)00656-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. Springer. https://doi.org/10.1023/A:1015248926412
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer, S., Shneider, N., Birchmeier, C., Burden, S., Jessell, T., & Arber, S. (2002). A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)01101-7
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. Informa Healthcare.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., & Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition (pp. 111–118). Presented at the Winter Workshop on Nuclear Dynamics, EP Systema.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, M. T., & Bauer, W. (2002). 3d supernovae collapse calculations (Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies , American Institute of Physics. https://doi.org/10.1063/1.1523196
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber, H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. Springer. https://doi.org/10.1007/s00424-001-0735-3
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. Elsevier. https://doi.org/US 6,377,865 B1
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., & Hirase, H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/12.9.893
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of multilocus evolution. Genetics. Genetics Society of America.
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. In M. Demuth & B. Schultze (Eds.) (Vol. 126, pp. 307–314). Presented at the PDE: Partial Differential Equations and Spectral Theory, Birkhäuser. https://doi.org/10.1007/978-3-0348-8231-6
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. Birkhäuser. https://doi.org/10.1007/PL00001032
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. IOP Publishing Ltd. https://doi.org/10.1088/0305-4470/34/9/311
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. Springer. https://doi.org/10.1023/A:1010951905548
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. Springer. https://doi.org/10.1007/s002200100533
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. Springer. https://doi.org/10.1007/s002200100373
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. Springer. https://doi.org/10.1007/s00454-001-0028-9
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. Wiley-Blackwell. https://doi.org/10.1002/cne.1114
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. Elsevier. https://doi.org/10.1016/S0306-4522(01)00058-6
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. Wiley-Blackwell. https://doi.org/10.1046/j.0953-816X.2001.01494.x
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. Academic Press. https://doi.org/10.1006/mcne.2001.0993
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. Elsevier. https://doi.org/10.1016/S0306-4522(01)00188-9
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. Elsevier. https://doi.org/10.1016/S0306-4522(01)00305-0
View | DOI
 

Search

Filter Publications