Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
LibreCat: https://research-explorer.ista.ac.at/record/4622
DOI: 10.1145/503209.503226

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.
LibreCat: https://research-explorer.ista.ac.at/record/4200
DOI: 10.1101/gad.194301
PMID: 11390362

Cell adhesion and migration properties of ;22-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.
LibreCat: https://research-explorer.ista.ac.at/record/3928
DOI: 10.1074/jbc.M010898200
PMID: 11278780

Genetic variation for preadult viability in Drosophila melanogaster
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
LibreCat: https://research-explorer.ista.ac.at/record/3622
DOI: 10.1111/j.0014-3820.2001.tb00680.x
PMID: 11580020

Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive N (N598R) expression
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
LibreCat: https://research-explorer.ista.ac.at/record/3495
DOI: 10.1016/S0169-328X(01)00221-2
PMID: 11597769

Distribution of metabotropic glutamate receptor mGlu in the mouse CNS: Differential location relative to pre- and postsynaptic sites
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
LibreCat: https://research-explorer.ista.ac.at/record/2609
DOI: 10.1016/S0306-4522(01)00305-0
PMID: 11591452

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.
LibreCat: https://research-explorer.ista.ac.at/record/2347
DOI: 10.1007/s002200100533
arXiv: cond-mat/0005026

Hyperlink analysis for the Web
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
LibreCat: https://research-explorer.ista.ac.at/record/11755
DOI: 10.1109/4236.895141
WoS: 000744285600001

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.
LibreCat: https://research-explorer.ista.ac.at/record/11770
DOI: 10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0

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.
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33

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.
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

The time course of signaling at central glutamatergic synapses
P.M. Jonas, Physiology 15 (2000) 83–89.
LibreCat: https://research-explorer.ista.ac.at/record/3798
DOI: 10.1152/physiologyonline.2000.15.2.83
PMID: 11390884

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.
LibreCat: https://research-explorer.ista.ac.at/record/3548
DOI: 10.1152/jn.2000.84.1.401
PMID: 10899214 

Measuring fitness by means of balancer chromosomes
N.H. Barton, L. Patridge, Genetical Research 75 (2000) 297–314.
LibreCat: https://research-explorer.ista.ac.at/record/3623
DOI: 10.1017/S0016672399004346
PMID: 10893866

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.
LibreCat: https://research-explorer.ista.ac.at/record/3490
DOI: 10.1523/JNEUROSCI.20-22-08290.2000
PMID: 11069935

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.
LibreCat: https://research-explorer.ista.ac.at/record/2602
DOI: 10.1523/JNEUROSCI.20-21-07896.2000
PMID: 11050109

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.
LibreCat: https://research-explorer.ista.ac.at/record/2598
DOI: 10.1056/NEJM200001063420104
PMID: 10620645

Randomized fully dynamic graph algorithms with polylogarithmic time per operation
M.H. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.
LibreCat: https://research-explorer.ista.ac.at/record/11769
DOI: 10.1145/320211.320215

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.
LibreCat: https://research-explorer.ista.ac.at/record/11895
DOI: 10.1145/331403.331405

Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate
L. Erdös, J. Solovej, Duke Mathematical Journal 96 (1999) 127–173.
LibreCat: https://research-explorer.ista.ac.at/record/2730
DOI: 10.1215/S0012-7094-99-09604-7

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ádková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
LibreCat: https://research-explorer.ista.ac.at/record/2864
DOI: 10.1002/(SICI)1099-1565(199905/06)10:3&lt;143::AID-PCA441&gt;3.0.CO;2-G

A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease P in triggering hatching behavior
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.
LibreCat: https://research-explorer.ista.ac.at/record/3148
DOI: 10.1523/jneurosci.19-16-06942.1999
PMID: 10436051 

Hybrid dysfunction in fire-bellied toads (Bombina)
L. Kruuk, J. Gilchrist, N.H. Barton, Evolution; International Journal of Organic Evolution 53 (1999) 1611–1616.
LibreCat: https://research-explorer.ista.ac.at/record/4277
DOI: 10.2307/2640907
PMID: 28565554

Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
LibreCat: https://research-explorer.ista.ac.at/record/3582

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.
LibreCat: https://research-explorer.ista.ac.at/record/2592
DOI: 10.1523/JNEUROSCI.19-03-00955.1999
PMID: 9920659

Average-case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60.
LibreCat: https://research-explorer.ista.ac.at/record/11680
DOI: 10.1007/pl00009186

The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves
L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.
LibreCat: https://research-explorer.ista.ac.at/record/1954
DOI: 10.1016/S0014-5793(98)00573-0
PMID: 9657394 

 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.
LibreCat: https://research-explorer.ista.ac.at/record/2588
DOI: 10.1038/25360
PMID: 9872317

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.
LibreCat: https://research-explorer.ista.ac.at/record/3488
DOI: 10.1523/JNEUROSCI.18-20-08111.1998
PMID: 9763458

Habitat preference in the Bombina hybrid zone in Croatia
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
LibreCat: https://research-explorer.ista.ac.at/record/3629
DOI: 10.1111/j.1558-5646.1998.tb05156.x
PMID: 28568140

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.
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507  

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.
LibreCat: https://research-explorer.ista.ac.at/record/2581
DOI: 10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0
PMID: 9368840

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.
LibreCat: https://research-explorer.ista.ac.at/record/2579
DOI: 10.1007/s004410050846
PMID: 9182595

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.
LibreCat: https://research-explorer.ista.ac.at/record/4288
DOI: 10.1098/rspb.1997.0027
PMID: 9061969

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.
LibreCat: https://research-explorer.ista.ac.at/record/3483
DOI: 10.1523/JNEUROSCI.17-14-05380.1997
PMID: 9204922

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.
LibreCat: https://research-explorer.ista.ac.at/record/3482
DOI: 10.1523/JNEUROSCI.17-01-00204.1997
PMID: 8987749

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.
LibreCat: https://research-explorer.ista.ac.at/record/4201
DOI: 10.1006/dbio.1997.8511
PMID: 9142986 

Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme
T. Bizouarn, L.A. Sazanov, S. Aubourg, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1273 (1996) 4–12.
LibreCat: https://research-explorer.ista.ac.at/record/1952
DOI: 10.1016/0005-2728(95)00125-5
PMID: 8573594 

 Perisynaptic location of metabotropic glutamate receptors mGlu and mGlu 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.
LibreCat: https://research-explorer.ista.ac.at/record/2574
DOI: 10.1111/j.1460-9568.1996.tb01611.x
PMID: 8758956 

Gaussian decay of the magnetic eigenfunctions
L. Erdös, Geometric and Functional Analysis 6 (1996) 231–248.
LibreCat: https://research-explorer.ista.ac.at/record/2726
DOI: 10.1007/BF02247886

Rayleigh-type isoperimetric inequality with a homogeneous magnetic field
L. Erdös, Calculus of Variations and Partial Differential Equations 4 (1996) 283–292.
LibreCat: https://research-explorer.ista.ac.at/record/2725
DOI: 10.1007/BF01254348

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.
LibreCat: https://research-explorer.ista.ac.at/record/4166
DOI: 10.1242/dev.123.1.103
PMID: 9007233

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.
LibreCat: https://research-explorer.ista.ac.at/record/4142
DOI: 10.1242/dev.123.1.241
PMID: 9007244

Zebrafish pigmentation mutations and the processes of neural crest development
R. Kelsh, M. Brand, Y. Jiang, C.-P.J. Heisenberg, S. Lin, P. Haffter, J. Odenthal, M. Mullins, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, D. Kane, R. Warga, D. Beuchle, L. Vogelsang, C. Nüsslein Volhard, Development 123 (1996) 369–389.
LibreCat: https://research-explorer.ista.ac.at/record/4186
DOI: 10.1242/dev.123.1.369
PMID: 9007256 

The zebrafish early arrest mutants
D. Kane, H. Maischein, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 57–66.
LibreCat: https://research-explorer.ista.ac.at/record/4189
DOI: 10.1242/dev.123.1.57 
PMID: 9007229 

The zebrafish epiboly mutants
D. Kane, M. Hammerschmidt, M. Mullins, H. Maischein, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 47–55.
LibreCat: https://research-explorer.ista.ac.at/record/4188
DOI: 10.1242/dev.123.1.47 
PMID: 9007228 

Mutations affecting somite formation and patterning in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, 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, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 153–164.
LibreCat: https://research-explorer.ista.ac.at/record/4222
DOI: 10.1242/dev.123.1.153
PMID: 9007237 

Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences
M. de Bono, J. Hodgkin, Genetics 144 (1996) 587–595.
LibreCat: https://research-explorer.ista.ac.at/record/6161
PMID: 8889522

Average case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, in:, 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–321.
LibreCat: https://research-explorer.ista.ac.at/record/11928

Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels
P.M. Jonas, N. Burnashev, Neuron 15 (1995) 987–990.
LibreCat: https://research-explorer.ista.ac.at/record/3461
DOI: 10.1016/0896-6273(95)90087-X
PMID: 7576666

Dendritic glutamate receptor channels in rat hippocampal C and C pyramidal neurons
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
LibreCat: https://research-explorer.ista.ac.at/record/3478
DOI: 10.1113/jphysiol.1995.sp020521
PMID: 7536248

Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
LibreCat: https://research-explorer.ista.ac.at/record/3460
DOI: 10.1016/0959-4388(94)90098-1
PMID: 7522678 

Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression
P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.
LibreCat: https://research-explorer.ista.ac.at/record/3477
DOI: 10.1016/0896-6273(94)90444-8
PMID: 8011338 

NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization
M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, S. Nakanishi, Biology of Reproduction 49 (1993) 675–680.
LibreCat: https://research-explorer.ista.ac.at/record/2538
DOI: 10.1095/biolreprod49.4.675
PMID: 8218631

AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS
P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.
LibreCat: https://research-explorer.ista.ac.at/record/3452
DOI: 10.1007/978-3-0348-7327-7_4
PMID: 7505664

High-speed character recognition using a dual cellular neural network architecture (CNND)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
LibreCat: https://research-explorer.ista.ac.at/record/3446
DOI: 10.1109/82.222823

Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, S. Nakanishi, Genes and Development 6 (1992) 2620–2634.
LibreCat: https://research-explorer.ista.ac.at/record/2535
DOI: 10.1101/gad.6.12b.2620
PMID: 1340473

Distribution of the glucose transporters in human brain tumors
T. Nishioka, Y. Oda, Y. Seino, T. Yamamoto, N. Inagaki, H. Yano, H. Imura, R. Shigemoto, H. Kikuchi, Cancer Research 52 (1992) 3972–3979.
LibreCat: https://research-explorer.ista.ac.at/record/2532
PMID: 1617673

Glutamate receptor channels in isolated patches from C and C pyramidal cells of rat hippocampal slices
P.M. Jonas, B. Sakmann, Journal of Physiology 455 (1992) 143–171.
LibreCat: https://research-explorer.ista.ac.at/record/3470
DOI: 10.1113/jphysiol.1992.sp019294 
PMID: 1282929 

ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability
P.M. Jonas, D. Koh, K. Kampe, M. Hermsteiner, W. Vogel, Pflügers Archivf: European Journal of Physiology 418 (1991) 68–73.
LibreCat: https://research-explorer.ista.ac.at/record/3468
DOI: 10.1007/BF00370453
PMID: 2041727

Slimming down by adding; selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 116–127.
LibreCat: https://research-explorer.ista.ac.at/record/4078
DOI: 10.1145/98524.98551

Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels
P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.
LibreCat: https://research-explorer.ista.ac.at/record/3466
DOI: 10.1073/pnas.86.18.7238
PMID: 2550937 

The upper envelope of piecewise linear functions: Algorithms and applications
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 4 (1989) 311–336.
LibreCat: https://research-explorer.ista.ac.at/record/4081
DOI: 10.1007/BF02187733

Constructing belts in two-dimensional arrangements with applications
H. Edelsbrunner, E. Welzl, SIAM Journal on Computing 15 (1986) 271–284.
LibreCat: https://research-explorer.ista.ac.at/record/4110
DOI: 10.1137/0215019