Please note that IST 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.

18 Publications


2019 | Conference Paper | IST-REx-ID: 7183   OA
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7228
Scalable FIFO channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 317–333.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7230   OA
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 230–243.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6430
Adaptively secure proxy re-encryption
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 123–141.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 59–75.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 85   OA
Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5788   OA
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 140   OA
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5679   OA
New approaches for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
View | DOI | Download (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 650   OA
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.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 833   OA
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.
View | DOI | Download (ext.)
 

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
 

2017 | Conference Paper | IST-REx-ID: 1116   OA
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.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 625   OA
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1011   OA
Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
View | DOI | Download (ext.)
 

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
 

2017 | Conference Paper | IST-REx-ID: 949   OA
JTDec: A tool for tree decompositions in soot
K. Chatterjee, A. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
View | Files available | DOI
 

Filters and Search Terms

issn=03029743

Search

Filter Publications

Display / Sort

Export / Embed