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.

4133 Publications


2018 | Conference Paper | IST-REx-ID: 81 | OA
Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 76 | OA
Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 530 | OA
Edelsbrunner H, Iglesias Ham M. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 2018;68:119-133. doi:10.1016/j.comgeo.2017.06.014
[Preprint] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 307 | OA
Redchenko E, Makarov A, Yudson V. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(4). doi:10.1103/PhysRevA.97.043812
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 279 | OA
Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. 2018;19. doi:10.1186/s13059-018-1434-0
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 145 | OA
Truckenbrodt SM, Viplav A, Jähne S, et al. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. 2018;37(15). doi:10.15252/embj.201798044
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 462 | OA
Fan L, Zhao L, Hu W, et al. NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development. Plant, Cell and Environment. 2018;41:850-864. doi:10.1111/pce.13153
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 519 | OA
Altmeyer S. Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. 2018;452:427-441. doi:10.1016/j.jmmm.2017.12.073
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang M, Fu H, Chatterjee K. New approaches for almost-sure termination of probabilistic programs. In: Ryu S, ed. Vol 11275. Springer; 2018:181-201. doi:10.1007/978-3-030-02768-1_11
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 9812 | OA
Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. 2018. doi:10.6084/m9.figshare.6401414.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications