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.

4010 Publications


2018 | Conference Paper | IST-REx-ID: 79 | OA
Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 806
Social immunity: Emergence and evolution of colony-level disease protection
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 81 | OA
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 82 | OA
Leaky resistance and the conditions for the existence of lytic bacteriophage
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83 | OA
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 85 | OA
Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
View | Files available | DOI
 

2018 | Preprint | IST-REx-ID: 8547 | OA
Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
View | DOI | Download Preprint (ext.)
 

2018 | Book Chapter | IST-REx-ID: 86 | OA
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 8618 | OA
Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 442 | OA View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 446 | OA
The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 454 | OA
Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 455 | OA
The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations
N.P. Benedikter, J. Sok, J. Solovej, Annales Henri Poincare 19 (2018) 1167–1214.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 456
Zika-associated microcephaly: Reduce the stress and race for the treatment
G. Novarino, Science Translational Medicine 10 (2018).
View | DOI
 

2018 | Journal Article | IST-REx-ID: 457
Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity
M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 458 | OA
Incircular nets and confocal conics
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 46 | OA
Detection and characterization of many-body localization in central spin models
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 462 | OA
NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development
L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J. Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 47
Transporters and mechanisms of hormone transport in arabidopsis
R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018) 115–138.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 49 | OA
Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications