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.
157 Publications
2019 | Published | Conference Paper | IST-REx-ID: 7231 | 
Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature. https://doi.org/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. (2018). Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. In 19th International Workshop (Vol. 11255, pp. 82–96). Cham: Springer. https://doi.org/10.1007/978-3-030-05288-1_7
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula, S., Senouf, O., Zurakhov, G., Bronstein, A. M., Zibulevsky, M., Michailovich, O., … Gaitini, D. (2018). High quality ultrasonic multi-line transmission through deep learning. In First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018 (Vol. 11074, pp. 147–155). Granada, Spain: Springer Nature. https://doi.org/10.1007/978-3-030-00129-2_17
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu, Q., Lezama, J., Bronstein, A. M., & Sapiro, G. (2018). ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks. In European Conference on Computer Vision (Vol. 11206). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-01216-8_27
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf, O., Vedula, S., Zurakhov, G., Bronstein, A. M., Zibulevsky, M., Michailovich, O., … Blondheim, D. (2018). High frame-rate cardiac ultrasound imaging with deep learning. In International Conference on Medical Image Computing and Computer Assisted Intervention (Vol. 11070, pp. 126–134). Granada, Spain: Springer Nature. https://doi.org/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, J. F., & Pietrzak, K. Z. (2018). SpaceMint: A cryptocurrency based on proofs of space. In 22nd International Conference on Financial Cryptography and Data Security (Vol. 10957, pp. 480–499). Nieuwpoort, Curacao: Springer Nature. https://doi.org/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. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer. https://doi.org/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. (2017). Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space. In 20th IAPR International Conference (Vol. 10502, pp. 347–359). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-66272-5_28
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 5802
Andres, E., Biswas, R., & Bhowmick, P. (2017). Digital primitives defined by weighted focal set. In 20th IAPR International Conference (Vol. 10502, pp. 388–398). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-66272-5_31
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18330
Alexandroni, G., Podolsky, Y., Greenspan, H., Remez, T., Litany, O., Bronstein, A. M., & Giryes, R. (2017). White matter fiber representation using continuous dictionary learning. In 20th International Conference on Medical Image Computing and Computer-Assisted Intervention (Vol. 10433, pp. 566–574). Quebec City, QC, Canada: Springer Nature. https://doi.org/10.1007/978-3-319-66182-7_65
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18329
Boyarski, A., Bronstein, A. M., & Bronstein, M. M. (2017). Subspace least squares multidimensional scaling. In International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 10302, pp. 681–693). Kolding, Denmark: Springer Nature. https://doi.org/10.1007/978-3-319-58771-4_54
View
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 5805
Sen, N., Biswas, R., & Bhowmick, P. (2016). On some local topological properties of naive discrete sphere. In Computational Topology in Image Context (Vol. 9667, pp. 253–264). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-39441-1_23
View
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 5809
Biswas, R., Bhowmick, P., & Brimkov, V. E. (2016). On the connectivity and smoothness of discrete spherical circles. In Combinatorial image analysis (Vol. 9448, pp. 86–100). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-26145-4_7
View
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 1094
Harada, H., & Shigemoto, R. (2016). Immunogold protein localization on grid-glued freeze-fracture replicas. In High-Resolution Imaging of Cellular Proteins (Vol. 1474, pp. 203–216). Springer. https://doi.org/10.1007/978-1-4939-6352-2_12
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl, T., Huber, S., & Palfrader, P. (2014). Planar matchings for weighted straight skeletons. In 25th International Symposium, ISAAC 2014 (Vol. 8889, pp. 117–127). Jeonju, Korea: Springer Nature. https://doi.org/10.1007/978-3-319-13075-0_10
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10884 |
Aminof, B., Jacobs, S., Khalimov, A., & Rubin, S. (2014). Parameterized model checking of token-passing systems. In Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 262–281). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_15
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10885
Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_5
[Preprint]
View
| Files available
| DOI
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10894
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2014). PHAT – Persistent Homology Algorithms Toolbox. In ICMS 2014: International Congress on Mathematical Software (Vol. 8592, pp. 137–143). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_24
View
| Files available
| DOI