ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6436 Publications

2014 | Published | Technical Report | IST-REx-ID: 5424 |

Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5426 |

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5427 |

Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5428 |

Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Book Chapter | IST-REx-ID: 6178

UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, 2014, pp. 219–235.

View | DOI | PubMed | Europe PMC

2014 | Published | Book | IST-REx-ID: 6853

A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.

View | Files available | DOI

2014 | Draft | Working Paper | IST-REx-ID: 7038 |

Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.

[Published Version] View | Files available

2014 | Research Data Reference | IST-REx-ID: 9888

Supporting information
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, (2014).

[Published Version] View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 9931

Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.

2014 | Research Data Reference | IST-REx-ID: 9932 |

Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, (2014).

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

2014 | Published | Journal Article | IST-REx-ID: 1999

Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.

View | Files available | DOI | WoS

2013 | Published | Journal Article | IST-REx-ID: 2698 |

Stability and semiclassics in self-generated fields
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2013 | Published | Conference Paper | IST-REx-ID: 2718 |

Can quantitative and population genetics help us understand evolutionary computation?
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.

[Submitted Version] View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 2719

A variance decomposition approach to the analysis of genetic algorithms
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 2720 |

Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.

2013 | Published | Journal Article | IST-REx-ID: 2782 |

Local eigenvalue density for general MANOVA matrices
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2013 | Published | Journal Article | IST-REx-ID: 2806

High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects
K. Avila, B. Hof, Review of Scientific Instruments 84 (2013).

View | DOI | WoS

2013 | Published | Conference Paper | IST-REx-ID: 2807 |

Extending continuous maps: Polynomiality and undecidability
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.

[Submitted Version] View | Files available | DOI

2013 | Published | Journal Article | IST-REx-ID: 2808 |

The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.

2013 | Published | Journal Article | IST-REx-ID: 2810 |

Environmental dependence of genetic constraint
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).

[Published Version] View | Files available | DOI | WoS

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options