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.
191 Publications
2017 | Published | Conference Paper | IST-REx-ID: 5802
Digital primitives defined by weighted focal set
E. Andres, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 388–398.
View
| DOI
E. Andres, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 388–398.
2017 | Published | Book Chapter | IST-REx-ID: 5803
Construction of persistent Voronoi diagram on 3D digital plane
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2017, pp. 93–104.
View
| DOI
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2017, pp. 93–104.
2017 | Published | Conference Paper | IST-REx-ID: 12571 | 
Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time
S. Bhattacharya, D. Chakrabarty, M. Henzinger, in:, 19th International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2017, pp. 86–98.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, D. Chakrabarty, M. Henzinger, in:, 19th International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2017, pp. 86–98.
2017 | Published | Conference (Editor) | IST-REx-ID: 638
Numerical Software Verification
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
View
| DOI
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
2017 | Published | Conference Paper | IST-REx-ID: 18330
White matter fiber representation using continuous dictionary learning
G. Alexandroni, Y. Podolsky, H. Greenspan, T. Remez, O. Litany, A.M. Bronstein, R. Giryes, in:, 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, Springer Nature, 2017, pp. 566–574.
View
| DOI
G. Alexandroni, Y. Podolsky, H. Greenspan, T. Remez, O. Litany, A.M. Bronstein, R. Giryes, in:, 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, Springer Nature, 2017, pp. 566–574.
2017 | Published | Conference Paper | IST-REx-ID: 18329
Subspace least squares multidimensional scaling
A. Boyarski, A.M. Bronstein, M.M. Bronstein, in:, International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2017, pp. 681–693.
View
| DOI
A. Boyarski, A.M. Bronstein, M.M. Bronstein, in:, International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2017, pp. 681–693.
2017 | Published | Book Chapter | IST-REx-ID: 625 |
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
2016 | Published | 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 Nature, Cham, 2016, pp. 253–264.
View
| DOI
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
2016 | Published | 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 Nature, Cham, 2016, pp. 256–267.
View
| DOI
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
2016 | Published | 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 Nature, Cham, 2016, pp. 86–100.
View
| DOI
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
2016 | Published | Book Chapter | IST-REx-ID: 1094
Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
View
| DOI
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
2015 | Published | Conference Paper | IST-REx-ID: 11773 |
Ad exchange: Envy-free auctions with mediators
O. Ben-Zwi, M. Henzinger, V. Loitzenbauer, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 104–117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Ben-Zwi, M. Henzinger, V. Loitzenbauer, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 104–117.
2015 | Published | Conference Paper | IST-REx-ID: 11774 |
Combinatorial auctions with conflict-based externalities
Y.K. Cheung, M. Henzinger, M. Hoefer, M. Starnberger, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y.K. Cheung, M. Henzinger, M. Hoefer, M. Starnberger, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 230–243.
2015 | Published | Conference Paper | IST-REx-ID: 11785 |
Improved algorithms for decremental single-source reachability on directed graphs
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 725–736.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 725–736.
2015 | Published | Conference Paper | IST-REx-ID: 11786 |
Design of dynamic algorithms via primal-dual method
S. Bhattacharya, M. Henzinger, G.F. Italiano, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 206–218.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M. Henzinger, G.F. Italiano, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 206–218.
2015 | Published | Conference Paper | IST-REx-ID: 11787 |
Finding 2-edge and 2-vertex strongly connected components in quadratic time
M. Henzinger, S. Krinninger, V. Loitzenbauer, in:, 2nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 713–724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, S. Krinninger, V. Loitzenbauer, in:, 2nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 713–724.
2015 | Published | Conference Paper | IST-REx-ID: 11788 |
Online ad assignment with an ad exchange
W. Dvořák, M. Henzinger, in:, 12th International Workshop of Approximation and Online Algorithms, Springer Nature, 2015, pp. 156–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
W. Dvořák, M. Henzinger, in:, 12th International Workshop of Approximation and Online Algorithms, Springer Nature, 2015, pp. 156–167.
2015 | Published | Conference Paper | IST-REx-ID: 1675 |
Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
2014 | Published | Conference Paper | IST-REx-ID: 10892
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.
View
| Files available
| DOI
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.
2014 | Published | Conference Paper | IST-REx-ID: 11789 |
Online bipartite matching with decomposable weights
M. Charikar, M. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Charikar, M. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.