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.
86 Publications
- 1
- 2
- 3 (current)
- 4
- 5
2000 | Published | Journal Article | IST-REx-ID: 4274 | 
Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London. https://doi.org/10.1098/rstb.2000.0716
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Published | Book Chapter | IST-REx-ID: 4275
Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5
View
| DOI
2000 | Published | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672300239220
View
| DOI
| Download None (ext.)
2000 | Published | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_21
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_15
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_11
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer. https://doi.org/10.1007/3-540-46541-3_2
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_14
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4482
Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-540-45099-3_12
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4483
Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE. https://doi.org/10.1109/ICCAD.2000.896481
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38
View
| DOI
2000 | Published | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer. https://doi.org/10.1007/978-3-642-59615-5
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 4598
Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/5.871304
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4627
De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (pp. 141–154). Santa Barbara, CA, USA: IEEE. https://doi.org/10.1109/LICS.2000.855763
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4637
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44618-4_33
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4638
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). Detecting errors before reaching them. In Proceedings of the 12th International Conference on Computer Aided Verification (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer. https://doi.org/10.1007/10722167_17
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 12925
Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J., … Paulmichl, M. (2000). Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. S. Karger AG. https://doi.org/10.1159/000016374
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 842
Wolf, Y., Kondrashov, F., & Koonin, E. (2000). No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(00)02059-X
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 1957
Sazanov, L. A., & Walker, J. (2000). Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. Elsevier. https://doi.org/10.1006/jmbi.2000.4079
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 1958
Sazanov, L. A., Peak Chew, S., Fearnley, I., & Walker, J. (2000). Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. ACS. https://doi.org/10.1021/bi000335t
View
| DOI
| PubMed | Europe PMC
- 1
- 2
- 3 (current)
- 4
- 5