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.

1407 Publications


2010 | Technical Report | IST-REx-ID: 5390   OA
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary, IST Austria, 2010.
View | Files available
 

2010 | Technical Report | IST-REx-ID: 5388   OA
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
View | Files available
 

2010 | Conference Paper | IST-REx-ID: 4378   OA
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4157   OA
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3868   OA
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863   OA
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 2409   OA
Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology 5 (2010) 37.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849   OA
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3851   OA
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
View | DOI | Download (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 3779   OA
Cryptic variation between species and the basis of hybrid performance
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010) e1000429.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 488   OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3832   OA
Beyond TARPs: The growing list of auxiliary AMPAR subunits
S. Guzman, P.M. Jonas, Neuron 66 (2010) 8–10.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3775   OA
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3871   OA
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4242   OA
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4545   OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569   OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
View | DOI | Download (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 3841   OA
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392   OA
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
View | Files available
 

2009 | Conference Paper | IST-REx-ID: 4542   OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed