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 | Conference Paper | IST-REx-ID: 8750 | 
Forets, Marcelo, et al. “Efficient Reachability Analysis of Parametric Linear Hybrid Systems with Time-Triggered Transitions.” 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, 9314994, IEEE, 2020, doi:10.1109/MEMOCODE51338.2020.9314994.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
Geretti, Luca, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8127 |
Gonçalves, Pedro J., et al. “Training Deep Neural Density Estimators to Identify Mechanistic Models of Neural Dynamics.” ELife, vol. 9, e56261, eLife Sciences Publications, 2020, doi:10.7554/eLife.56261.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 7936 |
Royer, Amélie, and Christoph Lampert. “Localizing Grouped Instances for Efficient Detection in Low-Resource Scenarios.” IEEE Winter Conference on Applications of Computer Vision, 1716–1725, IEEE, 2020, doi:10.1109/WACV45572.2020.9093288.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Book Chapter | IST-REx-ID: 8092 |
Royer, Amélie, et al. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” Domain Adaptation for Visual Understanding, edited by Richa Singh et al., Springer Nature, 2020, pp. 33–49, doi:10.1007/978-3-030-30671-7_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6944 |
Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a Multiclass Classifier Operates Outside of Its Specifications.” International Journal of Computer Vision, vol. 128, no. 4, Springer Nature, 2020, pp. 970–95, doi:10.1007/s11263-019-01232-x.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8766
Jeschke, Stefan, et al. “Making Procedural Water Waves Boundary-Aware.” Computer Graphics Forum, vol. 39, no. 8, Wiley, 2020, pp. 47–54, doi:10.1111/cgf.14100.
View
| DOI
| WoS
2020 | Research Data | IST-REx-ID: 8761 |
Guseinov, Ruslan. Supplementary Data for “Computational Design of Cold Bent Glass Façades.” Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8761.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8562 |
Gavriil, Konstantinos, et al. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics, vol. 39, no. 6, 208, Association for Computing Machinery, 2020, doi:10.1145/3414685.3417843.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Research Data | IST-REx-ID: 8375 |
Guseinov, Ruslan. Supplementary Data for “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8375.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 9299 |
Pach, János, et al. “Crossings between Non-Homotopic Edges.” 28th International Symposium on Graph Drawing and Network Visualization, vol. 12590, Springer Nature, 2020, pp. 359–71, doi:10.1007/978-3-030-68766-3_28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7962 |
Pach, János, et al. “Almost All String Graphs Are Intersection Graphs of Plane Convex Sets.” Discrete and Computational Geometry, vol. 63, no. 4, Springer Nature, 2020, pp. 888–917, doi:10.1007/s00454-020-00213-z.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8163 |
Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum Hungarica, vol. 57, no. 2, Akadémiai Kiadó, 2020, pp. 193–99, doi:10.1556/012.2020.57.2.1454.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8787 |
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7684 |
Gridchyn, Igor, et al. “Assembly-Specific Disruption of Hippocampal Replay Leads to Selective Memory Deficit.” Neuron, vol. 106, no. 2, Elsevier, 2020, p. 291–300.e6, doi:10.1016/j.neuron.2020.01.021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 9194 |
Lauk, Nikolai, et al. “Perspectives on Quantum Transduction.” Quantum Science and Technology, vol. 5, no. 2, 020501, IOP Publishing, 2020, doi:10.1088/2058-9565/ab788a.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8142 |
Montesinos López, Juan C., et al. “Phytohormone Cytokinin Guides Microtubule Dynamics during Cell Progression from Proliferative to Differentiated Stage.” The Embo Journal, vol. 39, no. 17, e104238, Embo Press, 2020, doi:10.15252/embj.2019104238.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7695 |
Wang, J., et al. “High Temporal Resolution Reveals Simultaneous Plasma Membrane Recruitment of TPLATE Complex Subunits.” Plant Physiology, vol. 183, no. 3, American Society of Plant Biologists, 2020, pp. 986–97, doi:10.1104/pp.20.00178.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8336 |
Kubiasova, Karolina, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” Nature Communications, vol. 11, 4285, Springer Nature, 2020, doi:10.1038/s41467-020-17949-0.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7875 |
Kopf, Aglaja, et al. “Microtubules Control Cellular Shape and Coherence in Amoeboid Migrating Cells.” The Journal of Cell Biology, vol. 219, no. 6, e201907154, Rockefeller University Press, 2020, doi:10.1083/jcb.201907154.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC