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.
5767 Publications
2023 | Journal Article | IST-REx-ID: 14401 |
BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
2023 | Journal Article | IST-REx-ID: 14489 |
Microwave-optics entanglement via cavity optomagnomechanics
Z.Y. Fan, L. Qiu, S. Gröblacher, J. Li, Laser and Photonics Reviews 17 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z.Y. Fan, L. Qiu, S. Gröblacher, J. Li, Laser and Photonics Reviews 17 (2023).
2023 | Journal Article | IST-REx-ID: 13097 |
Spinal cords: Symphonies of interneurons across species
A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
2023 | Conference Abstract | IST-REx-ID: 14865 |
Evaluating memory properties in convection schemes using idealised tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S. Sherwood, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
[Published Version]
View
| Files available
| DOI
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S. Sherwood, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
2023 | Conference Abstract | IST-REx-ID: 14866 |
Extreme precipitation in tropical squall lines
S. Abramian, C.J. Muller, C. Risi, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
[Published Version]
View
| Files available
| DOI
S. Abramian, C.J. Muller, C. Risi, in:, EGU General Assembly 2023, European Geosciences Union, 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 | Conference Paper | IST-REx-ID: 12859 |
Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
2023 | Conference Paper | IST-REx-ID: 14921 |
Deep neural collapse is provably optimal for the deep unconstrained features model
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Annual Conference on Neural Information Processing Systems, n.d.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Annual Conference on Neural Information Processing Systems, n.d.
2023 | Conference Paper | IST-REx-ID: 14924 |
Mean-field analysis for heavy ball methods: Dropout-stability, connectivity, and global convergence
D. Wu, V. Kungurtsev, M. Mondelli, in:, Transactions on Machine Learning Research, ML Research Press, 2023.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
D. Wu, V. Kungurtsev, M. Mondelli, in:, Transactions on Machine Learning Research, ML Research Press, 2023.
2023 | Research Data Reference | IST-REx-ID: 14919 |
Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer
T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).
2023 | Thesis | IST-REx-ID: 13107 |
The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12802 |
Large neutral amino acid levels tune perinatal neuronal excitability and survival
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
[Published Version]
View
| Files available
| DOI
| WoS
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
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 | Journal Article | IST-REx-ID: 14949 |
Image retrieval outperforms diffusion models on data augmentation
M. Burg, F. Wenzel, D. Zietlow, M. Horn, O. Makansi, F. Locatello, C. Russell, Journal of Machine Learning Research (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Burg, F. Wenzel, D. Zietlow, M. Horn, O. Makansi, F. Locatello, C. Russell, Journal of Machine Learning Research (2023).
2023 | Preprint | IST-REx-ID: 14946 |
Multi-view causal representation learning with partial observability
D. Yao, D. Xu, S. Lachapelle, S. Magliacane, P. Taslakian, G. Martius, J. von Kügelgen, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Yao, D. Xu, S. Lachapelle, S. Magliacane, P. Taslakian, G. Martius, J. von Kügelgen, F. Locatello, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14952 |
Latent space translation via semantic alignment
V. Maiorca, L. Moschella, A. Norelli, M. Fumero, F. Locatello, E. Rodolà, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Maiorca, L. Moschella, A. Norelli, M. Fumero, F. Locatello, E. Rodolà, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14948 |
Grounded object centric learning
A. Kori, F. Locatello, F.D.S. Ribeiro, F. Toni, B. Glocker, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Kori, F. Locatello, F.D.S. Ribeiro, F. Toni, B. Glocker, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14953 |
Sample complexity bounds for score-matching: Causal discovery and generative modeling
Z. Zhu, F. Locatello, V. Cevher, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Zhu, F. Locatello, V. Cevher, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14954 |
Assumption violations in causal discovery and the robustness of score matching
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14210 |
Leveraging sparse and shared feature activations for disentangled representation learning
M. Fumero, F. Wenzel, L. Zancato, A. Achille, E. Rodolà, S. Soatto, B. Schölkopf, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Fumero, F. Wenzel, L. Zancato, A. Achille, E. Rodolà, S. Soatto, B. Schölkopf, F. Locatello, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14207 |
Rotating features for object discovery
S. Löwe, P. Lippe, F. Locatello, M. Welling, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Löwe, P. Lippe, F. Locatello, M. Welling, ArXiv (n.d.).
2023 | Preprint | IST-REx-ID: 14963 |
Object-centric multiple object tracking
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, 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 | Preprint | IST-REx-ID: 14962 |
Unsupervised open-vocabulary object localization in videos
K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu, T. He, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu, T. He, ArXiv (n.d.).
2023 | Conference Paper | IST-REx-ID: 14958 |
A sparsity principle for partially observable causal representation learning
D. Xu, D. Yao, S. Lachapelle, P. Taslakian, J. von Kügelgen, F. Locatello, S. Magliacane, in:, Causal Representation Learning Workshop at NeurIPS 2023, OpenReview, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
D. Xu, D. Yao, S. Lachapelle, P. Taslakian, J. von Kügelgen, F. Locatello, S. Magliacane, in:, Causal Representation Learning Workshop at NeurIPS 2023, OpenReview, 2023.
2023 | Conference Paper | IST-REx-ID: 14923 |
Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, T. Hou, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, n.d.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, T. Hou, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, n.d.
2023 | Journal Article | IST-REx-ID: 14466 |
Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
2023 | Journal Article | IST-REx-ID: 14687 |
To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition (2023).
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: 14411 |
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
2023 | Book Chapter | IST-REx-ID: 14992 |
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
2023 | Journal Article | IST-REx-ID: 12675 |
The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
2023 | Research Data | IST-REx-ID: 12497 |
Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).
[Published Version]
View
| Files available
| DOI
L.M. Becker, P. Schanda, (2023).
2023 | Research Data | IST-REx-ID: 13126 |
Research data for the publication "Imaging brain tissue architecture across millimeter to nanometer scales"
J.G. Danzl, (2023).
[Published Version]
View
| Files available
| DOI
J.G. Danzl, (2023).
2023 | Research Data | IST-REx-ID: 13116 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version]
View
| Files available
| DOI
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
2023 | Journal Article | IST-REx-ID: 13314 |
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
2023 | Journal Article | IST-REx-ID: 14257 |
Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
2023 | Thesis | IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
2023 | Research Data Reference | IST-REx-ID: 15027 |
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (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 | Journal Article | IST-REx-ID: 14654 |
Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 | Conference Paper | IST-REx-ID: 13139 |
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 | Research Data Reference | IST-REx-ID: 14991 |
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
2023 | Research Data Reference | IST-REx-ID: 14990 |
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Meggendorfer, (2023).
2023 | Conference Paper | IST-REx-ID: 14260 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version]
View
| Files available
| DOI
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
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 Reference | IST-REx-ID: 14994 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2023 | Conference Paper | IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Conference Paper | IST-REx-ID: 14993 |
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.