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.

224 Publications


2017 | Published | Conference Paper | IST-REx-ID: 5801
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, and P. Bhowmick, “Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space,” in 20th IAPR International Conference, Vienna, Austria, 2017, vol. 10502, pp. 347–359.
View | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 5802
E. Andres, R. Biswas, and P. Bhowmick, “Digital primitives defined by weighted focal set,” in 20th IAPR International Conference, Vienna, Austria, 2017, vol. 10502, pp. 388–398.
View | DOI
 

2016 | Published | Book Chapter | IST-REx-ID: 1094
H. Harada and R. Shigemoto, “Immunogold protein localization on grid-glued freeze-fracture replicas,” in High-Resolution Imaging of Cellular Proteins, vol. 1474, Springer, 2016, pp. 203–216.
View | DOI
 

2016 | Published | Book Chapter | IST-REx-ID: 5805
N. Sen, R. Biswas, and P. Bhowmick, “On some local topological properties of naive discrete sphere,” in Computational Topology in Image Context, vol. 9667, Cham: Springer Nature, 2016, pp. 253–264.
View | DOI
 

2016 | Published | Book Chapter | IST-REx-ID: 5809
R. Biswas, P. Bhowmick, and V. E. Brimkov, “On the connectivity and smoothness of discrete spherical circles,” in Combinatorial image analysis, vol. 9448, Cham: Springer Nature, 2016, pp. 86–100.
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1927 | OA
G. Fuchsbauer, M. Konstantinov, K. Z. Pietrzak, and V. Rao, “Adaptive security of constrained PRFs,” in 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, 2014, vol. 8874, pp. 82–101.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 10884 | OA
B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 10892
T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” in 25th International Symposium, ISAAC 2014, Jeonju, Korea, 2014, vol. 8889, pp. 117–127.
View | Files available | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 10894
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “PHAT – Persistent Homology Algorithms Toolbox,” in ICMS 2014: International Congress on Mathematical Software, Seoul, South Korea, 2014, vol. 8592, pp. 137–143.
View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 10885 | OA
K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 19995 | OA
K. Chatterjee and R. Ibsen-Jensen, “Strategy complexity of finite-horizon Markov decision processes and simple stochastic games,” in Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic, 2013, vol. 7721, pp. 106–117.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 10897
H. Edelsbrunner, “Persistent homology in image processing,” in Graph-Based Representations in Pattern Recognition, Vienna, Austria, 2013, vol. 7877, pp. 182–183.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 10902
K. Chatterjee, S. Chaubal, and S. Rubin, “How to travel between languages,” in 7th International Conference on Language and Automata Theory and Applications, Bilbao, Spain, 2013, vol. 7810, pp. 214–225.
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 5747 | OA
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2888
T. A. Henzinger, “Quantitative reactive models,” in 15th International Conference on Model Driven Engineering Languages and Systems, Innsbruck, Austria, 2012, vol. 7590, pp. 1–2.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2971
G. Zankl, Y. Haxhimusa, and A. Ion, “Interactive labeling of image segmentation hierarchies,” in 34th DAGM and 36th OAGM Symposium, Graz, Austria, 2012, vol. 7476, pp. 11–20.
View | DOI
 

2012 | Published | Book (Editor) | IST-REx-ID: 18340
A. M. Bruckstein, B. M. ter Haar Romeny, A. Bronstein, and M. M. Bronstein, Eds., Scale Space and Variational Methods in Computer Vision, 1st ed., vol. 6667. Berlin, Heidelberg: Springer Nature, 2012.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18341
C. Wang, M. M. Bronstein, A. M. Bronstein, and N. Paragios, “Discrete minimum distortion correspondence problems for non-rigid shape matching,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 580–591.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18342
J. Pokrass, A. M. Bronstein, and M. M. Bronstein, “A correspondence-less approach to matching of deformable shapes,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 592–603.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18343
A. Kovnatsky, M. M. Bronstein, A. M. Bronstein, and R. Kimmel, “Photometric heat kernel signatures,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 616–627.
View | DOI
 

Filters and Search Terms

eissn=1611-3349

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed