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.
5872 Publications
2020 | Published | Journal Article | IST-REx-ID: 8320
Expanding the genetic code: Unnatural base pairs in biological systems
Mukba, S. A., Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology 54 (4). 2020
View
| Files available
| DOI
| WoS
Mukba, S. A., Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology 54 (4). 2020
2020 | Published | Journal Article | IST-REx-ID: 8321
Expanding the genetic code: Unnatural base pairs in biological systems
Mukba, S. A., Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia 54 (4). 2020
View
| Files available
| DOI
| PubMed | Europe PMC
Mukba, S. A., Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia 54 (4). 2020
2020 | Research Data Reference | IST-REx-ID: 13073 | 
How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels
A. Simon, C. Fraisse, T. El Ayari, C. Liautard-Haag, P. Strelkov, J. Welch, N. Bierne, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Simon, C. Fraisse, T. El Ayari, C. Liautard-Haag, P. Strelkov, J. Welch, N. Bierne, (2020).
2020 | Published | Journal Article | IST-REx-ID: 8581
Cryo-EM structure of the entire mammalian F-type ATP synthase
Pinke, Gergely, Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology 27 (11). 2020
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Pinke, Gergely, Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology 27 (11). 2020
2020 | Published | Journal Article | IST-REx-ID: 8672 |
Abscission couples cell division to embryonic stem cell fate
Chaigne, Agathe, Abscission couples cell division to embryonic stem cell fate. Developmental Cell 55 (2). 2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Chaigne, Agathe, Abscission couples cell division to embryonic stem cell fate. Developmental Cell 55 (2). 2020
2020 | Published | Journal Article | IST-REx-ID: 5681 |
Simulating liquids on dynamically warping grids
Hikaru, Ibayashi, Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics 26 (6). 2020
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Hikaru, Ibayashi, Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics 26 (6). 2020
2020 | Published | Journal Article | IST-REx-ID: 8944 |
Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field
Zemlicka, Martin, Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B 102 (18). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Zemlicka, Martin, Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B 102 (18). 2020
2020 | Published | Journal Article | IST-REx-ID: 8957
Apical relaxation during mitotic rounding promotes tension-oriented cell division
Godard, Benoit G, Apical relaxation during mitotic rounding promotes tension-oriented cell division. Developmental Cell 55 (6). 2020
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Godard, Benoit G, Apical relaxation during mitotic rounding promotes tension-oriented cell division. Developmental Cell 55 (6). 2020
2020 | Published | Conference Paper | IST-REx-ID: 7605 |
In search of the fastest concurrent union-find algorithm
Alistarh, Dan-Adrian, In search of the fastest concurrent union-find algorithm. 23rd International Conference on Principles of Distributed Systems 153. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
Alistarh, Dan-Adrian, In search of the fastest concurrent union-find algorithm. 23rd International Conference on Principles of Distributed Systems 153. 2020
2020 | Published | Journal Article | IST-REx-ID: 7488 |
Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes
Latorre-Pellicer, Ana, Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes. International Journal of Molecular Sciences 21 (3). 2020
[Published Version]
View
| Files available
| DOI
| WoS
Latorre-Pellicer, Ana, Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes. International Journal of Molecular Sciences 21 (3). 2020
2020 | Published | Journal Article | IST-REx-ID: 7428 |
Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors
Ghazaryan, Areg, Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors. Physical Review B 101 (2). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Ghazaryan, Areg, Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors. Physical Review B 101 (2). 2020
2020 | Published | Conference Paper | IST-REx-ID: 7990 |
Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips)
Wagner, Uli, Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry 164. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
Wagner, Uli, Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry 164. 2020
2020 | Published | Conference Paper | IST-REx-ID: 7989 |
Bounding radon number via Betti numbers
Patakova, Zuzana, Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry 164. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
Patakova, Zuzana, Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry 164. 2020
2020 | Published | Conference Paper | IST-REx-ID: 7992 |
Barycentric cuts through a convex body
Patakova, Zuzana, Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry 164. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
Patakova, Zuzana, Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry 164. 2020
2020 | Published | Journal Article | IST-REx-ID: 7942 |
Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
Hartstein, Máté, Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors. Nature Physics 16. 2020
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Hartstein, Máté, Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors. Nature Physics 16. 2020
2020 | Published | Journal Article | IST-REx-ID: 8042 |
The excitation spectrum of Bose gases interacting through singular potentials
Boccato, Chiara, The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society 22 (7). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Boccato, Chiara, The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society 22 (7). 2020
2020 | Research Data Reference | IST-REx-ID: 9708 |
Accompanying dataset for 'Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors'
M. Hartstein, Y.-T. Hsu, K.A. Modic, J. Porras, T. Loew, M. Le Tacon, H. Zuo, J. Wang, Z. Zhu, M. Chan, R. McDonald, G. Lonzarich, B. Keimer, S. Sebastian, N. Harrison, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Hartstein, Y.-T. Hsu, K.A. Modic, J. Porras, T. Loew, M. Le Tacon, H. Zuo, J. Wang, Z. Zhu, M. Chan, R. McDonald, G. Lonzarich, B. Keimer, S. Sebastian, N. Harrison, (2020).
2020 | Published | Journal Article | IST-REx-ID: 7205 |
Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
Johannesson, Kerstin, Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?. Journal of Evolutionary Biology 33 (3). 2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Johannesson, Kerstin, Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?. Journal of Evolutionary Biology 33 (3). 2020
2020 | Published | Journal Article | IST-REx-ID: 8268 |
Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
Gurel, Nezihe Merve, Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing 68. 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Gurel, Nezihe Merve, Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing 68. 2020
2020 | Published | Journal Article | IST-REx-ID: 8319 |
Retrieval of cavity-generated atomic spin squeezing after free-space release
Wu, Yunfan, Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A 102 (1). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Wu, Yunfan, Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A 102 (1). 2020
2020 | Published | Journal Article | IST-REx-ID: 7219
Adaptive growth: Shaping auxin-mediated root system architecture
Xiao, Guanghui, Adaptive growth: Shaping auxin-mediated root system architecture. Trends in Plant Science 25 (2). 2020
View
| DOI
| WoS
| PubMed | Europe PMC
Xiao, Guanghui, Adaptive growth: Shaping auxin-mediated root system architecture. Trends in Plant Science 25 (2). 2020
2020 | Published | Conference Paper | IST-REx-ID: 10556 |
Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures
Kokoris Kogias, Eleftherios, Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
Kokoris Kogias, Eleftherios, Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. 2020
2020 | Published | Conference Paper | IST-REx-ID: 8536 |
Simplified successive cancellation decoding of polar codes has sublinear latency
Mondelli, Marco, Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings 2020-June. 2020
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Mondelli, Marco, Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings 2020-June. 2020
2020 | Published | Conference Paper | IST-REx-ID: 7806 |
Embeddability of simplicial complexes is undecidable
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
2020 | Published | Conference Paper | IST-REx-ID: 7991 |
Homotopic curve shortening and the affine curve-shortening flow
Avvakumov, Sergey, Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry 164. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
Avvakumov, Sergey, Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry 164. 2020
2020 | Published | Journal Article | IST-REx-ID: 6563 |
Are two given maps homotopic? An algorithmic viewpoint
Filakovský, Marek, Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics 20. 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Filakovský, Marek, Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics 20. 2020
2020 | Published | Conference Paper | IST-REx-ID: 8703 |
Generalizing CGAL periodic Delaunay triangulations
Osang, Georg F, Generalizing CGAL periodic Delaunay triangulations. 28th Annual European Symposium on Algorithms 173. 2020
[Published Version]
View
| Files available
| DOI
Osang, Georg F, Generalizing CGAL periodic Delaunay triangulations. 28th Annual European Symposium on Algorithms 173. 2020
2020 | Published | Journal Article | IST-REx-ID: 6906 |
Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Communications in Mathematical Physics 376 (2020) 1311–1395.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Communications in Mathematical Physics 376 (2020) 1311–1395.
2020 | Published | Journal Article | IST-REx-ID: 8134 |
The free energy of the two-dimensional dilute Bose gas. II. Upper bound
Mayer, Simon, The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics 61 (6). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Mayer, Simon, The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics 61 (6). 2020
2020 | Published | Journal Article | IST-REx-ID: 7004 |
Cohomological Hall algebras, vertex algebras and instantons
M. Rapcak, Y. Soibelman, Y. Yang, G. Zhao, Communications in Mathematical Physics 376 (2020) 1803–1873.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Rapcak, Y. Soibelman, Y. Yang, G. Zhao, Communications in Mathematical Physics 376 (2020) 1803–1873.
2020 | Published | Journal Article | IST-REx-ID: 7940 |
The PBW theorem for affine Yangians
Yang, Yaping, The PBW theorem for affine Yangians. Transformation Groups 25. 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Yang, Yaping, The PBW theorem for affine Yangians. Transformation Groups 25. 2020
2020 | Published | Journal Article | IST-REx-ID: 8765 |
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
2020 | Published | Journal Article | IST-REx-ID: 8385 |
Homogenized yarn-level cloth
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Published | Thesis | IST-REx-ID: 7629 |
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020.
2020 | Published | Book Chapter | IST-REx-ID: 74 |
Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
Akopyan, Arseniy, Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures. Geometric Aspects of Functional Analysis 2256. 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Akopyan, Arseniy, Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures. Geometric Aspects of Functional Analysis 2256. 2020
2020 | Published | Preprint | IST-REx-ID: 7675 |
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
2020 | Published | Journal Article | IST-REx-ID: 7909 |
Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 15074 |
Brief announcement: Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8220 |
Stem cell lineage survival as a noisy competition for niche access
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.
2020 | Published | Journal Article | IST-REx-ID: 8077 |
Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
2020 | Published | Journal Article | IST-REx-ID: 6593 |
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
2020 | Published | Conference Paper | IST-REx-ID: 8725 |
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
2020 | Published | Conference Paper | IST-REx-ID: 8722 |
Taming unbalanced training workloads in deep learning with partial collective operations
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
2020 | Published | Conference Paper | IST-REx-ID: 7636 |
Non-blocking interpolation search trees with doubly-logarithmic running time
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 276–291.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 276–291.
2020 | Published | Conference Paper | IST-REx-ID: 15086 |
Adaptive gradient quantization for data-parallel SGD
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, A. Ramezani-Kebrya, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, A. Ramezani-Kebrya, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8272 |
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 | Conference Paper | IST-REx-ID: 7955 |
Approximating values of generalized-reachability stochastic games
Ashok, Pranav, Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . 2020
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Ashok, Pranav, Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . 2020
2020 | Published | Conference Paper | IST-REx-ID: 10673 |
A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
2020 | Published | Conference Paper | IST-REx-ID: 10672 |
Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.