Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6502 Publications


2020 | Journal Article | IST-REx-ID: 8679
Lechner M, Hasani R, Amini A, Henzinger TA, Rus D, Grosu R. 2020. Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. 2, 642–652.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8680 | OA
Tsai TY-C, Sikora MK, Xia P, Colak-Champollion T, Knaut H, Heisenberg C-PJ, Megason SG. 2020. An adhesion code ensures robust pattern formation during tissue morphogenesis. Science. 370(6512), 113–116.
View | Files available | DOI | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8682 | OA
Browning TD, Boudec PL, Sawin W. The Hasse principle for random Fano hypersurfaces. arXiv, 2006.02356.
View | Files available | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8691 | OA
Koudjinan E. 2020. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 269(6), 4720–4750.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8694 | OA
Golmakani A, Koudjinan E, Luzzatto S, Pilarczyk P. 2020. Rigorous numerics for critical orbits in the quadratic family. Chaos. 30(7), 073143.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications