Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.”https://doi.org/10.1007/978-3-030-31784-3_27__In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-31784-3_27 .
LibreCat: https://research-explorer.ista.ac.at/record/7183
DOI: 10.1007/978-3-030-31784-3_27
WoS: 000723515700027
arXiv: 1907.11010

Fuchsbauer, Georg, Chethan Kamath Hosdurg, Karen Klein, and Krzysztof Z Pietrzak. “Adaptively Secure Proxy Re-Encryption,”https://doi.org/10.1007/978-3-030-17259-6_11__11443:317–46. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-17259-6_11 .
LibreCat: https://research-explorer.ista.ac.at/record/6430
DOI: 10.1007/978-3-030-17259-6_11

Avni, Guy, Thomas A Henzinger, and Rasmus Ibsen-Jensen. “Infinite-Duration Poorman-Bidding Games,”https://doi.org/10.1007/978-3-030-04612-5_2__11316:21–36. Springer, 2018.https://doi.org/10.1007/978-3-030-04612-5_2 .
LibreCat: https://research-explorer.ista.ac.at/record/5788
DOI: 10.1007/978-3-030-04612-5_2
WoS: 000865933000002
arXiv: 1804.04372

Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches for Almost-Sure Termination of Probabilistic Programs.”https://doi.org/10.1007/978-3-030-02768-1_11__edited by Sukyoung Ryu, 11275:181–201. Springer, 2018.https://doi.org/10.1007/978-3-030-02768-1_11 .
LibreCat: https://research-explorer.ista.ac.at/record/5679
DOI: 10.1007/978-3-030-02768-1_11
WoS: 000916310900011
arXiv: 1806.06683

Gilad, Eran, Trevor A Brown, Mark Oskin, and Yoav Etsion. “Snapshot Based Synchronization: A Fast Replacement for Hand-over-Hand Locking,”https://doi.org/10.1007/978-3-319-96983-1_33__11014:465–79. Springer, 2018.https://doi.org/10.1007/978-3-319-96983-1_33 .
LibreCat: https://research-explorer.ista.ac.at/record/85
DOI: 10.1007/978-3-319-96983-1_33
WoS: 000851042300031

Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,”https://doi.org/10.1007/978-3-319-96145-3_25__10981:468–86. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_25 .
LibreCat: https://research-explorer.ista.ac.at/record/140
DOI: 10.1007/978-3-319-96145-3_25
WoS: 000491481600025

Skórski, Maciej. “A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds.”https://doi.org/10.1007/978-3-319-55911-7_42__edited by Gerhard Jäger and Silvia Steila, 10185:586–99. Springer, 2017.https://doi.org/10.1007/978-3-319-55911-7_42 .
LibreCat: https://research-explorer.ista.ac.at/record/650
DOI: 10.1007/978-3-319-55911-7_42

Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,”https://doi.org/10.1007/978-3-662-54580-5_10__10206:169–87. Springer, 2017.https://doi.org/10.1007/978-3-662-54580-5_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1116
DOI: 10.1007/978-3-662-54580-5_10
WoS: 000440733400010

Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.”https://doi.org/10.1007/978-3-662-54434-1_11__edited by Hongseok Yang, 10201:287–313. Springer, 2017.https://doi.org/10.1007/978-3-662-54434-1_11 .
LibreCat: https://research-explorer.ista.ac.at/record/1011
DOI: 10.1007/978-3-662-54434-1_11
WoS: 000681702400011

Maas, Jan, Martin Rumpf, and Stefan Simon. “Transport Based Image Morphing with Intensity Modulation.”https://doi.org/10.1007/978-3-319-58771-4_45__edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:563–77. Springer, 2017.https://doi.org/10.1007/978-3-319-58771-4_45 .
LibreCat: https://research-explorer.ista.ac.at/record/989
DOI: 10.1007/978-3-319-58771-4_45
WoS: 000432210900045

Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.”https://doi.org/10.1007/978-3-319-63390-9_21__edited by Rupak Majumdar and Viktor Kundak, 10427:399–418. Springer, 2017.https://doi.org/10.1007/978-3-319-63390-9_21 .
LibreCat: https://research-explorer.ista.ac.at/record/962
DOI: 10.1007/978-3-319-63390-9_21
WoS: 000431900900021

Heiss, Teresa, and Hubert Wagner. “Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images.”https://doi.org/10.1007/978-3-319-64689-3_32__edited by Michael Felsberg, Anders Heyden, and Norbert Krüger, 10424:397–409. Springer, 2017.https://doi.org/10.1007/978-3-319-64689-3_32 .
LibreCat: https://research-explorer.ista.ac.at/record/833
DOI: 10.1007/978-3-319-64689-3_32
WoS: 000432085900032

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.”https://doi.org/10.1007/978-3-319-68167-2_4__edited by Deepak D’Souza, 10482:59–66. Springer, 2017.https://doi.org/10.1007/978-3-319-68167-2_4 .
LibreCat: https://research-explorer.ista.ac.at/record/949
DOI: 10.1007/978-3-319-68167-2_4
WoS: 000723567800004

Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.”https://doi.org/10.1007/978-3-642-23672-3_35__In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011.https://doi.org/10.1007/978-3-642-23672-3_35 .
LibreCat: https://research-explorer.ista.ac.at/record/9648
DOI: 10.1007/978-3-642-23672-3_35