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.
1465 Publications
2023 | Journal Article | IST-REx-ID: 12709 | 
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
2023 | Journal Article | IST-REx-ID: 14408 |
Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).
2023 | Conference Paper | IST-REx-ID: 14458 |
SparseGPT: Massive language models can be accurately pruned in one-shot
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
2023 | Journal Article | IST-REx-ID: 14444 |
Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
2023 | Conference Paper | IST-REx-ID: 14516 |
STROBE: Streaming Threshold Random Beacons
D. Beaver, M. Kelkar, K. Lewi, V. Nikolaenko, A. Sonnino, K. Chalkias, E. Kokoris Kogias, L.D. Naurois, A. Roy, in:, 5th Conference on Advances in Financial Technologies, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Beaver, M. Kelkar, K. Lewi, V. Nikolaenko, A. Sonnino, K. Chalkias, E. Kokoris Kogias, L.D. Naurois, A. Roy, in:, 5th Conference on Advances in Financial Technologies, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Journal Article | IST-REx-ID: 14517 |
Compact vacuum-gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, Physical Review Applied 20 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, Physical Review Applied 20 (2023).
2023 | Conference Paper | IST-REx-ID: 14518 |
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
2023 | Journal Article | IST-REx-ID: 14558
Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
View
| DOI
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
2023 | Journal Article | IST-REx-ID: 12747 |
PCYT2-regulated lipid biosynthesis is critical to muscle health and ageing
Cikes D, Elsayad K, Sezgin E, Koitai E, Ferenc T, Orthofer M, Yarwood R, Heinz LX, Sedlyarov V, Darwish-Miranda N, Taylor A, Grapentine S, al-Murshedi F, Abot A, Weidinger A, Kutchukian C, Sanchez C, Cronin SJF, Novatchkova M, Kavirayani A, Schuetz T, Haubner B, Haas L, Hagelkruys A, Jackowski S, Kozlov A, Jacquemond V, Knauf C, Superti-Furga G, Rullman E, Gustafsson T, McDermot J, Lowe M, Radak Z, Chamberlain JS, Bakovic M, Banka S, Penninger JM. 2023. PCYT2-regulated lipid biosynthesis is critical to muscle health and ageing. Nature Metabolism. 5, 495–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
Cikes D, Elsayad K, Sezgin E, Koitai E, Ferenc T, Orthofer M, Yarwood R, Heinz LX, Sedlyarov V, Darwish-Miranda N, Taylor A, Grapentine S, al-Murshedi F, Abot A, Weidinger A, Kutchukian C, Sanchez C, Cronin SJF, Novatchkova M, Kavirayani A, Schuetz T, Haubner B, Haas L, Hagelkruys A, Jackowski S, Kozlov A, Jacquemond V, Knauf C, Superti-Furga G, Rullman E, Gustafsson T, McDermot J, Lowe M, Radak Z, Chamberlain JS, Bakovic M, Banka S, Penninger JM. 2023. PCYT2-regulated lipid biosynthesis is critical to muscle health and ageing. Nature Metabolism. 5, 495–515.
2023 | Thesis | IST-REx-ID: 14547 |
Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 13264 |
Gate-tunable superconductor-semiconductor parametric amplifier
D.T. Phan, P. Falthansl-Scheinecker, U. Mishra, W.M. Strickland, D. Langone, J. Shabani, A.P. Higginbotham, Physical Review Applied 19 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.T. Phan, P. Falthansl-Scheinecker, U. Mishra, W.M. Strickland, D. Langone, J. Shabani, A.P. Higginbotham, Physical Review Applied 19 (2023).
2023 | Journal Article | IST-REx-ID: 14658 |
Spin-charge correlations in finite one-dimensional multiband Fermi systems
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).
2023 | Journal Article | IST-REx-ID: 14660 |
Quantitative Steinitz theorem: A polynomial bound
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).
2023 | Journal Article | IST-REx-ID: 12487 |
Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture
S. Scarpetta, N. Morrisi, C. Mutti, N. Azzi, I. Trippi, R. Ciliento, I. Apicella, G. Messuti, M. Angiolelli, F. Lombardi, L. Parrino, A.E. Vaudano, IScience 26 (2023) 107840.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Scarpetta, N. Morrisi, C. Mutti, N. Azzi, I. Trippi, R. Ciliento, I. Apicella, G. Messuti, M. Angiolelli, F. Lombardi, L. Parrino, A.E. Vaudano, IScience 26 (2023) 107840.
2023 | Journal Article | IST-REx-ID: 12786 |
Modulatory mechanisms of TARP γ8-selective AMPA receptor therapeutics
D. Zhang, R. Lape, S.A. Shaikh, B.K. Kohegyi, J. Watson, O. Cais, T. Nakagawa, I.H. Greger, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D. Zhang, R. Lape, S.A. Shaikh, B.K. Kohegyi, J. Watson, O. Cais, T. Nakagawa, I.H. Greger, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 12838 |
Multiple packing: Lower bounds via infinite constellations
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 69 (2023) 4513–4527.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 69 (2023) 4513–4527.
2023 | Journal Article | IST-REx-ID: 13227 |
Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 13278 |
Magnetic impurity in a one-dimensional few-fermion system
L. Rammelmüller, D. Huber, M. Čufar, J. Brand, H.-W. Hammer, A. Volosniev, SciPost Physics 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Rammelmüller, D. Huber, M. Čufar, J. Brand, H.-W. Hammer, A. Volosniev, SciPost Physics 14 (2023).
2023 | Journal Article | IST-REx-ID: 13974 |
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry (2023).
2023 | Journal Article | IST-REx-ID: 13988 |
Practical limitations of Ethereum’s layer-2
R. Neiheiser, G. Inacio, L. Rech, C. Montez, M. Matos, L. Rodrigues, IEEE Access 11 (2023) 8651–8662.
[Published Version]
View
| Files available
| DOI
| WoS
R. Neiheiser, G. Inacio, L. Rech, C. Montez, M. Matos, L. Rodrigues, IEEE Access 11 (2023) 8651–8662.
2023 | Journal Article | IST-REx-ID: 14246 |
Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
2023 | Journal Article | IST-REx-ID: 14421 |
Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).
2023 | Journal Article | IST-REx-ID: 14434
A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries
R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A. Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials (2023).
View
| DOI
| WoS
| PubMed | Europe PMC
R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A. Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials (2023).
2023 | Journal Article | IST-REx-ID: 14435
A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
View
| DOI
| WoS
| PubMed | Europe PMC
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
2023 | Journal Article | IST-REx-ID: 14445 |
Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
[Published Version]
View
| Files available
| DOI
| WoS
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
2023 | Journal Article | IST-REx-ID: 14665 |
Multiple packing: Lower bounds via error exponents
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).
2023 | Conference Paper | IST-REx-ID: 14691 |
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
2023 | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Journal Article | IST-REx-ID: 14726 |
The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell (2023).
2023 | Journal Article | IST-REx-ID: 12833 |
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
2023 | Journal Article | IST-REx-ID: 14750 |
Local laws for multiplication of random matrices
X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.
2023 | Journal Article | IST-REx-ID: 14756 |
Fully extended r-spin TQFTs
N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.
[Published Version]
View
| Files available
| DOI
N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.
2023 | Journal Article | IST-REx-ID: 14751 |
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
2023 | Journal Article | IST-REx-ID: 14755 |
Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
2023 | Journal Article | IST-REx-ID: 14759 |
Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone
S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
2023 | Journal Article | IST-REx-ID: 14775 |
Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
2023 | Conference Paper | IST-REx-ID: 14768 |
Deterministic clustering in high dimensional spaces: Sketches and approximation
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
2023 | Journal Article | IST-REx-ID: 14844 |
Nonadditivity in interactions between three membrane-wrapped colloidal spheres
A. Azadbakht, B. Meadowcroft, J. Majek, A. Šarić, D.J. Kraft, Biophysical Journal (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Azadbakht, B. Meadowcroft, J. Majek, A. Šarić, D.J. Kraft, Biophysical Journal (n.d.).
2023 | Conference Paper | IST-REx-ID: 14867 |
Constructing Hamilton cycles and perfect matchings efficiently
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
2023 | Journal Article | IST-REx-ID: 13269 |
Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
2023 | Journal Article | IST-REx-ID: 13128 |
An energy decomposition theorem for matrices and related questions
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.
2023 | Journal Article | IST-REx-ID: 14379
Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite
N. Mahato, S. Singh, M. Faisal, T.V.M. Sreekanth, S. Majumder, K. Yoo, J. Kim, Synthetic Metals 299 (2023).
View
| DOI
| WoS
N. Mahato, S. Singh, M. Faisal, T.V.M. Sreekanth, S. Majumder, K. Yoo, J. Kim, Synthetic Metals 299 (2023).
2023 | Journal Article | IST-REx-ID: 14920 |
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
2023 | Preprint | IST-REx-ID: 13312 |
Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14961 |
Shortcuts for causal discovery of nonlinear models by score matching
F. Montagna, N. Noceti, L. Rosasco, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Montagna, N. Noceti, L. Rosasco, F. Locatello, ArXiv (n.d.).
2023 | Journal Article | IST-REx-ID: 14985 |
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version]
View
| Files available
| DOI
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
2023 | Conference Paper | IST-REx-ID: 14989 |
Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
2023 | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Research Data Reference | IST-REx-ID: 14995 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Research Data | IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).