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 | OA
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 |Published| Journal Article | IST-REx-ID: 11892
Henzinger MH, King V. 2001. Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. 31(2), 364–374.
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger MH, Ruhl M. 2001. Who links to whom: Mining linkage between Web sites. 1st IEEE International Conference on Data Mining. ICMD: International Conference on Data Mining, 51–58.
View | DOI
 

2001 | Patent | IST-REx-ID: 3507 | OA
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: 8522
Kaloshin V, Hunt BR. 2001. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. 7(4), 17–27.
View | DOI
 

2001 |Published| Journal Article | IST-REx-ID: 8521
Kaloshin V, Hunt BR. 2001. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II. Electronic Research Announcements of the American Mathematical Society. 7(5), 28–36.
View | DOI
 

2001 |Published| Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. 2001. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 11(5), 953–970.
View | DOI
 

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: 4634
De Alfaro L, Henzinger TA, Mang F. 2001. The control of synchronous systems, Part II. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 566–581.
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 536–550.
View | DOI
 

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: 4632
De Alfaro L, Henzinger TA, Jhala R. 2001. Compositional methods for probabilistic systems. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 351–365.
View | DOI
 

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| Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 2001. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 18(2), 97–116.
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. 2001. Interface automata. Proceedings of the 8th European software engineering conference. FSE: Foundations of Software Engineering, 109–120.
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.
View | DOI
 

Search

Filter Publications