ISTA Research Explorer

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

2018 | Conference Paper | IST-REx-ID: 140 |

Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.

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

2017 | Conference Paper | IST-REx-ID: 650 |

A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 586–599.

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

2017 | Conference Paper | IST-REx-ID: 1116 |

Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.

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

2017 | Conference Paper | IST-REx-ID: 1011 |

Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.

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

2017 | Conference Paper | IST-REx-ID: 989

Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.

View | DOI | WoS

2017 | Conference Paper | IST-REx-ID: 962

Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.

View | DOI | WoS

2017 | Conference Paper | IST-REx-ID: 833 |

Streaming algorithm for Euler characteristic curves of multidimensional images
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.

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

2017 | Conference Paper | IST-REx-ID: 949 |

JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.

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

2011 | Conference Paper | IST-REx-ID: 9648 |

Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.

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