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.
6105 Publications
2019 | Published | Conference Paper | IST-REx-ID: 10190 | 
Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 3, 124, ACM, 2019, doi:10.1145/3360550.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 196 |
Lang, Moritz, and Mikhail Shkolnikov. “Harmonic Dynamics of the Abelian Sandpile.” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 8, National Academy of Sciences, 2019, pp. 2821–30, doi:10.1073/pnas.1812015116.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7108 |
Goaoc, Xavier, et al. “Shellability Is NP-Complete.” Journal of the ACM, vol. 66, no. 3, 21, ACM, 2019, doi:10.1145/3314024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Research Data | IST-REx-ID: 7016 |
Tomanek, Isabella. Data for the Paper “Gene Amplification as a Form of Population-Level Gene Expression Regulation.” Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:7016.
[Published Version]
View
| Files available
| DOI
2019 | Research Data | IST-REx-ID: 7154 |
Guseinov, Ruslan. Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells.” Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:7154.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 7550 |
Portinale, Lorenzo, and Ulisse Stefanelli. “Penalization via Global Functionals of Optimal-Control Problems for Dissipative Evolution.” Advances in Mathematical Sciences and Applications, vol. 28, no. 2, Gakko Tosho, 2019, pp. 425–47.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Draft | Preprint | IST-REx-ID: 7524 |
Deuchert, Andreas, et al. “The Free Energy of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” ArXiv, 1910.03372, doi:10.48550/arXiv.1910.03372.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6759 |
Jelínek, Vít, and Martin Töpfer. “On Grounded L-Graphs and Their Relatives.” Electronic Journal of Combinatorics, vol. 26, no. 3, P3.17, Electronic Journal of Combinatorics, 2019, doi:10.37236/8096.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6989 |
Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–70.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7035 |
Geher, Gyorgy Pal, et al. “Dirac Masses and Isometric Rigidity.” Kyoto RIMS Kôkyûroku, vol. 2125, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 | Published | Conference Paper | IST-REx-ID: 5948 |
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 11388, Springer Nature, 2019, pp. 468–90, doi:10.1007/978-3-030-11245-5_22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 175 |
Browning, Timothy D., and Daniel Loughran. “Sieving Rational Points on Varieties.” Transactions of the American Mathematical Society, vol. 371, no. 8, American Mathematical Society, 2019, pp. 5757–85, doi:10.1090/tran/7514.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7093 |
Huszár, Kristóf, et al. “On the Treewidth of Triangulated 3-Manifolds.” Journal of Computational Geometry, vol. 10, no. 2, Computational Geometry Laborartoy, 2019, pp. 70–98, doi:10.20382/JOGC.V10I2A5.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9839 |
Polechova, Jitka. Data from: Is the Sky the Limit? On the Expansion Threshold of a Species’ Range. Dryad, 2019, doi:10.5061/dryad.5vv37.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 5857 |
Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound.” Discrete Applied Mathematics, vol. 259, no. 4, Elsevier, 2019, pp. 266–231, doi:10.1016/j.dam.2018.12.025.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9805 |
Barton, Nicholas H. Data from: The Consequences of an Introgression Event. Dryad, 2019, doi:10.5061/dryad.2kb6fh4.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 5680
Andalo, Christophe, et al. “Prevalence of Legitimate Pollinators and Nectar Robbers and the Consequences for Fruit Set in an Antirrhinum Majus Hybrid Zone.” Botany Letters, vol. 166, no. 1, Taylor and Francis, 2019, pp. 80–92, doi:10.1080/23818107.2018.1545142.
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 5789 |
Petridou, Nicoletta, et al. “Fluidization-Mediated Tissue Spreading by Mitotic Cell Rounding and Non-Canonical Wnt Signalling.” Nature Cell Biology, vol. 21, Nature Publishing Group, 2019, pp. 169–178, doi:10.1038/s41556-018-0247-4.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 5856 |
Moser, Thomas, and Robert Seiringer. “Energy Contribution of a Point-Interacting Impurity in a Fermi Gas.” Annales Henri Poincare, vol. 20, no. 4, Springer, 2019, pp. 1325–1365, doi:10.1007/s00023-018-00757-0.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 5828 |
Xu, Haibing, et al. “Assembly Responses of Hippocampal CA1 Place Cells Predict Learned Behavior in Goal-Directed Spatial Tasks on the Radial Eight-Arm Maze.” Neuron, vol. 101, no. 1, Elsevier, 2019, p. 119–132.e4, doi:10.1016/j.neuron.2018.11.015.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS