Please note that IST 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.

9 Publications


2017 | Book Chapter | IST-REx-ID: 5803
Construction of Persistent Voronoi Diagram on 3D Digital Plane
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer International Publishing, Cham, 2017, pp. 93–104.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 5801
Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, P. Bhowmick, 10502 (2017).
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 5802
Digital Primitives Defined by Weighted Focal Set
E. Andres, R. Biswas, P. Bhowmick, 10502 (2017).
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
On the Connectivity and Smoothness of Discrete Spherical Circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer, Cham, 2016, pp. 86–100.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5805
On Some Local Topological Properties of Naive Discrete Sphere
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer International Publishing, Cham, 2016, pp. 253–264.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 5806
On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer International Publishing, Cham, 2016.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810 View | DOI
 

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

2012 | Book Chapter | IST-REx-ID: 5745   OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

Filters and Search Terms

issn=0302-9743

Search

Filter Publications

Display / Sort

Export / Embed