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.
9332 Publications
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, et al. jMocha: A model-checking tool that exploits design structure. In: Proceedings of the 23rd International Conference on Software Engineering. IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 2001;18(2):97-116. doi:10.1023/A:1008767206905
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. Interface automata. In: Proceedings of the 8th European Software Engineering Conference. ACM; 2001:109-120. doi:10.1145/503209.503226
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. Interface theories for component-based design. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:148-165. doi:10.1007/3-540-45449-7_11
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. A reusable and platform-independent framework for distributed control systems. In: Proceedings of the 20th Digital Avionics Systems Conference. IEEE; 2001:1-11. doi:10.1109/DASC.2001.964169
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems. Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems. ACM; 2001:64-72. doi:10.1145/384197.384208
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:166-184. doi:10.1007/3-540-45449-7_12
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Proceedings of the 40th IEEE Conference on Decision and Control. Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
View
| DOI
2001 |Published| Conference (Editor) | IST-REx-ID: 4449
Henzinger TA, ed. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
View
| DOI
2001 |Published| Book Chapter | IST-REx-ID: 4278
Barton NH. The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. Oxford University Press; 2001.
View
| Download None (ext.)
2001 |Published| Journal Article | IST-REx-ID: 4200 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Heisenberg C-PJ, Houart C, Take Uchi M, et al. 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. 2001;15(11):1427-1434. doi:10.1101/gad.194301
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4266
Barton NH. The role of hybridization in evolution. Molecular Ecology. 2001;10(3):551-568. doi:10.1046/j.1365-294X.2001.01216.x
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 2001;55(10):1921-1931. doi:10.1111/j.0014-3820.2001.tb01310.x
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4229
Bollback JP, Huelsenbeck J. Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. 2001;52(2):117-128. doi:10.1007/s002390010140
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4264
Turelli M, Barton NH, Coyne J. Theory and speciation. Trends in Ecology and Evolution. 2001;16(7):330-343. doi:10.1016/S0169-5347(01)02177-2
View
| DOI
| PubMed | Europe PMC
2001 |Published| Book Chapter | IST-REx-ID: 4267
Barton NH. Adaptation at the edge of a species’ range. In: Integrating Ecology and Evolution in a Spatial Context. Cambridge University Press; 2001:365-392.
View
| Download None (ext.)
2001 |Published| Journal Article | IST-REx-ID: 4002
Cheng S, Edelsbrunner H, Fu P, Lam K. Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. 2001;19(2-3):205-218. doi:10.1016/S0925-7721(01)00020-7
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 4001
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. Computational Geometry: Theory and Applications. 2001;19(2-3):191-204. doi:10.1016/S0925-7721(01)00021-9
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. In: Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2001:47-56.
View
| Download None (ext.)