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.

89 Publications


2001 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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
 

2001 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. 2001. Some lessons from the HYTECH experience. Proceedings of the 40th IEEE Conference on Decision and Control. CDC: Decision and Control vol. 3, 2887–2892.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA ed. 2001. EMSOFT: Embedded Software, ACM,p.
View | DOI
 

Filters and Search Terms

year=2001

Search

Filter Publications