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.

25 Publications


2020 | Conference Paper | IST-REx-ID: 7966   OA
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107. 475–506.
View | DOI | Download (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6163
Biswas R, Largeteau-Skapin G, Zrour R, Andres E. 2019. Rhombic dodecahedron grid—coordinate system and 3D digital object definitions. Lecture Notes in Computer Science. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 11414. 27–37.
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6726
Walter M. 2019. Sampling the integers with low relative error. Progress in Cryptology – AFRICACRYPT 2019. International Conference on Cryptology in AfricaLNCS vol. 11627. 157–180.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes. Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674. 1–12.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. 2019. Strategy representation by decision trees with linear classifiers. 16th International Conference on Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11785. 109–128.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. 2019. Transient memory in gene regulation. 17th International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNCS, vol. 11773. 155–187.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions for specifying and extracting signal features. 19th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757. 292–309.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561. 630–649.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561. 297–314.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7453
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019. Continuous-time models for system design and analysis. Computing and Software Science. , LNCS, vol. 10000. 452–477.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6482
Sun R, Lampert C. 2019. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. GCPR: Conference on Pattern Recognition, LNCS, vol. 11269. 244–259.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7411   OA
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. 2019. Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019. International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 11477. 277–291.
View | DOI | Download (ext.)
 

2018 | Conference Paper | IST-REx-ID: 6941   OA
Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. 2018. SpaceMint: A cryptocurrency based on proofs of space. 22nd International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 10957. 480–499.
View | DOI | Download (ext.)
 

2018 | Conference Paper | IST-REx-ID: 6164
Koshti G, Biswas R, Largeteau-Skapin G, Zrour R, Andres E, Bhowmick P. 2018. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. Lecture Notes in Computer Science. IWCIA: International Workshop on Combinatorial Image Analysis, LNCS, vol. 11255. 82–96.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 5803
Biswas R, Bhowmick P. 2017. Construction of Persistent Voronoi Diagram on 3D Digital Plane. Combinatorial image analysis. IWCIA: International Workshop on Combinatorial Image AnalysisLecture Notes in Computer Science vol. 10256. 93–104.
View | DOI
 

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

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

2016 | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. 2016. On the Connectivity and Smoothness of Discrete Spherical Circles. Combinatorial image analysis. IWCIA: International Workshop on Combinatorial Image AnalysisLecture Notes in Computer Science vol. 9448. 86–100.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. 2016. On Some Local Topological Properties of Naive Discrete Sphere. Computational Topology in Image Context. CTIC: Computational Topology in Image ContextLecture Notes in Computer Science vol. 9667. 253–264.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. 2016. On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing. Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer ImageryLecture Notes in Computer Science vol. 9647. 256–267.
View | DOI
 

Filters and Search Terms

issn=0302-9743

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed