Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5270 Publications
2020 |Published| Journal Article | IST-REx-ID: 8644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8705 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
2020 |Published| Journal Article | IST-REx-ID: 10861
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
View
| Files available
| DOI
| WoS
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
2020 |Published| Journal Article | IST-REx-ID: 14125 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
SCIM: Universal single-cell matching with unpaired feature sets
Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Stark SG et al. 2020. SCIM: Universal single-cell matching with unpaired feature sets. Bioinformatics. 36(Supplement_2), i919–i927.
2020 |Published| Conference Paper | IST-REx-ID: 14186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A commentary on the unsupervised learning of disentangled representations
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, in:, The 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–13684.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, in:, The 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–13684.
2020 |Published| Conference Paper | IST-REx-ID: 14188 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weakly-supervised disentanglement without compromises
F. Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, M. Tschannen, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 6348–6359.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, M. Tschannen, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 6348–6359.
2020 |Published| Conference Paper | IST-REx-ID: 14187 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stochastic Frank-Wolfe for constrained finite-sum minimization
G. Négiar, G. Dresdner, A. Tsai, L.E. Ghaoui, F. Locatello, R.M. Freund, F. Pedregosa, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 7253–7262.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
G. Négiar, G. Dresdner, A. Tsai, L.E. Ghaoui, F. Locatello, R.M. Freund, F. Pedregosa, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 7253–7262.
2020 |Published| Journal Article | IST-REx-ID: 14195 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A sober look at the unsupervised learning of disentangled representations and their evaluation
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, Journal of Machine Learning Research 21 (2020).
[Published Version]
View
| Download Published Version (ext.)
| arXiv
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, Journal of Machine Learning Research 21 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
2020 |Submitted| Preprint | IST-REx-ID: 8813 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
2020 | Research Data Reference | IST-REx-ID: 9777 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maximizing crosstalk
R. Grah, T. Friedlander, (2020).
View
| Files available
| DOI
| Download None (ext.)
R. Grah, T. Friedlander, (2020).
2020 |Published| Thesis | IST-REx-ID: 8332 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 14326 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Object-centric learning with slot attention
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
2020 |Published| Journal Article | IST-REx-ID: 71 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scaling limits of discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
2020 |Published| Journal Article | IST-REx-ID: 5681 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
2020 |Published| Thesis | IST-REx-ID: 8958 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
2020 |Published| Thesis | IST-REx-ID: 8386 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
2020 |Published| Thesis | IST-REx-ID: 7996 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 8272 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
2020 |Published| Book Chapter | IST-REx-ID: 7572 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.