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
2001 |
Published |
Conference Paper |
IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_24.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4635
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.
View
| Download None (ext.)
2001 |
Published |
Conference Paper |
IST-REx-ID: 4636
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.” In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 279–90. IEEE, 2001. https://doi.org/10.1109/LICS.2001.932504.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 12925
Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner, Jakob Rudzki, Johann G Danzl, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry. S. Karger AG, 2000. https://doi.org/10.1159/000016374.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 842
Wolf, Yuri, Fyodor Kondrashov, and Eugene Koonin. “No Footprints of Primordial Introns in a Eukaryotic Genome.” Trends in Genetics. Elsevier, 2000. https://doi.org/10.1016/S0168-9525(00)02059-X.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 8525
Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.” Communications in Mathematical Physics. Springer Nature, 2000. https://doi.org/10.1007/s002200050811.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 1736
Katsaros, Georgios, Phil Lane, and Michelle Murphy. “Comparison of the Impact of FWM on Binary, Duobinary and Dicode Modulation in DWDM Systems.” In Proceedings of the 2000 IEEE Annual Meeting Conference , 1:27–28. IEEE, 2000. https://doi.org/10.1109/LEOS.2000.890656.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1957
Sazanov, Leonid A, and John Walker. “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, 2000. https://doi.org/10.1006/jmbi.2000.4079.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 1958
Sazanov, Leonid A, Sew Peak Chew, Ian Fearnley, and John Walker. “Resolution of the Membrane Domain of Bovine Complex I into Subcomplexes: Implications for the Structural Organization of the Enzyme.” Biochemistry. ACS, 2000. https://doi.org/10.1021/bi000335t.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 13437
Macogonkosza, Mieczysław, Jacek Przyborowski, Rafal Klajn, and Andrzej Kwast. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.” Synlett. Georg Thieme Verlag, 2000. https://doi.org/10.1055/s-2000-8670.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1455 |
Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika. University College London, 2000. https://doi.org/10.1112/S0025579300015965.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 11126
Hetzer, Martin, and Iain W. Mattaj. “An Atp-Dependent, Ran-Independent Mechanism for Nuclear Import of the U1a and U2b′′ Spliceosome Proteins.” Journal of Cell Biology. Rockefeller University Press, 2000. https://doi.org/10.1083/jcb.148.2.293.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 11127 |
Hetzer, Martin, Daniel Bilbao-Cortés, Tobias C Walther, Oliver J Gruss, and Iain W Mattaj. “GTP Hydrolysis by Ran Is Required for Nuclear Envelope Assembly.” Molecular Cell. Elsevier, 2000. https://doi.org/10.1016/s1097-2765(00)80266-x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 11683
Henzinger, Monika H, Satish Rao, and Harold N. Gabow. “Computing Vertex Connectivity: New Bounds from Old Techniques.” Journal of Algorithms. Elsevier, 2000. https://doi.org/10.1006/jagm.1999.1055.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11685
Henzinger, Monika H, Allan Heydon, Michael Mitzenmacher, and Marc Najork. “On Near-Uniform URL Sampling.” Computer Networks. Elsevier, 2000. https://doi.org/10.1016/s1389-1286(00)00055-4.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11694
Albers, Susanne, and Monika H Henzinger. “Exploring Unknown Environments.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2000. https://doi.org/10.1137/s009753979732428x.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11770 |
Bharat, Krishna, Andrei Broder, Jeffrey Dean, and Monika H Henzinger. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.” Journal of the American Society for Information Science. Wiley, 2000. https://doi.org/10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)