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.

4521 Publications


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 | WoS
 

2018 | Journal Article | IST-REx-ID: 76 | OA
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 530 | OA
Multiple covers with balls I: Inclusion–exclusion
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
View | Files available | DOI | WoS
 

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

2018 | Journal Article | IST-REx-ID: 279 | OA
Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, Genome Biology 19 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 145 | OA
Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission
S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).
View | Files available | DOI | WoS | PubMed | Europe PMC
 

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 | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 519 | OA
Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow
S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.
View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
New approaches for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 546
Neural stem cells in neuropsychiatric disorders
R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138.
View | DOI | WoS
 

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

2018 | Research Data Reference | IST-REx-ID: 9811 | OA
Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 292 | OA
Nonlinear decoding of a complex movie from the mammalian retina
V. Botella Soler, S. Deny, G.S. Martius, O. Marre, G. Tkačik, PLoS Computational Biology 14 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 20 | OA
Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, BMC Genomics 19 (2018).
View | Files available | DOI | WoS
 

2018 | Research Data | IST-REx-ID: 5584 | OA
Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 107 | OA
Non-malleable codes
S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).
View | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 5676 | OA
Occluding junctions as novel regulators of tissue mechanics during wound repair
L. Carvalho, P. Patricio, S. Ponte, C.-P.J. Heisenberg, L. Almeida, A.S. Nunes, N.A.M. Araújo, A. Jacinto, Journal of Cell Biology 217 (2018) 4267–4283.
View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 19 | OA
Nonoptimal gene expression creates latent potential for antibiotic resistance
A. Palmer, R.P. Chait, R. Kishony, Molecular Biology and Evolution 35 (2018) 2669–2684.
View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Research Data Reference | IST-REx-ID: 9807 | OA
Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
View | Files available | DOI | Download Published Version (ext.)
 

2018 | Research Data Reference | IST-REx-ID: 9808 | OA
Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
View | Files available | DOI | Download Published Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 193 | OA
On the memory hardness of data independent password hashing functions
J.F. Alwen, P. Gazi, C. Kamath Hosdurg, K. Klein, G.F. Osang, K.Z. Pietrzak, L. Reyzin, M. Rolinek, M. Rybar, in:, Proceedings of the 2018 on Asia Conference on Computer and Communication Security, ACM, 2018, pp. 51–65.
View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Conference Paper | IST-REx-ID: 300 | OA
On the bit security of cryptographic primitives
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 312 | OA
On the optimality of the FCC lattice for soft sphere packing
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 409 | OA
On the number of non-hexagons in a planar tiling
A. Akopyan, Comptes Rendus Mathematique 356 (2018) 412–414.
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 419 | OA
Partners and rivals in direct reciprocity
C. Hilbe, K. Chatterjee, M. Nowak, Nature Human Behaviour 2 (2018) 469–477.
View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 78 | OA
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 317 | OA
Palladium gates for reproducible quantum dots in silicon
M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports 8 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 194 | OA
Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity
Z. Liutkeviciute, E. Gil Mansilla, T. Eder, B.E. Casillas Perez, M. Giulia Di Giglio, E. Muratspahić, F. Grebien, T. Rattei, M. Muttenthaler, S. Cremer, C. Gruber, The FASEB Journal 32 (2018) 6808–6821.
View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 159 | OA
Optical control of L-type Ca2+ channels using a diltiazem photoswitch
T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D. Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N. Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.
View | Files available | DOI | WoS
 

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.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 400 | OA
Persistence of translational symmetry in the BCS model with radial pair interaction
A. Deuchert, A. Geisinge, C. Hainzl, M. Loss, Annales Henri Poincare 19 (2018) 1507–1527.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 406 | OA
Probabilistic models of individual and collective animal behavior
K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, PLoS One 13 (2018).
View | Files available | DOI | WoS
 

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 | WoS
 

2018 | Journal Article | IST-REx-ID: 55 | OA
Protection against the lethal side effects of social immunity in ants
C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.
View | DOI | Download Published Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 181 | OA
Power law decay for systems of randomly coupled differential equations
L. Erdös, T.H. Krüger, D.T. Renfrew, SIAM Journal on Mathematical Analysis 50 (2018) 3271–3290.
View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 322 | OA
Quantizations of multiplicative hypertoric varieties at a root of unity
I.V. Ganev, Journal of Algebra 506 (2018) 92–128.
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 9831
Implementation of the inference method in Matlab
K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 142 | OA
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 427 | OA
Quantum interference in laser spectroscopy of highly charged lithiumlike ions
P. Amaro, U. Loureiro, L. Safari, F. Fratini, P. Indelicato, T. Stöhlker, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 44 | OA
Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papić, Physical Review B 98 (2018).
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Conference Paper | IST-REx-ID: 309 | OA
Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, in:, ACM, 2018, pp. 274–292.
View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 5794 | OA
Quantum groups as hidden symmetries of quantum impurities
E. Yakaboylu, M. Shkolnikov, M. Lemeshko, Physical Review Letters 121 (2018).
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 87 | OA
Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Annals of Applied Probability 28 (2018) 3215–3238.
View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 192 | OA
Rapid and reversible root growth inhibition by TIR1 auxin signalling
M. Fendrych, M. Akhmanova, J. Merrin, M. Glanc, S. Hagihara, K. Takahashi, N. Uchida, K.U. Torii, J. Friml, Nature Plants 4 (2018) 453–459.
View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 14 | OA
Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation
S. Hille, M. Akhmanova, M. Glanc, A.J. Johnson, J. Friml, International Journal of Molecular Sciences 19 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 39 | OA
Replicability of introgression under linked, polygenic selection
H. Sachdeva, N.H. Barton, Genetics 210 (2018) 1411–1427.
View | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 420 | OA
Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover
G. Bighin, L. Salasnich, International Journal of Modern Physics B 32 (2018) 1840022.
View | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 38 | OA
Selection and gene flow shape genomic islands that control floral guides
H. Tavares, A. Whitley, D. Field, D. Bradley, M. Couchman, L. Copsey, J. Elleouet, M. Burrus, C. Andalo, M. Li, Q. Li, Y. Xue, A.B. Rebocho, N.H. Barton, E. Coen, PNAS 115 (2018) 11006–11011.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 542 | OA
Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 155 | OA
Routing thermal noise through quantum networks
A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J. Bain, J.M. Nunzi (Eds.), SPIE, 2018.
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 5767 | OA
Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor
K. Gotlieb, C.-Y. Lin, M. Serbyn, W. Zhang, C.L. Smallwood, C. Jozwiak, H. Eisaki, Z. Hussain, A. Vishwanath, A. Lanzara, Science 362 (2018) 1271–1275.
View | DOI | Download Published Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 162 | OA
Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465.
View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 302 | OA
Simple proofs of sequential work
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 31 | OA
Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons
U. Ferrari, S. Deny, M.J. Chalk, G. Tkačik, O. Marre, T. Mora, Physical Review E 98 (2018).
View | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 22 | OA
Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters
G. Botello, F. Sedlmeir, A.R. Rueda Sanchez, K. Abdalmalak, E. Brown, G. Leuchs, S. Preu, D. Segovia Vargas, D. Strekalov, L. Munoz, H. Schwefel, Optica 5 (2018) 1210–1219.
View | DOI | Download Published Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 64 | OA
Self-organized criticality and pattern emergence through the lens of tropical geometry
N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, E. Lupercio, PNAS: Proceedings of the National Academy of Sciences of the United States of America 115 (2018) E8135–E8142.
View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 9838 | OA
Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti ME, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage, Dryad, 10.5061/dryad.f1s76f2.
View | Files available | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 41 | OA
Sk2 channels associate with mGlu1α receptors and CaV2.1 channels in Purkinje cells
R. Luján, C. Aguado, F. Ciruela, X. Arus, A. Martín Belmonte, R. Alfaro Ruiz, J. Martinez Gomez, L. De La Ossa, M. Watanabe, J. Adelman, R. Shigemoto, Y. Fukazawa, Frontiers in Cellular Neuroscience 12 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 23 | OA
Single-shot readout of hole spins in Ge
L. Vukušić, J. Kukucka, H. Watzinger, J.M. Milem, F. Schäffler, G. Katsaros, Nano Letters 18 (2018) 7141–7145.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

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 | WoS
 

2018 | Thesis | IST-REx-ID: 69 | OA
Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
Slow dynamics in translation-invariant quantum lattice models
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić, Physical Review B 97 (2018).
View | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 29 | OA
Social environment affects the transcriptomic response to bacteria in ant queens
L. Viljakainen, J. Jurvansuu, I. Holmberg, T. Pamminger, S. Erler, S. Cremer, Ecology and Evolution 8 (2018) 11031–11070.
View | Files available | DOI | WoS
 

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 | WoS
 

2018 | Conference Paper | IST-REx-ID: 140 | OA
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 161 | OA
Statistical mechanics for metabolic networks during steady state growth
D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 154 | OA
Stability of the 2+2 fermionic system with point interactions
T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 5787 | OA
Statistical theory of branching morphogenesis
E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 7 | OA
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
View | Files available | DOI | Download Published Version (ext.) | WoS
 

2018 | Research Data | IST-REx-ID: 5587 | OA
Supporting materials "STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"
D. De Martino, G. Tkačik, (2018).
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 13055 | OA
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
View | Files available | DOI | Download Published Version (ext.)
 

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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 139 | OA
The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies
C. Fraisse, C. Roux, P. Gagnaire, J. Romiguier, N. Faivre, J. Welch, N. Bierne, PeerJ 2018 (2018).
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.
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.
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.
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.
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.
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.
View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

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.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 430 | OA
Tread lightly interpreting polygenic tests of selection
J. Novembre, N.H. Barton, Genetics 208 (2018) 1351–1355.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 199 | OA
Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes
W. Ma, P. Veltsos, M.A. Toups, N. Rodrigues, R. Sermier, D. Jeffries, N. Perrin, Genes 9 (2018).
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 70 | OA
Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
View | Files available | DOI | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 543 | OA
Toward a unified theory of efficient, predictive, and sparse coding
M.J. Chalk, O. Marre, G. Tkačik, PNAS 115 (2018) 186–191.
View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 421 | OA
Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients
K. Dasbiswas, E.B. Hannezo, N. Gov, Biophysical Journal 114 (2018) 968–977.
View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 134 | OA
Water surface wavelets
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, C. Wojtan, ACM Transactions on Graphics 37 (2018).
View | Files available | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications