Please note that ISTA 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.
171 Publications
2020 | Published | Conference Paper | IST-REx-ID: 9299 | 
Pach J, Tardos G, Tóth G. Crossings between non-homotopic edges. In: 28th International Symposium on Graph Drawing and Network Visualization. Vol 12590. LNCS. Springer Nature; 2020:359-371. doi:10.1007/978-3-030-68766-3_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7966 |
Auerbach B, Giacon F, Kiltz E. Everybody’s a target: Scalability in public-key encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer Nature; 2020:475-506. doi:10.1007/978-3-030-45727-3_16
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. Scalable FIFO channels for programming via communicating sequential processes. In: 25th Anniversary of Euro-Par. Vol 11725. Springer Nature; 2019:317-333. doi:10.1007/978-3-030-29400-7_23
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 18269
Senouf O, Vedula S, Weiss T, Bronstein AM, Michailovich O, Zibulevsky M. Self-supervised learning of inverse problem solvers in medical imaging. In: First MICCAI Workshop, DART 2019, and First International Workshop, MIL3ID 2019. Vol 11795. Springer International Publishing; 2019:111-119. doi:10.1007/978-3-030-33391-1_13
View
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7230 |
Arroyo Guevara AM, Derka M, Parada I. Extending simple drawings. In: 27th International Symposium on Graph Drawing and Network Visualization. Vol 11904. Springer Nature; 2019:230-243. doi:10.1007/978-3-030-35802-0_18
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6482 |
Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:10.1007/978-3-030-12939-2_18
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7231 |
Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7411 |
Abusalah, Hamza M, Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019 11477. 2019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 6164
Koshti G, Biswas R, Largeteau-Skapin G, Zrour R, Andres E, Bhowmick P. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. In: 19th International Workshop. Vol 11255. Cham: Springer; 2018:82-96. doi:10.1007/978-3-030-05288-1_7
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula S, Senouf O, Zurakhov G, et al. High quality ultrasonic multi-line transmission through deep learning. In: First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018. Vol 11074. Springer Nature; 2018:147-155. doi:10.1007/978-3-030-00129-2_17
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu Q, Lezama J, Bronstein AM, Sapiro G. ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks. In: European Conference on Computer Vision. Vol 11206. Springer Nature; 2018. doi:10.1007/978-3-030-01216-8_27
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf O, Vedula S, Zurakhov G, et al. High frame-rate cardiac ultrasound imaging with deep learning. In: International Conference on Medical Image Computing and Computer Assisted Intervention. Vol 11070. Springer Nature; 2018:126-134. doi:10.1007/978-3-030-00928-1_15
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6941 |
Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. SpaceMint: A cryptocurrency based on proofs of space. In: 22nd International Conference on Financial Cryptography and Data Security. Vol 10957. Springer Nature; 2018:480-499. doi:10.1007/978-3-662-58387-6_26
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 13160 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 5801
Dwivedi S, Gupta A, Roy S, Biswas R, Bhowmick P. Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space. In: 20th IAPR International Conference. Vol 10502. Cham: Springer Nature; 2017:347-359. doi:10.1007/978-3-319-66272-5_28
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 5802
Andres E, Biswas R, Bhowmick P. Digital primitives defined by weighted focal set. In: 20th IAPR International Conference. Vol 10502. Cham: Springer Nature; 2017:388-398. doi:10.1007/978-3-319-66272-5_31
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18330
Alexandroni G, Podolsky Y, Greenspan H, et al. White matter fiber representation using continuous dictionary learning. In: 20th International Conference on Medical Image Computing and Computer-Assisted Intervention. Vol 10433. Springer Nature; 2017:566-574. doi:10.1007/978-3-319-66182-7_65
View
| DOI