Please note that ISTA 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.

3998 Publications


2019 | Journal Article | IST-REx-ID: 7550 | OA
Portinale, Lorenzo, and Ulisse Stefanelli. “Penalization via Global Functionals of Optimal-Control Problems for Dissipative Evolution.” Advances in Mathematical Sciences and Applications, vol. 28, no. 2, Gakko Tosho, 2019, pp. 425–47.
View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8182 | OA
Avvakumov, Sergey, and Sergey Kudrya. “Vanishing of All Equivariant Obstructions and the Mapping Degree.” ArXiv, 1910.12628, arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, Krishnendu, et al. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” Leibniz International Proceedings in Informatics, vol. 140, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6194 | OA
Boccara, Charlotte N., et al. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science, vol. 363, no. 6434, American Association for the Advancement of Science, 2019, pp. 1443–47, doi:10.1126/science.aav4837.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9726
Ucar, Mehmet C., and Reinhard Lipowsky. Supplementary Information - Collective Force Generation by Molecular Motors Is Determined by Strain-Induced Unbinding. American Chemical Society , 2019, doi:10.1021/acs.nanolett.9b04445.s001.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
Sigalova, Olga, et al. Additional File 11 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808772.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, et al. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 25, ACM, 2019, doi:10.1145/3371093.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou, Michael N., et al. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes, vol. 12, 494, BioMed Central, 2019, doi:10.1186/s13104-019-4534-3.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9783 | OA
Sigalova, Olga M., et al. Additional File 10 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808760.v1.
View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications