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: 9200 | OA
Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10206 | OA
A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: active monitoring of neural networks,” in 21st International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 42–61.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Technical Report | IST-REx-ID: 9946 | OA
F. Mühlböck and T. A. Henzinger, Differential monitoring. IST Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Submitted | Preprint | IST-REx-ID: 9281 | OA
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10327 | OA
M. Li et al., “PbS–Pb–CuxS composites for thermoelectric application,” ACS Applied Materials and Interfaces, vol. 13, no. 43. American Chemical Society , pp. 51373–51382, 2021.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 9441 | OA
J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations,” in 37th International Symposium on Computational Geometry (SoCG 2021), Virtual, 2021, vol. 189, p. 17:1-17:16.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 8253 | OA
F. Zenke and T. P. Vogels, “The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks,” Neural Computation, vol. 33, no. 4. MIT Press, pp. 899–925, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9410 | OA
M. Lagator, H. Uecker, and P. Neve, “Adaptation at different points along antibiotic concentration gradients,” Biology letters, vol. 17, no. 5. Royal Society of London, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10184 | OA
T. Alderighi, L. Malomo, B. Bickel, P. Cignoni, and N. Pietroni, “Volume decomposition for two-piece rigid casting,” ACM Transactions on Graphics, vol. 40, no. 6. Association for Computing Machinery, 2021.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9376 | OA
R. Zhang, T. Auzinger, and B. Bickel, “Computational design of planar multistable compliant structures,” ACM Transactions on Graphics, vol. 40, no. 5. Association for Computing Machinery, 2021.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9408 | OA
Feng, Xudong, Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics 27 (6). 2021
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9547 | OA
T. Rittig et al., “Neural acceleration of scattering-aware color 3D printing,” Computer Graphics Forum, vol. 40, no. 2. Wiley, pp. 205–219, 2021.
[Submitted Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9241 | OA
O. Elek et al., “Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing,” Optics Express, vol. 29, no. 5. The Optical Society, pp. 7568–7588, 2021.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9602 | OA
J. Pach and I. Tomon, “Erdős-Hajnal-type results for monotone paths,” Journal of Combinatorial Theory. Series B, vol. 151. Elsevier, pp. 21–37, 2021.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 10204 | OA
G. F. Osang, H. Edelsbrunner, and M. Saadatfar, “Topological signatures and stability of hexagonal close packing and Barlow stackings,” Soft Matter, vol. 17, no. 40. Royal Society of Chemistry , pp. 9107–9115, 2021.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9642 | OA
A. Venturino et al., “Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain,” Cell Reports, vol. 36, no. 1. Elsevier, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10655 | OA
M. E. Maes, G. M. Wögenstein, G. Colombo, R. Casado Polanco, and S. Siegert, “Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment,” Molecular Therapy - Methods and Clinical Development, vol. 23. Elsevier, pp. 210–224, 2021.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9368 | OA
W. Kong et al., “mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth,” Plant Physiology, vol. 186, no. 4. American Society of Plant Biologists, pp. 2003–2020, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 8742 | OA
T. D. Browning and R. Heath-Brown, “The geometric sieve for quadrics,” Forum Mathematicum, vol. 33, no. 1. De Gruyter, pp. 147–165, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9618 | OA
D. Bluvstein et al., “Controlling quantum many-body dynamics in driven Rydberg atom arrays,” Science, vol. 371, no. 6536. AAAS, pp. 1355–1359, 2021.
[Preprint] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed