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.
202 Publications
2018 | Published | Conference Paper | IST-REx-ID: 6164
Koshti, Girish, et al. “Sphere Construction on the FCC Grid Interpreted as Layered Hexagonal Grids in 3D.” 19th International Workshop, vol. 11255, Springer, 2018, pp. 82–96, doi:10.1007/978-3-030-05288-1_7.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 8298
Androulaki, Elli, et al. “Channels: Horizontal Scaling and Confidentiality on Permissioned Blockchains.” Computer Security, vol. 11098, Springer Nature, 2018, pp. 111–31, doi:10.1007/978-3-319-99073-6_6.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18284
Vedula, Sanketh, et al. “High Quality Ultrasonic Multi-Line Transmission through Deep Learning.” First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, vol. 11074, Springer Nature, 2018, pp. 147–55, doi:10.1007/978-3-030-00129-2_17.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18282
Qiu, Qiang, et al. “ForestHash: Semantic Hashing with Shallow Random Forests and Tiny Convolutional Networks.” European Conference on Computer Vision, vol. 11206, no. Part II, Springer Nature, 2018, doi:10.1007/978-3-030-01216-8_27.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 18283
Senouf, Ortal, et al. “High Frame-Rate Cardiac Ultrasound Imaging with Deep Learning.” International Conference on Medical Image Computing and Computer Assisted Intervention, vol. 11070, no. Part 1, Springer Nature, 2018, pp. 126–34, doi:10.1007/978-3-030-00928-1_15.
View
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6941 | 
Park, Sunoo, et al. “SpaceMint: A Cryptocurrency Based on Proofs of Space.” 22nd International Conference on Financial Cryptography and Data Security, vol. 10957, Springer Nature, 2018, pp. 480–99, doi:10.1007/978-3-662-58387-6_26.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 13160 |
Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi:10.1007/978-3-662-54577-5_26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 11772
Henzinger, Monika. “The State of the Art in Dynamic Graph Algorithms.” 44th International Conference on Current Trends in Theory and Practice of Computer Science, vol. 10706, Springer Nature, 2017, pp. 40–44, doi:10.1007/978-3-319-73117-9_3.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 5801
Dwivedi, Shivam, et al. “Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space.” 20th IAPR International Conference, vol. 10502, Springer Nature, 2017, pp. 347–59, doi:10.1007/978-3-319-66272-5_28.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 5802
Andres, Eric, et al. “Digital Primitives Defined by Weighted Focal Set.” 20th IAPR International Conference, vol. 10502, Springer Nature, 2017, pp. 388–98, doi:10.1007/978-3-319-66272-5_31.
View
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 5803
Biswas, Ranita, and Partha Bhowmick. “Construction of Persistent Voronoi Diagram on 3D Digital Plane.” Combinatorial Image Analysis, vol. 10256, Springer Nature, 2017, pp. 93–104, doi:10.1007/978-3-319-59108-7_8.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 12571 |
Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Approximate Vertex Cover and Fractional Matching in O(1) Amortized Update Time.” 19th International Conference on Integer Programming and Combinatorial Optimization, vol. 10328, Springer Nature, 2017, pp. 86–98, doi:10.1007/978-3-319-59250-3_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference (Editor) | IST-REx-ID: 638
Bogomolov, Sergiy, et al., editors. Numerical Software Verification. Vol. 10152, Springer, 2017, doi:10.1007/978-3-319-54292-8.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18330
Alexandroni, Guy, et al. “White Matter Fiber Representation Using Continuous Dictionary Learning.” 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, vol. 10433, no. Part 1, Springer Nature, 2017, pp. 566–74, doi:10.1007/978-3-319-66182-7_65.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18329
Boyarski, Amit, et al. “Subspace Least Squares Multidimensional Scaling.” International Conference on Scale Space and Variational Methods in Computer Vision, vol. 10302, Springer Nature, 2017, pp. 681–93, doi:10.1007/978-3-319-58771-4_54.
View
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 625 |
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 1011 |
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 833 |
Heiss, Teresa, and Hubert Wagner. Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images. Edited by Michael Felsberg et al., vol. 10424, Springer, 2017, pp. 397–409, doi:10.1007/978-3-319-64689-3_32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2016 | Published | Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, et al. “On Some Local Topological Properties of Naive Discrete Sphere.” Computational Topology in Image Context, vol. 9667, Springer Nature, 2016, pp. 253–64, doi:10.1007/978-3-319-39441-1_23.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” Discrete Geometry for Computer Imagery, vol. 9647, Springer Nature, 2016, pp. 256–67, doi:10.1007/978-3-319-32360-2_20.
View
| DOI