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.
5735 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10054 | 
Chatterjee K, Henzinger M, Kale SS, Svozil A. Faster algorithms for bounded liveness in graphs and game graphs. In: 48th International Colloquium on Automata, Languages, and Programming. Vol 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.ICALP.2021.124
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10055 |
Jecker IR. A Ramsey theorem for finite monoids. In: 38th International Symposium on Theoretical Aspects of Computer Science. Vol 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.STACS.2021.44
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10219 |
Korhonen J, Paz A, Rybicki J, Schmid S, Suomela J. Brief announcement: Sinkless orientation is hard also in the supported LOCAL model. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.58
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10217 |
Alistarh D-A, Gelashvili R, Nadiradze G. Lower bounds for shared-memory leader election under bounded write contention. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.4
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10216 |
Chatterjee B, Peri S, Sa M. Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.52
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9375 |
Meier JI, Salazar PA, Kučka M, et al. Haplotype tagging reveals parallel formation of hybrid races in two butterfly species. Proceedings of the National Academy of Sciences of the United States of America. 2021;118(25). doi:10.1073/pnas.2015005118
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9257 |
Goodrich CP, King EM, Schoenholz SS, Cubuk ED, Brenner MP. Designing self-assembling kinetics with differentiable statistical physics models. Proceedings of the National Academy of Sciences of the United States of America. 2021;118(10). doi:10.1073/pnas.2024083118
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8993 |
Abas L, Kolb M, Stadlmann J, et al. Naphthylphthalamic acid associates with and inhibits PIN auxin transporters. Proceedings of the National Academy of Sciences of the United States of America. 2021;118(1). doi:10.1073/pnas.2020857118
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. In: Proceedings of the 33rd Canadian Conference on Computational Geometry. Canadian Conference on Computational Geometry; 2021.
[Published Version]
View
| Files available
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10565 |
Venturino A, Siegert S. Minimally invasive protocols and quantification for microglia-mediated perineuronal net disassembly in mouse brain. STAR Protocols. 2021;2(4). doi:10.1016/j.xpro.2021.101012
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10573 |
Munjal A, Hannezo EB, Tsai TYC, Mitchison TJ, Megason SG. Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis. Cell. 2021;184(26):6313-6325.e18. doi:10.1016/j.cell.2021.11.025
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10575 |
Abbatiello A, Bulíček M, Maringová E. On the dynamic slip boundary condition for Navier-Stokes-like problems. Mathematical Models and Methods in Applied Sciences. 2021;31(11):2165-2212. doi:10.1142/S0218202521500470
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9928 |
Peruzzo M, Hassani F, Szep G, et al. Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction. PRX Quantum. 2021;2(4):040341. doi:10.1103/PRXQuantum.2.040341
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13057 |
Peruzzo M, Hassani F, Szep G, et al. Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction. 2021. doi:10.5281/ZENODO.5592103
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Thesis | IST-REx-ID: 10030 |
Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030
[Published Version]
View
| Files available
| DOI
2021 | Draft | Preprint | IST-REx-ID: 9792 |
Feliciangeli D, Gerolin A, Portinale L. A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. arXiv. doi:10.48550/arXiv.2106.11217
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9920 |
Peruzzo M. Geometric superinductors and their applications in circuit quantum electrodynamics. 2021. doi:10.15479/at:ista:9920
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10668 |
Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. On-off center-surround receptive fields for accurate and robust image classification. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:478-489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9903 |
Karle V, Serbyn M, Michailidis A. Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. 2021;127(6). doi:10.1103/physrevlett.127.060602
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv