ISTA Research Explorer

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

2017 | Journal Article | IST-REx-ID: 1433 |

Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.

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

2017 | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.

2017 | Journal Article | IST-REx-ID: 1367 |

Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.

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

2017 | Journal Article | IST-REx-ID: 1338 |

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.

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

2017 | Journal Article | IST-REx-ID: 1351 |

Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.

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