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.

13 Publications


2019 | Conference Paper | IST-REx-ID: 6163
Rhombic dodecahedron grid—coordinate system and 3D digital object definitions
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, in:, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2019, pp. 27–37.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6482   OA
KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6164
Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, Lecture Notes in Computer Science, Springer, Cham, 2018, pp. 82–96.
View | DOI
 

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) 347–359.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 5802
Digital Primitives Defined by Weighted Focal Set
E. Andres, R. Biswas, P. Bhowmick, 10502 (2017) 388–398.
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, pp. 256–267.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
On Finding Spherical Geodesic Paths and Circles in ℤ3
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.
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
 

2010 | Book Chapter | IST-REx-ID: 5940
Instance Deadlock: A Mystery behind Frozen Programs
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
View | DOI
 

Filters and Search Terms

issn=0302-9743

Search

Filter Publications

Display / Sort

Export / Embed