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.

4895 Publications


2018 | Conference Paper | IST-REx-ID: 297 | OA
Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 141 | OA
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 298 | OA
Sustained space complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 36 | OA
Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms
L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, I. De Smet, Journal of Experimental Botany 69 (2018) 4609–4624.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 326 | OA
Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices
K. Sawada, R. Kawakami, R. Shigemoto, T. Nemoto, European Journal of Neuroscience 47 (2018) 1033–1042.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 5770 | OA
Structure and architecture of immature and mature murine leukemia virus capsids
K. Qu, B. Glass, M. Doležal, F.K. Schur, B. Murciano, A. Rein, M. Rumlová, T. Ruml, H.-G. Kräusslich, J.A.G. Briggs, Proceedings of the National Academy of Sciences 115 (2018) E11751–E11760.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 608 | OA
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 705
Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes
A. Miklosi, G. Del Favero, T. Bulat, H. Höger, R. Shigemoto, D. Marko, G. Lubec, Molecular Neurobiology 55 (2018) 4857 – 4869.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 148 | OA
The Chara genome: Secondary complexity and implications for plant terrestrialization
Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 403 | OA
The cyclin‐dependent kinase G group defines a thermo‐sensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A
N. Cavallari, C. Nibau, A. Fuchs, D. Dadarou, A. Barta, J. Doonan, The Plant Journal 94 (2018) 1010–1022.
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 156 | OA
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 104 | OA
The core effector Cce1 is required for early infection of maize by Ustilago maydis
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 40 | OA
The consequences of an introgression event
N.H. Barton, Molecular Ecology 27 (2018) 4973–4975.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5861 | OA
The cell sets the tone
J.H. Alanko, M.K. Sixt, ELife 7 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 147 | OA
The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes
U. Kania, T. Nodzyński, Q. Lu, G.R. Hicks, W. Nerinckx, K. Mishev, F. Peurois, J. Cherfils, R.R.M. De, P. Grones, S. Robert, E. Russinova, J. Friml, The Plant Cell 30 (2018) 2553–2572.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 146 | OA
The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling
C.L. Shi, D. von Wangenheim, U. Herrmann, M. Wildhagen, I. Kulik, A. Kopf, T. Ishida, V. Olsson, M.K. Anker, M. Albert, M.A. Butenko, G. Felix, S. Sawa, M. Claassen, J. Friml, R.B. Aalen, Nature Plants 4 (2018) 596–604.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 293 | OA
The signal-burying game can explain why we obscure positive traits and good deeds
M. Hoffman, C. Hilbe, M. Nowak, Nature Human Behaviour 2 (2018) 397–404.
[Submitted Version] View | Files available | DOI | WoS
 

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.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 314 | OA
The science of living matter for tomorrow
G. Bauer, N. Fakhri, A. Kicheva, J. Kondev, K. Kruse, H. Noji, D. Riveline, T. Saunders, M. Thatta, E. Wieschaus, Cell Systems 6 (2018) 400–402.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 565 | OA
The spread of an inversion with migration and selection
B. Charlesworth, N.H. Barton, Genetics 208 (2018) 377–382.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications