ISTA Research Explorer

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

2016 | Conference Paper | IST-REx-ID: 1526 |

Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.

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

2016 | Journal Article | IST-REx-ID: 1545 |

Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.

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

2016 | Journal Article | IST-REx-ID: 1552 |

The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, R.C. Maclean, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).

[Published Version] View | Files available | DOI

2016 | Journal Article | IST-REx-ID: 1289 |

The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, R. Kuvaev, S. Kashin, Pattern Recognition Letters 83 (2016) 13–22.

[Submitted Version] View | Files available | DOI

2016 | Conference Paper | IST-REx-ID: 1164 |

Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.

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