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.
202 Publications
2018 | Published | Conference Paper | IST-REx-ID: 6164
Koshti G, Biswas R, Largeteau-Skapin G, Zrour R, Andres E, Bhowmick P. 2018. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. 19th International Workshop. IWCIA: International Workshop on Combinatorial Image Analysis, LNCS, vol. 11255, 82–96.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 8298
Androulaki E, Cachin C, De Caro A, Kokoris Kogias E. 2018. Channels: Horizontal scaling and confidentiality on permissioned blockchains. Computer Security. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 11098, 111–131.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula S, Senouf O, Zurakhov G, Bronstein AM, Zibulevsky M, Michailovich O, Adam D, Gaitini D. 2018. High quality ultrasonic multi-line transmission through deep learning. First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018. MLMIR: Workshop on Machine Learning for Medical Image Reconstruction, LNCS, vol. 11074, 147–155.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu Q, Lezama J, Bronstein AM, Sapiro G. 2018. ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks. European Conference on Computer Vision. ECCV: European Conference on Computer Vision, LNCS, vol. 11206.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf O, Vedula S, Zurakhov G, Bronstein AM, Zibulevsky M, Michailovich O, Adam D, Blondheim D. 2018. High frame-rate cardiac ultrasound imaging with deep learning. International Conference on Medical Image Computing and Computer Assisted Intervention. MICCAI: Medical Image Computing and Computer Assisted Intervention, LNCS, vol. 11070, 126–134.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6941 | 
Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. 2018. SpaceMint: A cryptocurrency based on proofs of space. 22nd International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 10957, 480–499.
[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. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 11772
Henzinger M. 2017. The state of the art in dynamic graph algorithms. 44th International Conference on Current Trends in Theory and Practice of Computer Science. SOFSEM: Theory and Practice of Computer Science, LNCS, vol. 10706, 40–44.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 5801
Dwivedi S, Gupta A, Roy S, Biswas R, Bhowmick P. 2017. Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space. 20th IAPR International Conference. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 10502, 347–359.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 12571 |
Bhattacharya S, Chakrabarty D, Henzinger M. 2017. Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. 19th International Conference on Integer Programming and Combinatorial Optimization. IPCO: Integer Programming and Combinatorial Optimization, LNCS, vol. 10328, 86–98.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 18330
Alexandroni G, Podolsky Y, Greenspan H, Remez T, Litany O, Bronstein AM, Giryes R. 2017. White matter fiber representation using continuous dictionary learning. 20th International Conference on Medical Image Computing and Computer-Assisted Intervention. MICCAI: Medical Image Computing and Computer-Assisted Intervention, LNCS, vol. 10433, 566–574.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18329
Boyarski A, Bronstein AM, Bronstein MM. 2017. Subspace least squares multidimensional scaling. International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 10302, 681–693.
View
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 625 |
Chatterjee K, Doyen L, Henzinger TA. 2017.The cost of exactness in quantitative reachability. In: Models, Algorithms, Logics and Tools. LNCS, vol. 10460, 367–381.
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 1011 |
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 833 |
Heiss T, Wagner H. 2017. Streaming algorithm for Euler characteristic curves of multidimensional images. CAIP: Computer Analysis of Images and Patterns, LNCS, vol. 10424, 397–409.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. 2016. On functionality of quadraginta octants of naive sphere with application to circle drawing. Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 9647, 256–267.
View
| DOI