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.
89 Publikationen
- 1
- 2
- 3 (current)
- 4
- 5
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. “Interface Automata.” Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View
| DOI
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A. Henzinger. “Interface Theories for Component-Based Design.” Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
View
| DOI
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4632
De Alfaro, Luca, et al. “Compositional Methods for Probabilistic Systems.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View
| DOI
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4633
De Alfaro, Luca, et al. “Symbolic Algorithms for Infinite-State Games.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View
| DOI
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4634
De Alfaro, Luca, et al. “The Control of Synchronous Systems, Part II.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View
| DOI
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4635
De Alfaro, Luca, et al. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
View
| Download None (ext.)
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 4636
De Alfaro, Luca, et al. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.” Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
View
| DOI
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 1452 |
Hausel, Tamás, and Michael Thaddeus. “Examples of Mirror Partners Arising from Integrable Systems.” Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics, vol. 333, no. 4, Elsevier, 2001, pp. 313–18, doi:10.1016/S0764-4442(01)02057-2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 1453 |
Etesi, Gábor, and Tamás Hausel. “Geometric Construction of New Yang-Mills Instantons over Taub-NUT Space.” Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 514, no. 1–2, Elsevier, 2001, pp. 189–99, doi:10.1016/S0370-2693(01)00821-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 1454 |
Etesi, Gábor, and Tamás Hausel. “Geometric Interpretation of Schwarzschild Instantons.” Journal of Geometry and Physics, vol. 37, no. 1–2, Elsevier, 2001, pp. 126–36, doi:10.1016/S0393-0440(00)00040-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 9444
Lindroth, A. M., et al. “Requirement of CHROMOMETHYLASE3 for Maintenance of CpXpG Methylation.” Science, vol. 292, no. 5524, American Association for the Advancement of Science, 2001, pp. 2077–80, doi:10.1126/science.1059745.
View
| DOI
| PubMed | Europe PMC
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 11892
Henzinger, Monika H., and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing, vol. 31, no. 2, Society for Industrial & Applied Mathematics, 2001, pp. 364–74, doi:10.1137/s0097539797327209.
View
| DOI
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 11914
Bharat, K., et al. “Who Links to Whom: Mining Linkage between Web Sites.” 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58, doi:10.1109/ICDM.2001.989500.
View
| DOI
2001 |
Veröffentlicht |
Sammelwerksbeitrag |
IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P. Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” Handbook of Statistical Genetics, edited by David Balding et al., Wiley-Blackwell, 2001, pp. 415–39, doi:10.1002/9780470061619.ch15.
View
| DOI
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 3438
Huelsenbeck, John, et al. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science, vol. 294, no. 5550, American Association for the Advancement of Science, 2001, pp. 2310–14, doi:10.1126/science.1065889.
View
| DOI
| PubMed | Europe PMC
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 3439
Conn, Jan, et al. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes, vol. 1, no. 4, Wiley-Blackwell, 2001, pp. 223–25, doi: 10.1046/j.1471-8278.2001.00078.x.
View
| DOI
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 3440
Huelsenbeck, John, and Jonathan P. Bollback. “Empirical and Hierarchical Bayesian Estimation of Ancestral States.” Systematic Biology, vol. 50, no. 3, Oxford University Press, 2001, pp. 351–66, doi:10.1080/10635150119871.
View
| DOI
| PubMed | Europe PMC
2001 |
Veröffentlicht |
Konferenzbeitrag |
IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 3493 |
Jones, M. .., et al. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal, vol. 81, no. 5, Biophysical Society, 2001, pp. 2660–70, doi:10.1016/S0006-3495(01)75909-7 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Veröffentlicht |
Zeitschriftenaufsatz |
IST-REx-ID: 3494 |
Bartos, Marlene, et al. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience, vol. 21, no. 8, Society for Neuroscience, 2001, pp. 2687–98, doi:10.1523/JNEUROSCI.21-08-02687.2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
- 1
- 2
- 3 (current)
- 4
- 5