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.
9789 Publications
1997 | Published | Book Review | IST-REx-ID: 4291
Barton, Nicholas H. “The Ecological Detective: Confronting Models with Data.” Genetical Research, vol. 70, no. 2, Cambridge University Press, 1997, pp. 180–81.
View
| Download None (ext.)
1997 | Published | Book Chapter | IST-REx-ID: 4293
Barton, Nicholas H., and Michael Whitlock. “The Evolution of Metapopulations.” Metapopulation Biology, edited by Illka Hanski and Michael E. Gilpin, Academic Press, 1997, pp. 183–210, doi:10.1016/B978-012323445-2/50012-2.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A., and Orna Kupferman. “From Quantity to Quality.” Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 48–62, doi:10.1007/BFb0014712.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Proceedings of the 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. “Fair Simulation.” Proceedings of the 8th International Conference on Concurrency Theory, vol. 1243, Springer, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, et al. “Robust Timed Automata.” Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. “Modularity for Timed and Hybrid Systems.” 8th International Conference on Concurrency Theory, vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.” Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717 .
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” 9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–09, doi:10.1145/585265.585270.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 8527
Hunt, Brian R., and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.” Nonlinearity, vol. 10, no. 5, IOP Publishing, 1997, pp. 1031–46, doi:10.1088/0951-7715/10/5/002.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 8528
Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.” Functional Analysis and Its Applications, vol. 31, no. 2, Springer Nature, 1997, pp. 95–99, doi:10.1007/bf02466014.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 11666
Anderson, Jennifer M., et al. “Continuous Profiling: Where Have All the Cycles Gone?” ACM Transactions on Computer Systems, vol. 15, no. 4, Association for Computing Machinery, 1997, pp. 357–90, doi:10.1145/265924.265925.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 11803
Henzinger, Monika H., and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer Nature, 1997, pp. 594–604, doi:10.1007/3-540-63165-8_214.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 11849 | 
Anderson, Jennifer M., et al. “Continuous Profiling: Where Have All the Cycles Gone?” ACM SIGOPS Operating Systems Review, vol. 31, no. 5, Association for Computing Machinery, 1997, pp. 1–14, doi:10.1145/269005.266637.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
1997 | Published | Journal Article | IST-REx-ID: 3482 |
Götz, Thomas, et al. “Functional Properties of AMPA and NMDA Receptors Expressed in Identified Types of Basal Ganglia Neurons.” Journal of Neuroscience, vol. 17, no. 1, Society for Neuroscience, 1997, pp. 204–15, doi:10.1523/JNEUROSCI.17-01-00204.1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC