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.

434 Publications


2019 | Journal Article | IST-REx-ID: 8415 | OA
Bálint P, De Simoi J, Kaloshin V, Leguil M. Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards. Communications in Mathematical Physics. 2019;374(3):1531-1575. doi:10.1007/s00220-019-03448-x
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 8416 | OA
Huang G, Kaloshin V. On the finite dimensionality of integrable deformations of strictly convex integrable billiard tables. Moscow Mathematical Journal. 2019;19(2):307-327. doi:10.17323/1609-4514-2019-19-2-307-327
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 8418 | OA
Guardia M, Kaloshin V, Zhang J. Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem. Archive for Rational Mechanics and Analysis. 2019;233(2):799-836. doi:10.1007/s00205-019-01368-7
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8693 | OA
Chierchia L, Koudjinan E. V. I. Arnold’s “pointwise” KAM theorem. Regular and Chaotic Dynamics. 2019;24:583–606. doi:10.1134/S1560354719060017
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Oochi A, Hajny J, Fukui K, et al. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 2019;180(2):1152-1165. doi:10.1104/pp.19.00201
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6752 | OA
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. Journal of the ACM. 2019;66(4). doi:10.1145/3340295
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:374-381. doi:10.1145/3297280.3297319
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Vol 3. ACM; 2019. doi:10.1145/3360555
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 2019;3(POPL). doi:10.1145/3290366
View | Files available | DOI
 

Filters and Search Terms

year=2019

Search

Filter Publications