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.
6092 Publications
2020 | Published | Journal Article | IST-REx-ID: 8790 | 
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 4018–29, doi:10.1109/TCAD.2020.3012859.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8383
Alistarh, Dan-Adrian, et al. “Brief Announcement: Why Extension-Based Proofs Fail.” Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56, doi:10.1145/3382734.3405743.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara, Alan M., et al. “Inserting One Edge into a Simple Drawing Is Hard.” Graph-Theoretic Concepts in Computer Science, vol. 12301, Springer Nature, 2020, pp. 325–38, doi:10.1007/978-3-030-60440-0_26.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8536 |
Mondelli, Marco, et al. “Simplified Successive Cancellation Decoding of Polar Codes Has Sublinear Latency.” IEEE International Symposium on Information Theory - Proceedings, vol. 2020–June, 401–406, IEEE, 2020, doi:10.1109/ISIT44484.2020.9174141.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8386 |
Zhang, Ran. Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8386.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 6761 |
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Thesis | IST-REx-ID: 7996 |
Kukucka, Josip. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7996.
[Published Version]
View
| Files available
| DOI
2020 | Published | Book Chapter | IST-REx-ID: 19986 |
Chatterjee, Krishnendu, et al. “Termination Analysis of Probabilistic Programs with Martingales.” Foundations of Probabilistic Programming, Cambridge University Press, 2020, pp. 221–58, doi:10.1017/9781108770750.008.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8755 |
Peruzzo, Matilda, et al. “Surpassing the Resistance Quantum with a Geometric Superinductor.” Physical Review Applied, vol. 14, no. 4, 044055, American Physical Society, 2020, doi:10.1103/PhysRevApplied.14.044055.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7618 |
Pitrik, Jozsef, and Daniel Virosztek. “Quantum Hellinger Distances Revisited.” Letters in Mathematical Physics, vol. 110, no. 8, Springer Nature, 2020, pp. 2039–52, doi:10.1007/s11005-020-01282-0.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6649 |
Benedikter, Niels P., et al. “Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics, vol. 374, Springer Nature, 2020, pp. 2097–2150, doi:10.1007/s00220-019-03505-5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7866 |
Fellner, Klemens, and Michael Kniely. “Uniform Convergence to Equilibrium for a Family of Drift–Diffusion Models with Trap-Assisted Recombination and the Limiting Shockley–Read–Hall Model.” Journal of Elliptic and Parabolic Equations, vol. 6, Springer Nature, 2020, pp. 529–98, doi:10.1007/s41808-020-00068-8.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8586 |
Fäßler, Florian, et al. “3D Printed Cell Culture Grid Holders for Improved Cellular Specimen Preparation in Cryo-Electron Microscopy.” Journal of Structural Biology, vol. 212, no. 3, 107633, Elsevier, 2020, doi:10.1016/j.jsb.2020.107633.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7473 |
Borges Merjane, Carolina, et al. “Functional Electron Microscopy (‘Flash and Freeze’) of Identified Cortical Synapses in Acute Brain Slices.” Neuron, vol. 105, Elsevier, 2020, pp. 992–1006, doi:10.1016/j.neuron.2019.12.022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 9633 |
Confavreux, Basile J., et al. “A Meta-Learning Approach to (Re)Discover Plasticity Rules That Carve a Desired Function into a Neural Network.” Advances in Neural Information Processing Systems, vol. 33, 2020, pp. 16398–408.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Thesis | IST-REx-ID: 8620 |
Morandell, Jasmin. Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8620.
[Published Version]
View
| Files available
| DOI
2020 | Draft | Preprint | IST-REx-ID: 7800 |
Morandell, Jasmin, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of Brain Development.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.01.10.902064 .
[Preprint]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8131 |
Basilico, Bernadette, et al. “Molecular Mechanisms for Targeted ASD Treatments.” Current Opinion in Genetics and Development, vol. 65, no. 12, Elsevier, 2020, pp. 126–37, doi:10.1016/j.gde.2020.06.004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 9160 |
Semerádová, Hana, et al. “All Roads Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal Pathways.” Plant Communications, vol. 1, no. 3, 100048, Elsevier, 2020, doi:10.1016/j.xplc.2020.100048.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7888 |
Schauer, Alexandra, et al. “Zebrafish Embryonic Explants Undergo Genetically Encoded Self-Assembly.” ELife, vol. 9, e55190, eLife Sciences Publications, 2020, doi:10.7554/elife.55190.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC