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. 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
2017 | Published | Conference Paper | IST-REx-ID: 18329
Boyarski A, Bronstein AM, Bronstein MM. Subspace least squares multidimensional scaling. In: International Conference on Scale Space and Variational Methods in Computer Vision. Vol 10302. Springer Nature; 2017:681-693. doi:10.1007/978-3-319-58771-4_54
View
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. Vol 9667. Cham: Springer Nature; 2016:253-264. doi:10.1007/978-3-319-39441-1_23
View
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
View
| DOI
2016 | Published | Book Chapter | IST-REx-ID: 1094
Harada H, Shigemoto R. Immunogold protein localization on grid-glued freeze-fracture replicas. In: High-Resolution Imaging of Cellular Proteins. Vol 1474. Springer; 2016:203-216. doi:10.1007/978-1-4939-6352-2_12
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. In: 25th International Symposium, ISAAC 2014. Vol 8889. Springer Nature; 2014:117-127. doi: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. Parameterized model checking of token-passing systems. In: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:262-281. doi: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. PHAT – Persistent Homology Algorithms Toolbox. In: ICMS 2014: International Congress on Mathematical Software. Vol 8592. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2014:137-143. doi: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. Doomsday equilibria for omega-regular games. In: VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:78-97. doi: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. Persistent homology in image processing. In: Graph-Based Representations in Pattern Recognition. Vol 7877. LNCS. Berlin, Heidelberg: Springer Nature; 2013:182-183. doi:10.1007/978-3-642-38221-5_19
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee K, Chaubal S, Rubin S. How to travel between languages. In: 7th International Conference on Language and Automata Theory and Applications. Vol 7810. LNCS. Berlin, Heidelberg: Springer Nature; 2013:214-225. doi:10.1007/978-3-642-37064-9_20
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi: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. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi: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 MM, Bronstein AM, Horaud RP. Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. In: Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:665–676. doi:10.1007/978-3-642-24785-9_56
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. Deformable shape retrieval by learning diffusion kernels. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:689-700. doi:10.1007/978-3-642-24785-9_58
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass J, Bronstein AM, Bronstein MM. A correspondence-less approach to matching of deformable shapes. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:592-603. doi:10.1007/978-3-642-24785-9_50
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. 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. Springer Nature; 2012:725-736. doi:10.1007/978-3-642-24785-9_61
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. 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. Berlin, Heidelberg: Springer Nature; 2012:580-591. doi:10.1007/978-3-642-24785-9_49
View
| DOI