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

9071 Publications


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: 3351 | OA
On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3354
Qualitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 12 (2011).
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 335
Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
M. Ibáñez, J. Fan, W. Li, D. Cadavid, R. Nafria, A. Carrete, A. Cabot, Chemistry of Materials 23 (2011) 3095–3104.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3352
Biology as reactivity
J. Fisher, D. Harel, T.A. Henzinger, Communications of the ACM 54 (2011) 72–82.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3367
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).
[Preprint] View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Inclusive fitness theory and eusociality
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Cells on the move in Philadelphia
M.K. Sixt, C. Parent, Molecular Biology and Evolution 22 (2011) 724.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Information transmission in genetic regulatory networks a review
G. Tkačik, A. Walczak, Journal of Physics: Condensed Matter 23 (2011).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
G. Krens, S. Möllmert, C.-P.J. Heisenberg, PNAS 108 (2011) E9–E10.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Consequences of different null models on the tree shape bias of supertree methods
A. Kupczok, Systematic Biology 60 (2011) 218–225.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3369
The multiple faces of RIM
A. Pernia-Andrade, P.M. Jonas, Neuron 69 (2011) 185–187.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
Genetic drift widens the expected cline but narrows the expected cline width
J. Polechova, N.H. Barton, Genetics 189 (2011) 227–235.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
The relation between reproductive value and genetic contribution
N.H. Barton, A. Etheridge, Genetics 188 (2011) 953–973.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
The contribution of statistical physics to evolutionary biology
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications