Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4169 Publications

2018 | Journal Article | IST-REx-ID: 407
Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
View | DOI
 
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.) | arXiv
 
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
 
2018 | Journal Article | IST-REx-ID: 410 | OA
A micro-CT-based method for quantitative brain lesion characterization and electrode localization
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 413 | OA
Ants avoid superinfections by performing risk-adjusted sanitary care
M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S. Cremer, PNAS 115 (2018) 2782–2787.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 415 | OA
Effect of a magnetic field on molecule–solvent angular momentum transfer
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 417 | OA
Diagrammatic Monte Carlo approach to rotating molecular impurities
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Thesis | IST-REx-ID: 418 | OA
Optical and optogenetic control of proliferation and survival
E. Gschaider-Reichhart, Optical and Optogenetic Control of Proliferation and Survival , IST Austria, 2018.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 42 | OA
Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis
M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, L. Colombo, Journal of Experimental Botany 69 (2018) 5169–5176.
View | Files available | DOI
 
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.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 426
Individual- and ejaculate-specific sperm traits in ant males
S. Metzler, A. Schrempf, J. Heinze, Journal of Insect Physiology 107 (2018) 284–290.
View | DOI
 
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.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 435 | OA
Coherent-perfect-absorber and laser for bound states in a continuum
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 437 | OA
Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration
A.F. Leithner, J. Renkawitz, I. de Vries, R. Hauschild, H. Haecker, M.K. Sixt, European Journal of Immunology 48 (2018) 1074–1077.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 305
Fabrication and operation of microfluidic hanging drop networks
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
View | DOI
 
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.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 308 | OA
Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration
A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
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.)
 
2018 | Conference Paper | IST-REx-ID: 310 | OA
Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
View | DOI | Download Preprint (ext.) | arXiv
 
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.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 318 | OA
A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 320 | OA View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 32 | OA
In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2
T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7.
View | Files available | DOI
 
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.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 325 | OA View | DOI | Download Preprint (ext.) | arXiv
 
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
 
2018 | Conference Paper | IST-REx-ID: 34 | OA
Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
View | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 384 | OA
Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome Biology and Evolution 10 (2018) 928–938.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 397
Harnessing epoch-based reclamation for efficient range queries
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 399 | OA
Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation
M.M. Napiórkowski, R. Reuvers, J. Solovej, EPL 121 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 4 | OA
Learning three-dimensional flow for interactive aerodynamic design
N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
View | Files available | DOI
 
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
 
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
 
2018 | Book Chapter | IST-REx-ID: 408
In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls
H. Trinh, I. Verstraeten, D. Geelen, in:, Root Development , Springer Nature, 2018, pp. 95–102.
View | DOI | PubMed | Europe PMC
 
2018 | Book Chapter | IST-REx-ID: 411
Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia
M. Karampelias, R. Tejos, J. Friml, S. Vanneste, in:, D. Ristova, E. Barbez (Eds.), Root Development. Methods and Protocols, Springer, 2018, pp. 131–143.
View | DOI
 
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
 
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.)
 
2018 | Journal Article | IST-REx-ID: 425 | OA
Embeddability in the 3-Sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 428 | OA
Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, PNAS 115 (2018) 3716–3721.
View | Files available | DOI
 
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
 
2018 | Journal Article | IST-REx-ID: 43 | OA
Model of bacterial toxin-dependent pathogenesis explains infective dose
J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.
View | Files available | DOI
 
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
 
2018 | Journal Article | IST-REx-ID: 436 | OA
Manipulating the flow of thermal noise in quantum devices
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
View | Files available | DOI | Download Preprint (ext.) | 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.) | arXiv
 
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 | 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
 
2018 | Journal Article | IST-REx-ID: 503 View | DOI
 
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
 
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
 
2018 | Journal Article | IST-REx-ID: 53 | OA
IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
View | Files available | DOI
 
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
 
2018 | Journal Article | IST-REx-ID: 536 | OA
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 54
Mechanical force-driven adherents junction remodeling and epithelial dynamics
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.
View | DOI | Download Published Version (ext.)
 
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.)
 
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
 
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.)
 
2018 | Journal Article | IST-REx-ID: 554 | OA
The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 555 | OA
Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.
View | DOI | Download Submitted Version (ext.)
 
2018 | Journal Article | IST-REx-ID: 556 | OA
The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
View | Files available | DOI
 
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
 
2018 | Journal Article | IST-REx-ID: 438 | OA
Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
View | Files available | DOI
 
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
 
2018 | Journal Article | IST-REx-ID: 286
Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering
T. Ellis, D. Field, N.H. Barton, Molecular Ecology Resources 18 (2018) 988–999.
View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 278 | OA
Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken
M. Villányi, Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken, Universität Wien, 2018.
View | Files available | Download Published Version (ext.)
 
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
 
2018 | Journal Article | IST-REx-ID: 131 | OA
Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 200 | OA
Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, IST Austria, 2018.
View | Files available | DOI
 
2018 | Book Chapter | IST-REx-ID: 562 | OA
Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 563 | OA
Estimating barriers to gene flow from distorted isolation-by-distance patterns
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.
View | Files available | DOI | Download Preprint (ext.)
 
2018 | Journal Article | IST-REx-ID: 5673 | OA
Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 5672 | OA
IgM's exit route
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 566 | OA
Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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.) | PubMed | Europe PMC
 
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.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5677 | OA
Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
View | DOI | Download Submitted Version (ext.)
 
2018 | Journal Article | IST-REx-ID: 5780 | OA
Genetically encodable bioluminescent system from fungi
Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 5788 | OA
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View | DOI | Download Preprint (ext.) | arXiv
 
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
 
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.) | PubMed | Europe PMC
 
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.)
 
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.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 5791 | OA
Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 58 | OA
Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
View | DOI | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5830 | OA
CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana
Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang G. 2018. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2018 | Conference Paper | IST-REx-ID: 433 | OA
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5858 | OA
Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data
S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 5859 | OA
Chromatic transitions in the emergence of syntax networks
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 5860 | OA
Zipf's Law, unbounded complexity and open-ended evolution
B. Corominas-Murtra, L.F. Seoane, R. Solé, Journal of the Royal Society Interface 15 (2018).
View | DOI | Download Preprint (ext.) | arXiv
 
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
 
2018 | Journal Article | IST-REx-ID: 5888 | OA
Genomics in neurodevelopmental disorders: an avenue to personalized medicine
D.-C. Tarlungeanu, G. Novarino, Experimental & Molecular Medicine 50 (2018).
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5959 | OA
Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications