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.

3403 Publications


2018 | Technical Report | IST-REx-ID: 5457 | OA
Cost analysis of nondeterministic probabilistic programs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
View | Files available
 

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 | Research Data | IST-REx-ID: 5569 | OA
Time-lapse microscopy data
T. Bergmiller, N. Nikolic, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5573 | OA
Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5574 | OA
Data Check IOP Scopus vs. Publisher
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5575 | OA
Data Check RSC Scopus vs. FWF
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5576 | OA
Data Check T&F Scopus vs. FWF
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5577 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5578 | OA
IOP Austrian Publications 2012-2015
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5579 | OA
RSC Austrian Publications 2013-2017
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5580 | OA
SAGE Austrian Publications 2013-2017
M. Villányi, (2018).
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5581 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5582 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5583 | OA View | Files available | DOI
 

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 | Research Data | IST-REx-ID: 5587 | OA View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5588 | OA 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: 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 | 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: 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: 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: 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 | 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 | Working Paper | IST-REx-ID: 5686 | OA
An Austrian proposal for the Classification of Open Access Tuples (COAT) - Distinguish different Open Access types beyond colors
P. Danowski, An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5751 | OA
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
View | Files available | DOI
 
 

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

2018 | Journal Article | IST-REx-ID: 5960 | OA
Proving the existence of loops in robot trajectories
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5962 | OA
The convergence of stochastic gradient descent in asynchronous shared memory
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18, ACM Press, 2018, pp. 169–178.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications