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.

5758 Publications


1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. It’s about Time: Real-Time Logics Reviewed. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. Alternating Refinement Relations. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055611.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. Mocha: Modularity in Model Checking. Vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. Symbolic Exploration of Transition Hierarchies. Vol. 1384, Springer, 1998, pp. 330–44, doi: 10.1007/BFb0054181.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. Concurrent Reachability Games. IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507  .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:10.1016/s0092-8674(00)81609-8.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas, Peter M., et al. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science, vol. 281, no. 5375, American Association for the Advancement of Science, 1998, pp. 419–24, doi:10.1126/science.281.5375.419.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3488
Martina, Marco, et al. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” Journal of Neuroscience, vol. 18, no. 20, Society for Neuroscience, 1998, pp. 8111–25.
View | Download (ext.)
 

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, Herbert, and Ping Fu. Apparatus and Method for Geometric Morphing. Elsevier, 1998, doi:US 5,850,229.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L., et al. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” Neuron, vol. 21, no. 1, Elsevier, 1998, pp. 179–89, doi:10.1016/S0896-6273(00)80525-5.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Zoltán, et al. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9409–9409.
View
 

1998 | Journal Article | IST-REx-ID: 3527
Csicsvari, Jozsef L., et al. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 2553–2553.
View
 

1998 | Journal Article | IST-REx-ID: 3535
Hirase, Hajima, et al. “Hippocampal Pyramidal Neutrons ‘Space-Clamped’ in a Running Wheel Task: Place Cells or Path Integrators?” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9932–9932.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, Ulrike, and Herbert Edelsbrunner. “Auditory Morse Analysis of Triangulated Manifolds.” Mathematical Visualization, Springer, 1998, pp. 223–36, doi:10.1007/978-3-662-03567-2_17.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton, Nicholas H. “The Effect of Hitch-Hiking on Neutral Genealogies.” Genetical Research, vol. 72, no. 2, Cambridge University Press, 1998, pp. 123–33, doi:10.1017/S0016672398003462.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
West, Stuart, et al. “Testing for Epistasis between Deleterious Mutations.” Genetics, vol. 149, no. 1, Genetics Society of America, 1998, pp. 435–44.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum, Catriona, et al. “Habitat Preference in the Bombina Hybrid Zone in Croatia.” Evolution, vol. 52, no. 1, Wiley-Blackwell, 1998, pp. 227–39.
View | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3926
Cremer, Sylvia, and Michael Greenfield. “Partitioning the Components of Sexual Selection: Attractiveness and Agonistic Behaviour in Male Wax Moths, Achroia Grisella (Lepidoptera, Pyralidae).” Ethology, vol. 104, no. 1, Wiley-Blackwell, 1998, pp. 1–9, doi:10.1111/j.1439-0310.1998.tb00025.x.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: I. Molecular Area and Volume through Alpha Shape.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 1–17, doi:10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O.
View | DOI
 

Search

Filter Publications