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.
9198 Publications
2002 |Published| Journal Article | IST-REx-ID: 13438 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fürst J, Ritter M, Rudzki J, Danzl JG, Gschwentner M, Scandella E, Jakab M, König M, Oehl B, Lang F, Deetjen P, Paulmichl M. 2002. ICln Ion channel splice variants in Caenorhabditis elegans. Journal of Biological Chemistry. 277(6), 4435–4445.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 11125
Hetzer M, Meyer HH, Walther TC, Bilbao-Cortes D, Warren G, Mattaj IW. 2001. Distinct AAA-ATPase p97 complexes function in discrete steps of nuclear assembly. Nature Cell Biology. 3(12), 1086–1091.
View
| DOI
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liang J, Edelsbrunner H. 2001. Molecular classification for property prediction.
[Published Version]
View
| Download Published Version (ext.)
2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner H. 2001. Geometry and Topology for Mesh Generation, Cambridge University Press, 190p.
View
| Files available
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. 2001. Weighted quantified computation tree logic. CIT: Conference on Information Technology.
View
2001 |Published| Journal Article | IST-REx-ID: 9444
Lindroth AM, Cao X, Jackson JP, Zilberman D, McCallum CM, Henikoff S, Jacobsen SE. 2001. Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. 292(5524), 2077–2080.
View
| DOI
| PubMed | Europe PMC
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