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.

2306 Publications


2009 | Conference Paper | IST-REx-ID: 3837   OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844   OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870   OA
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 517
Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
N.H. Barton, Genetical Research 89 (2008) 475–477.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 6149
Sleep: dozy worms and sleepy flies
B. Olofsson, M. de Bono, Current Biology 18 (2008) R204–R206.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed