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.

6065 Publications


1997 | Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: IEEE; 1997:100-109. doi: 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2727
Erdös L. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 1997;38(3):1289-1317. doi:10.1063/1.531909
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös L, Solovej J. Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. 1997;188(3):599-656. doi:10.1007/s002200050181
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz T, Kraushaar U, Geiger J, Lubke J, Berger T, Jonas PM. Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. 1997;17(1):204-215.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik K, Bender R, Geiger J, et al. A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. 1997;17(14):5380-5394.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger J, Lubke J, Roth A, Frotscher M, Jonas PM. Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. 1997;18(6):1009-1023. doi:10.1016/S0896-6273(00)80339-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina M, Jonas PM. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 1997;505(3):593-603. doi:10.1111/j.1469-7793.1997.593ba.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger J, Jonas PM. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 1997;504(Pt 2):359-365. doi:10.1111/j.1469-7793.1997.359be.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3541
Bragin A, Csicsvari JL, Penttonen M, Buzsáki G. Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. 1997;76(4):1187-1203. doi:10.1016/S0306-4522(96)00446-0
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
Whitlock M, Barton NH. The effective size of a subdivided population. Genetics. 1997;146(1):427-441.
View
 

1997 | Journal Article | IST-REx-ID: 3631
Kawecki T, Barton NH, Fry J. Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. 1997;10(3):407-430. doi:10.1046/j.1420-9101.1997.10030407.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick M, Barton NH. The strength of indirect selection on female mating preferences. PNAS. 1997;94(4):1282-1286. doi:10.1073/pnas.94.4.1282
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick M, Barton NH. Evolution of a species’ range. American Naturalist. 1997;150(1):1-23. doi:10.1086/286054
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 1997;18(1):43-57. doi:10.1016/S0896-6273(01)80045-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg C-PJ, Nüsslein Volhard C. The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. 1997;184(1):85-94. doi:10.1006/dbio.1997.8511
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8528
Kaloshin V. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 1997;31(2):95-99. doi:10.1007/bf02466014
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
Hunt BR, Kaloshin V. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 1997;10(5):1031-1046. doi:10.1088/0951-7715/10/5/002
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2492
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8
View | DOI
 

Search

Filter Publications