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.
2902 Publications
2020 | Journal Article | IST-REx-ID: 7563 | 
Inferring symbolic dynamics of chaotic flows from persistence
G. Yalniz, N.B. Budanur, Chaos 30 (2020) 033109.
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Yalniz, N.B. Budanur, Chaos 30 (2020) 033109.
2020 | Journal Article | IST-REx-ID: 7567 |
Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science (2020).
View
| Files available
| DOI
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science (2020).
2020 | Preprint | IST-REx-ID: 7568 |
The topological correctness of the PL-approximation of isomanifolds
J.-D. Boissonnat, M. Wintraecken, EUROCG 2020 (n.d.).
View
| Download Preprint (ext.)
J.-D. Boissonnat, M. Wintraecken, EUROCG 2020 (n.d.).
2020 | Journal Article | IST-REx-ID: 7569 |
The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
View
| Files available
| DOI
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
2020 | Journal Article | IST-REx-ID: 7570 |
Slow quantum thermalization and many-body revivals from mixed phase space
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
View
| Files available
| DOI
| arXiv
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
2020 | Journal Article | IST-REx-ID: 7573 |
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal Des Mathematiques Pures et Appliquees (n.d.).
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal Des Mathematiques Pures et Appliquees (n.d.).
2020 | Journal Article | IST-REx-ID: 7580 |
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
View
| Files available
| DOI
| Download Preprint (ext.)
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
2020 | Journal Article | IST-REx-ID: 7582 |
Molecular evolution and diversification of proteins involved in miRNA maturation pathway
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
2020 | Journal Article | IST-REx-ID: 7586 |
Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal (n.d.).
View
| Files available
| DOI
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal (n.d.).
2020 | Journal Article | IST-REx-ID: 7594 |
How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
View
| Files available
| DOI
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
2020 | Journal Article | IST-REx-ID: 7600 |
The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
2020 | Preprint | IST-REx-ID: 7601 |
Plasmodesmata-like intercellular connections by plant remorin in animal cells
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
View
| Download Preprint (ext.)
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
2020 | Conference Paper | IST-REx-ID: 7605 |
In search of the fastest concurrent union-find algorithm
D.-A. Alistarh, A. Fedorov, N. Koval, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, A. Fedorov, N. Koval, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 7611 |
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics (2020).
View
| DOI
| Download Published Version (ext.)
S.A.E. Rademacher, Letters in Mathematical Physics (2020).
2020 | Journal Article | IST-REx-ID: 7618 |
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
2020 | Journal Article | IST-REx-ID: 7619 |
Arabidopsis flippases cooperate with ARF GTPase exchange factors to regulate the trafficking and polarity of PIN auxin transporters
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
2020 | Journal Article | IST-REx-ID: 7623 |
Modeling adhesion-independent cell migration
G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Jankowiak, D. Peurichard, A. Reversat, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences (2020).
2020 | 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, IST Austria, 2020.
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, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7632 |
Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
View
| Files available
| DOI
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 7634
Exclusive electron transport in Core@Shell PbTe@PbS colloidal semiconductor nanocrystal assemblies
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
View
| DOI
| PubMed | Europe PMC
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
2020 | Conference Paper | IST-REx-ID: 7635
Testing concurrency on the JVM with Lincheck
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
View
| DOI
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
2020 | 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, PPOPP, ACM, 2020, pp. 276–291.
View
| DOI
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 276–291.
2020 | Journal Article | IST-REx-ID: 7637 |
From weakly interacting particles to a regularised Dean-Kawasaki model
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
2020 | Journal Article | IST-REx-ID: 7638 |
Non-equilibrium quantum spin dynamics from classical stochastic processes
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
View
| Files available
| DOI
| arXiv
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
2020 | Journal Article | IST-REx-ID: 7650 |
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
2020 | Journal Article | IST-REx-ID: 7651 |
A developmentally descriptive method for quantifying shape in gastropod shells
J. Larsson, A.M. Westram, S. Bengmark, T. Lundh, R.K. Butlin, Journal of The Royal Society Interface 17 (2020).
View
| Files available
| DOI
J. Larsson, A.M. Westram, S. Bengmark, T. Lundh, R.K. Butlin, Journal of The Royal Society Interface 17 (2020).
2020 | Journal Article | IST-REx-ID: 7656 |
Clustering of neural activity: A design principle for population codes
M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020).
2020 | Journal Article | IST-REx-ID: 7663 |
Wood deformation leads to rearrangement of molecules at the nanoscale
M. Felhofer, P. Bock, A. Singh, B. Prats Mateu, R. Zirbs, N. Gierlinger, Nano Letters 20 (2020) 2647–2653.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Felhofer, P. Bock, A. Singh, B. Prats Mateu, R. Zirbs, N. Gierlinger, Nano Letters 20 (2020) 2647–2653.
2020 | Journal Article | IST-REx-ID: 7664 |
Density of GABAB receptors is reduced in granule cells of the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, R. Shigemoto, Y. Fukazawa, R. Luján, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, R. Shigemoto, Y. Fukazawa, R. Luján, International Journal of Molecular Sciences 21 (2020).
2020 | Journal Article | IST-REx-ID: 7665 |
Advantages of acute brain slices prepared at physiological temperature in the characterization of synaptic functions
K. Eguchi, P. Velicky, E. Hollergschwandtner, M. Itakura, Y. Fukazawa, J.G. Danzl, R. Shigemoto, Frontiers in Cellular Neuroscience 14 (2020).
View
| Files available
| DOI
K. Eguchi, P. Velicky, E. Hollergschwandtner, M. Itakura, Y. Fukazawa, J.G. Danzl, R. Shigemoto, Frontiers in Cellular Neuroscience 14 (2020).
2020 | Journal Article | IST-REx-ID: 7666 |
Tri-partitions and bases of an ordered complex
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry (2020).
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry (2020).
2020 | Preprint | IST-REx-ID: 7675 |
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
View
| Files available
| Download Preprint (ext.)
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
2020 | Thesis | IST-REx-ID: 7680
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
View
| Files available
| DOI
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7683 |
Cohomological Hall algebras for Higgs torsion sheaves, moduli of triples and sheaves on surfaces
S. Minets, Selecta Mathematica, New Series 26 (2020).
View
| Files available
| DOI
| arXiv
S. Minets, Selecta Mathematica, New Series 26 (2020).
2020 | Journal Article | IST-REx-ID: 7684
Assembly-specific disruption of hippocampal replay leads to selective memory deficit
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, Neuron 106 (2020) 291–300.e6.
View
| Files available
| DOI
| PubMed | Europe PMC
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, Neuron 106 (2020) 291–300.e6.
2020 | Journal Article | IST-REx-ID: 7685 |
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics (2020) 2060006.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Boccato, Reviews in Mathematical Physics (2020) 2060006.
2020 | Journal Article | IST-REx-ID: 7686
Neo-gibberellin signaling: Guiding the next generation of the green revolution
H. Xue, Y. Zhang, G. Xiao, Trends in Plant Science (2020).
View
| DOI
H. Xue, Y. Zhang, G. Xiao, Trends in Plant Science (2020).
2020 | Research Data | IST-REx-ID: 7689 |
Supplementary data for "Zero field splitting of heavy-hole states in quantum dots"
G. Katsaros, Supplementary Data for “Zero Field Splitting of Heavy-Hole States in Quantum Dots,” IST Austria, 2020.
View
| Files available
| DOI
G. Katsaros, Supplementary Data for “Zero Field Splitting of Heavy-Hole States in Quantum Dots,” IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7695 |
High temporal resolution reveals simultaneous plasma membrane recruitment of TPLATE complex subunits
J. Wang, E. Mylle, A.J. Johnson, N. Besbrugge, G. De Jaeger, J. Friml, R. Pleskot, D. van Damme, Plant Physiology (2020).
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
J. Wang, E. Mylle, A.J. Johnson, N. Besbrugge, G. De Jaeger, J. Friml, R. Pleskot, D. van Damme, Plant Physiology (2020).
2020 | Journal Article | IST-REx-ID: 7697 |
Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Zhang, C. Hartinger, X. Wang, J. Friml, New Phytologist (2020).
2020 | Journal Article | IST-REx-ID: 7788 |
NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).
2020 | Journal Article | IST-REx-ID: 7789 |
Defining the design principles of skin epidermis postnatal growth
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
2020 | Journal Article | IST-REx-ID: 7790 |
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
View
| Files available
| DOI
| arXiv
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
2020 | Journal Article | IST-REx-ID: 7791 |
When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics (2020).
View
| Files available
| DOI
| arXiv
A. Akopyan, R. Karasev, European Journal of Mathematics (2020).
2020 | Journal Article | IST-REx-ID: 7793 |
Direct ETTIN-auxin interaction controls chromatin states in gynoecium development
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
2020 | Conference Paper | IST-REx-ID: 7802 |
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.
2020 | Journal Article | IST-REx-ID: 7804 |
MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
View
| Files available
| DOI
S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
2020 | 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.
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 | Conference Paper | IST-REx-ID: 7807 |
Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
2020 | Conference Paper | IST-REx-ID: 7808 |
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View
| Files available
| DOI
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.