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.

8924 Publications


2020 | Published | Conference Paper | IST-REx-ID: 8191
Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” Annual ACM Symposium on Parallelism in Algorithms and Architectures, no. 7, Association for Computing Machinery, 2020, pp. 37–49, doi:10.1145/3350755.3400213.
View | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” Proceedings of the 30th International Conference on Automated Planning and Scheduling, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View | Files available
 

2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 14891 | OA
Lewin, Mathieu, et al. “ The Local Density Approximation in Density Functional Theory.” Pure and Applied Analysis, vol. 2, no. 1, Mathematical Sciences Publishers, 2020, pp. 35–73, doi:10.2140/paa.2020.2.35.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 15036 | OA
Rosa, Higor Vinícius Dias, et al. “Molecular Recognition at Septin Interfaces: The Switches Hold the Key.” Journal of Molecular Biology, vol. 432, no. 21, Elsevier, 2020, pp. 5784–801, doi:10.1016/j.jmb.2020.09.001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 15037 | OA
Moulinier-Anzola, Jeanette, et al. “TOLs Function as Ubiquitin Receptors in the Early Steps of the ESCRT Pathway in Higher Plants.” Molecular Plant, vol. 13, no. 5, Elsevier, 2020, pp. 717–31, doi:10.1016/j.molp.2020.02.012.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 15055 | OA
Brázdil, Tomáš, et al. “Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes.” Proceedings of the 34th AAAI Conference on Artificial Intelligence, vol. 34, no. 06, Association for the Advancement of Artificial Intelligence, 2020, pp. 9794–801, doi:10.1609/aaai.v34i06.6531.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 15057 | OA
Park, Sangsoon, et al. “VRK-1 Extends Life Span by Activation of AMPK via Phosphorylation.” Science Advances, vol. 6, no. 27, aaw7824, American Association for the Advancement of Science, 2020, doi:10.1126/sciadv.aaw7824.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 15059
Wasiak, Michal, et al. “Compact Millimeter and Submillimeter-Wave Photonic Radiometer for Cubesats.” 14th European Conference on Antennas and Propagation, IEEE, 2020, doi:10.23919/eucap48036.2020.9135962.
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 15061 | OA
Pinotsis, Nikos, et al. “Calcium Modulates the Domain Flexibility and Function of an α-Actinin Similar to the Ancestral α-Actinin.” Proceedings of the National Academy of Sciences, vol. 117, no. 36, Proceedings of the National Academy of Sciences, 2020, pp. 22101–12, doi:10.1073/pnas.1917269117.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 15063 | OA
Cipolloni, Giorgio, et al. “Optimal Lower Bound on the Least Singular Value of the Shifted Ginibre Ensemble.” Probability and Mathematical Physics, vol. 1, no. 1, Mathematical Sciences Publishers, 2020, pp. 101–46, doi:10.2140/pmp.2020.1.101.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 15064 | OA
Bauer, U., et al. “Čech-Delaunay Gradient Flow and Homology Inference for Self-Maps.” Journal of Applied and Computational Topology, vol. 4, no. 4, Springer Nature, 2020, pp. 455–80, doi:10.1007/s41468-020-00058-8.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 15074 | OA
Brandt, Sebastian, et al. “Brief Announcement: Efficient Load-Balancing through Distributed Token Dropping.” 34th International Symposium on Distributed Computing, vol. 179, 40, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.DISC.2020.40.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 15077 | OA
Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” 47th International Colloquium on Automata, Languages, and Programming, vol. 168, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ICALP.2020.7.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 15082 | OA
Aichholzer, Oswin, et al. “Disjoint Tree-Compatible Plane Perfect Matchings.” 36th European Workshop on Computational Geometry, 56, 2020.
[Published Version] View | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 177 | OA
Browning, Timothy D., and Will Sawin. “A Geometric Version of the Circle Method.” Annals of Mathematics, vol. 191, no. 3, Princeton University, 2020, pp. 893–948, doi:10.4007/annals.2020.191.3.4.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 179 | OA
Browning, Timothy D., and Roger Heath Brown. “Density of Rational Points on a Quadric Bundle in ℙ3×ℙ3.” Duke Mathematical Journal, vol. 169, no. 16, Duke University Press, 2020, pp. 3099–165, doi:10.1215/00127094-2020-0031.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 13361 | OA
Grommet, Angela B., et al. “Molecular Photoswitching in Confined Spaces.” Accounts of Chemical Research, vol. 53, no. 11, American Chemical Society, 2020, pp. 2600–10, doi:10.1021/acs.accounts.0c00434.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 13362 | OA
Gemen, Julius, et al. “Modulating the Optical Properties of BODIPY Dyes by Noncovalent Dimerization within a Flexible Coordination Cage.” Journal of the American Chemical Society, vol. 142, no. 41, American Chemical Society, 2020, pp. 17721–29, doi:10.1021/jacs.0c08589.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed