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.
171 Publications
2020 | Published | Conference Paper | IST-REx-ID: 9299 | 
Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
2020 | Published | Conference Paper | IST-REx-ID: 7966 |
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
2019 | Published | Conference Paper | IST-REx-ID: 7228
Scalable FIFO channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, in:, 25th Anniversary of Euro-Par, Springer Nature, 2019, pp. 317–333.
View
| DOI
| WoS
N. Koval, D.-A. Alistarh, R. Elizarov, in:, 25th Anniversary of Euro-Par, Springer Nature, 2019, pp. 317–333.
2019 | Published | Conference Paper | IST-REx-ID: 18269
Self-supervised learning of inverse problem solvers in medical imaging
O. Senouf, S. Vedula, T. Weiss, A.M. Bronstein, O. Michailovich, M. Zibulevsky, in:, First MICCAI Workshop, DART 2019, and First International Workshop, MIL3ID 2019, Springer International Publishing, 2019, pp. 111–119.
View
| DOI
O. Senouf, S. Vedula, T. Weiss, A.M. Bronstein, O. Michailovich, M. Zibulevsky, in:, First MICCAI Workshop, DART 2019, and First International Workshop, MIL3ID 2019, Springer International Publishing, 2019, pp. 111–119.
2019 | Published | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
| WoS
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 | Published | Conference Paper | IST-REx-ID: 7230 |
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, 27th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2019, pp. 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, 27th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2019, pp. 230–243.
2019 | Published | Conference Paper | IST-REx-ID: 6482 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
2019 | Published | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
View
| DOI
| WoS
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
2019 | Published | Conference Paper | IST-REx-ID: 7231 |
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
2019 | Published | Conference Paper | IST-REx-ID: 7411 |
Reversible proofs of sequential work
Abusalah, Hamza M, Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019 11477. 2019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Abusalah, Hamza M, Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019 11477. 2019
2018 | Published | 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:, 19th International Workshop, Springer, Cham, 2018, pp. 82–96.
View
| DOI
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, 19th International Workshop, Springer, Cham, 2018, pp. 82–96.
2018 | Published | Conference Paper | IST-REx-ID: 18284
High quality ultrasonic multi-line transmission through deep learning
S. Vedula, O. Senouf, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Gaitini, in:, First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Springer Nature, 2018, pp. 147–155.
View
| DOI
S. Vedula, O. Senouf, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Gaitini, in:, First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Springer Nature, 2018, pp. 147–155.
2018 | Published | Conference Paper | IST-REx-ID: 18282
ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks
Q. Qiu, J. Lezama, A.M. Bronstein, G. Sapiro, in:, European Conference on Computer Vision, Springer Nature, 2018.
View
| DOI
Q. Qiu, J. Lezama, A.M. Bronstein, G. Sapiro, in:, European Conference on Computer Vision, Springer Nature, 2018.
2018 | Published | Conference Paper | IST-REx-ID: 18283
High frame-rate cardiac ultrasound imaging with deep learning
O. Senouf, S. Vedula, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Blondheim, in:, International Conference on Medical Image Computing and Computer Assisted Intervention, Springer Nature, 2018, pp. 126–134.
View
| DOI
O. Senouf, S. Vedula, G. Zurakhov, A.M. Bronstein, M. Zibulevsky, O. Michailovich, D. Adam, D. Blondheim, in:, International Conference on Medical Image Computing and Computer Assisted Intervention, Springer Nature, 2018, pp. 126–134.
2018 | Published | Conference Paper | IST-REx-ID: 6941 |
SpaceMint: A cryptocurrency based on proofs of space
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
2017 | Published | Conference Paper | IST-REx-ID: 13160 |
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
2017 | Published | 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, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 347–359.
View
| DOI
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 347–359.
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 | 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.