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.

8924 Publications


2002 | Published | Journal Article | IST-REx-ID: 4474 | OA
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Conference Paper | IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 58–70). Portland, OR, USA: ACM. https://doi.org/10.1145/503272.503279
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 841
Wolf, Y., Kondrashov, F., & Koonin, E. (2001). Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(01)02376-9
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 851
Rogozin, I., Kondrashov, F., & Glazko, G. (2001). Use of mutation spectra analysis software. Human Mutation. Wiley-Blackwell. https://doi.org/10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 8521
Kaloshin, V., & Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s1079-6762-01-00091-9
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 8522
Kaloshin, V., & Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s1079-6762-01-00090-7
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 8524
Kaloshin, V., & Rodnianski, I. (2001). Diophantine properties of elements of SO(3). Geometric And Functional Analysis. Springer Nature. https://doi.org/10.1007/s00039-001-8222-8
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 855
Rogozin, I., Kochetov, A., Kondrashov, F., Koonin, E., & Milanesi, L. (2001). Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/17.10.890
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 867
Kondrashov, F., & Koonin, E. (2001). Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/10.23.2661
[Published Version] View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 874 | OA
Kondrashov, F., & Kondrashov, A. (2001). Multidimensional epistasis and the disadvantage of sex. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.211214298
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 888 | OA
Jordan, I., Kondrashov, F., Rogozin, I., Tatusov, R., Wolf, Y., & Koonin, E. (2001). Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2001-2-12-research0053
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 1452 | OA
Hausel, T., & Thaddeus, M. (2001). Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics. Elsevier. https://doi.org/10.1016/S0764-4442(01)02057-2
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 1453 | OA
Etesi, G., & Hausel, T. (2001). Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. Elsevier. https://doi.org/10.1016/S0370-2693(01)00821-8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 1454 | OA
Etesi, G., & Hausel, T. (2001). Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. Elsevier. https://doi.org/10.1016/S0393-0440(00)00040-1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 9444
Lindroth, A. M., Cao, X., Jackson, J. P., Zilberman, D., McCallum, C. M., Henikoff, S., & Jacobsen, S. E. (2001). Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1059745
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed