Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C.,https://doi.org/10.1109/ICSE.2001.919196__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 
LibreCat: https://research-explorer.ista.ac.at/record/4600
DOI: 10.1109/ICSE.2001.919196

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 
LibreCat: https://research-explorer.ista.ac.at/record/4599
DOI: 10.1023/A:1008767206905

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 
LibreCat: https://research-explorer.ista.ac.at/record/4622
DOI: 10.1145/503209.503226

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 
LibreCat: https://research-explorer.ista.ac.at/record/4623
DOI: 10.1007/3-540-45449-7_11

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 
LibreCat: https://research-explorer.ista.ac.at/record/4564
DOI: 10.1109/DASC.2001.964169

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 
LibreCat: https://research-explorer.ista.ac.at/record/4477
DOI: 10.1007/3-540-45351-2_24

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 
LibreCat: https://research-explorer.ista.ac.at/record/4478
DOI: 10.1145/384197.384208

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 
LibreCat: https://research-explorer.ista.ac.at/record/4479
DOI: 10.1007/3-540-45449-7_12

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 
LibreCat: https://research-explorer.ista.ac.at/record/4475
DOI: 10.1109/.2001.980714

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 
LibreCat: https://research-explorer.ista.ac.at/record/4449
DOI: 10.1007/3-540-45449-7

Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.
LibreCat: https://research-explorer.ista.ac.at/record/4278

Heisenberg, C.-P. J., Houart, C., Take Uchi, M., Rauch, G., Young, N., Coutinho, P.,https://doi.org/10.1101/gad.194301__Stemple, D. (2001). A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon. Genes and Development. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gad.194301 
LibreCat: https://research-explorer.ista.ac.at/record/4200
DOI: 10.1101/gad.194301
PMID: 11390362

Barton, N. H. (2001). The role of hybridization in evolution. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1046/j.1365-294X.2001.01216.x 
LibreCat: https://research-explorer.ista.ac.at/record/4266
DOI: 10.1046/j.1365-294X.2001.01216.x
PMID: 11298968

Otto, S., &; Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2001.tb01310.x 
LibreCat: https://research-explorer.ista.ac.at/record/4265
DOI: 10.1111/j.0014-3820.2001.tb01310.x
PMID: 11761054

Bollback, J. P., &; Huelsenbeck, J. (2001). Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. Springer.https://doi.org/10.1007/s002390010140 
LibreCat: https://research-explorer.ista.ac.at/record/4229
DOI: 10.1007/s002390010140
PMID: 11231891

Turelli, M., Barton, N. H., &; Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution. Cell Press.https://doi.org/10.1016/S0169-5347(01)02177-2 
LibreCat: https://research-explorer.ista.ac.at/record/4264
DOI: 10.1016/S0169-5347(01)02177-2
PMID: 11403865

Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.
LibreCat: https://research-explorer.ista.ac.at/record/4267

Cheng, S., Edelsbrunner, H., Fu, P., &; Lam, K. (2001). Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/S0925-7721(01)00020-7 
LibreCat: https://research-explorer.ista.ac.at/record/4002
DOI: 10.1016/S0925-7721(01)00020-7

Cheng, H., Edelsbrunner, H., &; Fu, P. (2001). Shape space from deformation. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/S0925-7721(01)00021-9 
LibreCat: https://research-explorer.ista.ac.at/record/4001
DOI: 10.1016/S0925-7721(01)00021-9

Cheng, H., Dey, T., Edelsbrunner, H., &; Sullivan, J. (2001). Dynamic skin triangulation. In Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms (pp. 47–56). Washington, DC, USA : SIAM.
LibreCat: https://research-explorer.ista.ac.at/record/4005