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.
174 Publications
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: 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
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
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
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda, A., Bronstein, M. M., Bronstein, A. M., & Horaud, R. P. (2012). Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. In Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 665–676). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_56
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo, Y., Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2012). Deformable shape retrieval by learning diffusion kernels. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 689–700). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_58
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass, J., Bronstein, A. M., & Bronstein, M. M. (2012). A correspondence-less approach to matching of deformable shapes. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 592–603). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_50
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman, G., Bronstein, M. M., Bronstein, A. M., Wolf, A., & Kimmel, R. (2012). Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 725–736). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_61
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang, C., Bronstein, M. M., Bronstein, A. M., & Paragios, N. (2012). Discrete minimum distortion correspondence problems for non-rigid shape matching. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 580–591). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_49
View
| DOI