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.
182 Publications
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: 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
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.)
| WoS
| arXiv
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: 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
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 1927 |
Fuchsbauer, G., Konstantinov, M., Pietrzak, K. Z., & Rao, V. (2014). Adaptive security of constrained PRFs. In 20th International Conference on the Theory and Application of Cryptology and Information Security (Vol. 8874, pp. 82–101). Kaoshiung, Taiwan, China: Springer Nature. https://doi.org/10.1007/978-3-662-45608-8_5
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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
| WoS
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
2013 | Published | Conference Paper | IST-REx-ID: 10897
Edelsbrunner, H. (2013). Persistent homology in image processing. In Graph-Based Representations in Pattern Recognition (Vol. 7877, pp. 182–183). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-38221-5_19
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee, K., Chaubal, S., & Rubin, S. (2013). How to travel between languages. In 7th International Conference on Language and Automata Theory and Applications (Vol. 7810, pp. 214–225). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-37064-9_20
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View
| Files available
| DOI