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.
7036 Publications
2001 |Published| Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 279–290.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4635
De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. Proceedings of the 10th international conference on World Wide Web. WWW: World Wide Web Conference, 86–87.
View
| Download None (ext.)
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. Proceedings of the 23rd International Conference on Software Engineering. ICSE: Software Engineering, 835–836.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. 2001. A reusable and platform-independent framework for distributed control systems. Proceedings of the 20th Digital Avionics Systems Conference. DASC: Digital Avionics Systems Conference, 1–11.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.
View
| DOI
2001 |Published| Book Chapter | IST-REx-ID: 4278
Barton NH. 2001.The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. .
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, Rauch G, Young N, Coutinho P, Masai I, Caneparo L, Concha M, Geisler R, Dale T, Wilson S, 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. 15(11), 1427–1434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4266
Barton NH. 2001. The role of hybridization in evolution. Molecular Ecology. 10(3), 551–568.
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. 2001. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 55(10), 1921–1931.
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 4229
Bollback JP, Huelsenbeck J. 2001. Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. 52(2), 117–128.
View
| DOI
| PubMed | Europe PMC