Please note that ISTA 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.

722 Publications


2007 | Thesis | IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 4567
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 1034 | OA
Experimental evidence for Efimov quantum states
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 1715
Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
View | Files available | DOI
 

2006 | Journal Article | IST-REx-ID: 1796
Novel anti-viral therapy: Drugs that block HIV entry at different target sites
S. Siegert, P. Schnierle, B. Schnierle, Mini-Reviews in Medicinal Chemistry 6 (2006) 557–562.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2089
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2144
Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates
R. Vedrinskiǐ, E. Nazarenko, M. Lemeshko, V. Nassif, O. Proux, A. Novakovich, Y. Joly, Physical Review B - Condensed Matter and Materials Physics 73 (2006).
View | DOI
 

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

2006 | Book Chapter | IST-REx-ID: 3002
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, A. Mujib, J. Šamaj (Eds.), Somatic Embryogenesis, Springer, 2006, pp. 343–354.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules
M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, T. Freund, European Journal of Neuroscience 21 (2005) 3034–3042.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Number and density of AMPA receptors in single synapses in immature cerebellum
J. Tanaka, M. Matsuzaki, E. Tarusawa, A. Momiyama, E. Molnár, H. Kasai, R. Shigemoto, Journal of Neuroscience 25 (2005) 799–807.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus
F. Ferraguti, T. Klausberger, P. Cobden, A. Baude, J. Roberts, P. Szűcs, A. Kinoshita, R. Shigemoto, P. Somogyi, Y. Dalezios, Journal of Neuroscience 25 (2005) 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations
T. Klausberger, L. Marton, J. O’Neill, J. Huck, Y. Dalezios, P. Fuentealba, W. Suen, E. Papp, T. Kaneko, M. Watanabe, J.L. Csicsvari, P. Somogyi, Journal of Neuroscience 25 (2005) 9782–9793.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3812 View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 9491 | OA
DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9514 | OA
Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hodge cohomology of gravitational instantons
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2639
GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2638
Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum
Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741 View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
View | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875 View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, R. Shigemoto, European Journal of Neuroscience 17 (2003) 2503–2520.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats
C. Millán, E. Castro, M. Torres, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 278 (2003) 23955–23962.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2632
Cell type-dependent expression of HCN1 in the main olfactory bulb
N. Holderith, R. Shigemoto, Z. Nusser, European Journal of Neuroscience 18 (2003) 344–354.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2617 | OA
Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210.
View | DOI | Download (ext.)
 

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

2002 | Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4259 | OA
Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3801 | OA
Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2621
Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
[Published Version] View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2614 | OA
The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2619
Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2618 View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 9444
Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation
A.M. Lindroth, X. Cao, J.P. Jackson, D. Zilberman, C.M. McCallum, S. Henikoff, S.E. Jacobsen, Science 292 (2001) 2077–2080.
View | DOI | PubMed | Europe PMC
 

2001 | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 3928 | OA
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3622
Genetic variation for preadult viability in Drosophila melanogaster
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3495
Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2609 View | DOI | PubMed | Europe PMC
 

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

2001 | Journal Article | IST-REx-ID: 11755
Hyperlink analysis for the Web
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
View | DOI | WoS
 

2000 | Journal Article | IST-REx-ID: 11770 | OA
A comparison of techniques to find mirrored hosts on the WWW
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
The time course of signaling at central glutamatergic synapses
P.M. Jonas, Physiology 15 (2000) 83–89.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3548
Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements
K. Harris, D. Henze, J.L. Csicsvari, H. Hirase, G. Buzsáki, Journal of Neurophysiology 84 (2000) 401–414.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3623
Measuring fitness by means of balancer chromosomes
N.H. Barton, L. Patridge, Genetical Research 75 (2000) 297–314.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 3490 | OA
Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 2602 | OA
Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons
J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, L. Fagni, Journal of Neuroscience 20 (2000) 7896–7904.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 2598 | OA
Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor
P. Sillevis Smitt, A. Kinoshita, B. De Leeuw, W. Moll, M. Coesmans, D. Jaarsma, S. Henzen Logmans, C. Vecht, C. De Zeeuw, N. Sekiyama, S. Nakanishi, R. Shigemoto, New England Journal of Medicine 342 (2000) 21–27.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 11769
Randomized fully dynamic graph algorithms with polylogarithmic time per operation
M.H. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 11895 | OA
Analysis of a very large web search engine query log
C. Silverstein, H. Marais, M.H. Henzinger, M. Moricz, ACM SIGIR Forum 33 (1999) 6–12.
[Published Version] View | DOI | Download Published Version (ext.)
 

1999 | Journal Article | IST-REx-ID: 2730 View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry
E. Witters, K. Vanhoutte, W. Dewitte, I. Macháčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3148 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 4277
Hybrid dysfunction in fire-bellied toads (Bombina)
L. Kruuk, J. Gilchrist, N.H. Barton, Evolution; International Journal of Organic Evolution 53 (1999) 1611–1616.
View | DOI | PubMed | Europe PMC
 

1999 | Journal Article | IST-REx-ID: 3582 | OA
Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
View | Download None (ext.)
 

1999 | Journal Article | IST-REx-ID: 2592 | OA
Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 11680
Average-case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60.
View | Files available | DOI
 

1998 | Journal Article | IST-REx-ID: 1954 View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 2588
GABA(B)-receptor subtypes assemble into functional heteromeric complexes
K. Kaupmann, B. Malitschek, V. Schuler, J. Heid, W. Froestl, P. Beck, J. Mosbacher, S. Bischoff, Á. Kulik, R. Shigemoto, A. Karschin, B. Bettler, Nature 396 (1998) 683–687.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3488 | OA
Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus
M. Martina, J. Schultz, H. Ehmke, H. Monyer, P.M. Jonas, Journal of Neuroscience 18 (1998) 8111–8125.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3629
Habitat preference in the Bombina hybrid zone in Croatia
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
View | DOI | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 4639
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:, Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2579
Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
Genetic variation for total fitness in Drosophila melanogaster
K. Fowler, C. Semple, N.H. Barton, L. Partridge, Proceedings of the Royal Society of London Series B Biological Sciences 264 (1997) 191–199.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 3483 | OA
A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus.
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 3482 | OA
Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4201 | OA
The function of silberblick in the positioning of the eye anlage in the zebrafish embryo
C.-P.J. Heisenberg, C. Nüsslein Volhard, Developmental Biology 184 (1997) 85–94.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 1952 View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2574
Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus
R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 8 (1996) 1488–1500.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2726
Gaussian decay of the magnetic eigenfunctions
L. Erdös, Geometric and Functional Analysis 6 (1996) 231–248.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2725
Rayleigh-type isoperimetric inequality with a homogeneous magnetic field
L. Erdös, Calculus of Variations and Partial Differential Equations 4 (1996) 283–292.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4166 | OA
Mutations affecting the formation of the notochord in the zebrafish, Danio rerio
J. Odenthal, P. Haffter, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 103–115.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4142
Mutations affecting development of the zebrafish inner ear and lateral line
T. Whitfield, M. Granato, F. Van Eeden, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 241–254.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications