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.




5388 Publications

2022 | Submitted | Preprint | IST-REx-ID: 10792 | OA
Z. Schaaf et al., “WDFY3 cell autonomously controls neuronal migration.” Research Square.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10797 | OA
S. Floreani, F. Redig, and F. Sau, “Orthogonal polynomial duality of boundary driven particle systems and non-equilibrium correlations,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 58, no. 1. Institute of Mathematical Statistics, pp. 220–247, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Thesis | IST-REx-ID: 10799 | OA
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 10802 | OA
N. H. Konstantinov and C. Lampert, “Fairness-aware PAC learning from corrupted data,” Journal of Machine Learning Research, vol. 23. ML Research Press, pp. 1–60, 2022.
[Published Version] View | Files available | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 9955
R. Reyes‐Pinto et al., “Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum,” Journal of Comparative Neurology, vol. 530, no. 2. Wiley, pp. 553–573, 2022.
View | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” Journal of the London Mathematical Society, vol. 105, no. 2. Wiley, pp. 709–764, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Flavors of sequential information flow,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Philadelphia, PA, United States, 2022, vol. 13182, pp. 1–19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12147 | OA
R. Hasani et al., “Closed-form continuous-time neural networks,” Nature Machine Intelligence, vol. 4, no. 11. Springer Nature, pp. 992–1003, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
S. A. Gruenbacher et al., “GoTube: Scalable statistical verification of continuous-depth models,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6. Association for the Advancement of Artificial Intelligence, pp. 6755–6764, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10891
T. A. Henzinger, “Quantitative monitoring of software,” in Software Verification, New Haven, CT, United States, 2022, vol. 13124, pp. 3–6.
View | DOI | WoS
 
2022 | Submitted | Preprint | IST-REx-ID: 11366 | OA
M. Lechner, A. Amini, D. Rus, and T. A. Henzinger, “Revisiting the adversarial robustness-accuracy tradeoff in robot learning,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12010 | OA
A. Brunnbauer et al., “Latent imagination facilitates zero-shot transfer in autonomous racing,” in 2022 International Conference on Robotics and Automation, Philadelphia, PA, United States, 2022, pp. 7513–7520.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12671 | OA
T. Buttress et al., “Histone H2B.8 compacts flowering plant sperm through chromatin phase separation,” Nature, vol. 611, no. 7936. Springer Nature, pp. 614–622, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 12670 | OA
S. He and X. Feng, “DNA methylation dynamics during germline development,” Journal of Integrative Plant Biology, vol. 64, no. 12. Wiley, pp. 2240–2251, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2022 | Published | Conference Paper | IST-REx-ID: 14106 | OA
M. Lohaus, M. Kleindessner, K. Kenthapadi, F. Locatello, and C. Russell, “Are two heads the same as one? Identifying disparate treatment in fair neural networks,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2022, vol. 35, pp. 16548–16562.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2022 | Submitted | Preprint | IST-REx-ID: 14220 | OA
D. Mambelli, F. Träuble, S. Bauer, B. Schölkopf, and F. Locatello, “Compositional multi-object reinforcement learning with linear relation networks,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11182 | OA
J. Kroll, M. J. A. Ruiz-Fernandez, M. B. Braun, J. Merrin, and J. Renkawitz, “Quantifying the probing and selection of microenvironmental pores by motile immune cells,” Current Protocols, vol. 2, no. 4. Wiley, 2022.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10769 | OA
L. Daguerre, G. Torroba, R. A. Medina Ramos, and M. Solís, “Non relativistic quantum field theory: Dynamics and irreversibility,” Anales de la Asociacion Fisica Argentina, vol. 32, no. 4. Asociación Física Argentina, pp. 93–98, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 10945 | OA
M. O. Çoruh, G. Gündüz, Ü. Çolak, and B. Maviş, “pH-dependent coloring of combination effect pigments with anthocyanins from Brassica oleracea var. capitata F. rubra,” Colorants, vol. 1, no. 2. MDPI, pp. 149–164, 2022.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 17084 | OA
O. Aichholzer et al., “Hardness of token swapping on trees,” in 30th Annual European Symposium on Algorithms, Berlin/Potsdam, Germany, 2022, vol. 244.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed