Please note that IST 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.

1525 Publications


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 (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 299   OA
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 319   OA
Singular SPDEs in domains with boundaries
M. Gerencser, M. Hairer, Probability Theory and Related Fields (2018).
View | Files available | DOI
 

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: 35   OA
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
View | Download (ext.) | arXiv
 

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: 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: 422   OA
Relaminarization by steady modification of the streamwise velocity profile in a pipe
J. Kühnen, D. Scarselli, M. Schaner, B. Hof, Flow Turbulence and Combustion 100 (2018) 919–942.
View | Files available | DOI
 

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 | DOI | Download (ext.)
 

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 (ext.)
 

2018 | Journal Article | IST-REx-ID: 441   OA
Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics (2018).
View | DOI | Download (ext.) | arXiv
 

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

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 (ext.)
 

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: 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 (ext.) | arXiv
 

2018 | Research Data | IST-REx-ID: 5581   OA
Springer Austrian Publications 2013-2016
M. Villányi, Springer Austrian Publications 2013-2016, IST Austria, 2018.
View | Files available | DOI
 

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

2018 | Research Data | IST-REx-ID: 5574   OA
Data Check IOP Scopus vs. Publisher
M. Villányi, Data Check IOP Scopus vs. Publisher, IST Austria, 2018.
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 (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5790   OA
Extending partial representations of circle graphs
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory (2018).
View | DOI | Download (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: 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 (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5966   OA
The transactional conflict problem
D.-A. Alistarh, S.K. Haider, R. Kübler, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18, ACM Press, 2018, pp. 383–392.
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6010   OA
“Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network
F. Garrido-Charad, T.A. Vega Zuniga, C. Gutiérrez-Ibáñez, P. Fernandez, L. López-Jury, C. González-Cabrera, H.J. Karten, H. Luksch, G.J. Marín, Proceedings of the National Academy of Sciences 115 (2018) E7615–E7623.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5992   OA
On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 612   OA
Differential association of GABAB receptors with their effector ion channels in Purkinje cells
R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa, B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure and Function 223 (2018) 1565–1587.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 617   OA
Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 6558   OA
Byzantine Stochastic Gradient Descent
D.-A. Alistarh, Z. Allen-Zhu, J. Li, in:, S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, R. Garnett (Eds.), Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2018, pp. 4613–4623.
View | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6589   OA
The convergence of sparsified gradient methods
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural information processing systems, 2018, pp. 5973–5983.
View | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 66   OA
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies.
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 11.
View | Files available | DOI | Download (ext.) | arXiv
 

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

2018 | Journal Article | IST-REx-ID: 16   OA
Mixing layer instability and vorticity amplification in a creeping viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018) 103303.
View | Files available | DOI
 

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

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

2018 | Journal Article | IST-REx-ID: 6003   OA
State of the art on stylized fabrication
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201   OA
Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 395   OA
The branched chain amino acids in autism spectrum disorders
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5675   OA
Erratum to: Flexible Learning-Free Segmentation and Reconstruction of Neural Volumes
A. Shahbazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N.M. Da Costa, J. Grutzendler, N. Kasthuri, W.J. Scheirer, Scientific Reports 8 (2018) 17585.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6774   OA
Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
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. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018) e35684.
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: 150   OA
Inositol phosphates are assembly co-factors for HIV-1
R. Dick, K.K. Zadrozny, C. Xu, F. Schur, T.D. Lyddon, C.L. Ricana, J.M. Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature 560 (2018) 509–512.
View | Files available | DOI | Download (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 (ext.) | arXiv
 

2018 | Preprint | IST-REx-ID: 6185   OA
Cusp universality for random matrices I: Local law and the complex hermitian case
L. Erdös, T.H. Krüger, D.J. Schröder, ArXiv (n.d.).
View | Files available | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 106   OA
Long geodesics on convex surfaces
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 12   OA
CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds
K. Nakashima, T. Auzinger, E. Iarussi, R. Zhang, T. Igarashi, B. Bickel, ACM Transaction on Graphics 37 (2018) 135.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 132   OA
Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 137   OA
Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS
W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I. Sanchez Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak, C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed