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.

2425 Publications


2011 | Conference Paper | IST-REx-ID: 3362
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, J.-P. Katoen, B. König (Eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3348   OA
Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3350
Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3343   OA View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3778   OA
Estimating linkage disequilibria
N.H. Barton, Heredity 106 (2011) 205–206.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed