Please note that IST 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.

81 Publications

2001 | 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: IEEE; 2001:1-11. doi:10.1109/DASC.2001.964169
View | DOI

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. Interface automata. In: ACM; 2001:109-120. doi:10.1145/503209.503226
View | DOI

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:566-581. doi:10.1007/3-540-44685-0_38
View | DOI

2001 | Journal Article | IST-REx-ID: 888
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2001;2(12). doi:10.1186/gb-2001-2-12-research0053
View | DOI

2001 | Journal Article | IST-REx-ID: 1453   OA
Etesi G, Hausel T. Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 2001;514(1-2):189-199. doi:10.1016/S0370-2693(01)00821-8
View | DOI | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed