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.

5761 Publications


2020 | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere, Thomas, et al. “Monitoring Event Frequencies.” 28th EACSL Annual Conference on Computer Science Logic, vol. 152, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CSL.2020.20.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7339 | OA
Piriya Ananda Babu, Lashmi, et al. “Microtubule and Actin Differentially Regulate Synaptic Vesicle Cycling to Maintain High-Frequency Neurotransmission.” Journal of Neuroscience, vol. 40, no. 1, Society for Neuroscience, 2020, pp. 131–42, doi:10.1523/JNEUROSCI.1571-19.2019.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec, Josef. A Role of Graphs in Evolutionary Processes. IST Austria, 2020, doi:10.15479/AT:ISTA:7196.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, Elsevier, 2020, p. 100856, doi:10.1016/j.nahs.2020.100856.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7427
Tan, Shutang, et al. “Salicylic Acid Targets Protein Phosphatase 2A to Attenuate Growth in Plants.” Current Biology, vol. 30, no. 3, Cell Press, p. 381–395.e8, doi:10.1016/j.cub.2019.11.058.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications