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 |
Book Chapter |
IST-REx-ID: 4278
Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.
View
| Download None (ext.)
2001 |
Published |
Conference (Editor) |
IST-REx-ID: 4449
Henzinger, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience. In Proceedings of the 40th IEEE Conference on Decision and Control (Vol. 3, pp. 2887–2892). Orlando, FL, USA: IEEE. https://doi.org/10.1109/.2001.980714
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer. https://doi.org/10.1007/3-540-45351-2_24
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM. https://doi.org/10.1145/384197.384208
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_12
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems. In Proceedings of the 20th Digital Avionics Systems Conference (pp. 1–11). Daytona Beach, FL, USA: IEEE. https://doi.org/10.1109/DASC.2001.964169
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008767206905
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure. In Proceedings of the 23rd International Conference on Software Engineering (pp. 835–836). IEEE. https://doi.org/10.1109/ICSE.2001.919196
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European software engineering conference (pp. 109–120). Vienna, Austria: ACM. https://doi.org/10.1145/503209.503226
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_11
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.
View
| Download None (ext.)
2001 |
Published |
Conference Paper |
IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE. https://doi.org/10.1109/LICS.2001.932504
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: 8525
Kaloshin, V. (2000). Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s002200050811
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 1736
Katsaros, G., Lane, P., & Murphy, M. (2000). Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In Proceedings of the 2000 IEEE Annual Meeting Conference (Vol. 1, pp. 27–28). Rio Grande, PR, USA: IEEE. https://doi.org/10.1109/LEOS.2000.890656
View
| DOI