ISTA Research Explorer

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.

318 Publications

Search / Filter

2011 | Published | Conference Paper | IST-REx-ID: 3357

The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3358 |

Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.

[Published Version] View | DOI | Download Published Version (ext.)

2011 | Published | Conference Paper | IST-REx-ID: 3359

From boolean to quantitative synthesis
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 336

Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3360 |

Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.

[Published Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3361 |

The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3362 |

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 | Submitted | Preprint | IST-REx-ID: 3363 |

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 | Published | Journal Article | IST-REx-ID: 3364 |

Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, Theoretical Computer Science 412 (2011) 2128–2141.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3365 |

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 | Published | Conference Paper | IST-REx-ID: 3366 |

Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.

[Submitted Version] View | Files available | DOI

2011 | Published | 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 | Published | Journal Article | IST-REx-ID: 3368 |

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 | Published | 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 | Published | Journal Article | IST-REx-ID: 3370 |

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 | Published | Journal Article | IST-REx-ID: 3371 |

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 | Published | Journal Article | IST-REx-ID: 3372 |

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 | Published | Journal Article | IST-REx-ID: 3373 |

Measuring the complete force field of an optical trap
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, S. Grill, Optics Letters 36 (2011) 1260–1262.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 3374 |

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 | Published | Journal Article | IST-REx-ID: 3375 |

The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
H. de Vladar, N.H. Barton, Journal of the Royal Society Interface 8 (2011) 720–739.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC