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.

187 Publications


2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies, Thomas, et al. Field Constraint Analysis. Springer, 2006, pp. 157–73, doi:1551.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov, Fyodor, et al. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.” Biology Direct, vol. 1, BioMed Central, 2006, doi:10.1186/1745-6150-1-31.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed