The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
LibreCat: https://research-explorer.ista.ac.at/record/6002
DOI: 10.1007/s00205-018-1232-6
WoS: 000435367300003
arXiv: 1511.05935

The critical point of the transition to turbulence in pipe flow
M. Vasudevan, B. Hof, Journal of Fluid Mechanics 839 (2018) 76–94.
LibreCat: https://research-explorer.ista.ac.at/record/5996
DOI: 10.1017/jfm.2017.923
WoS: 000437858300003
arXiv: 1709.06372

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5993
DOI: 10.1145/3174800
WoS: 000434634500003
arXiv: 1510.08517

The cohomological Hall algebra of a preprojective algebra
Y. Yang, G. Zhao, Proceedings of the London Mathematical Society 116 (2018) 1029–1074.
LibreCat: https://research-explorer.ista.ac.at/record/5999
DOI: 10.1112/plms.12111
WoS: 000431506400001
arXiv: 1407.7994

Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
J. Kincaid-Smith, M.A.L. Picard, C. Cosseau, J. Boissier, D. Severac, C. Grunau, E. Toulza, Genome Biology and Evolution 10 (2018) 840–856.
LibreCat: https://research-explorer.ista.ac.at/record/5989
DOI: 10.1093/gbe/evy037
WoS: 000429483700013

Fast quantized arithmetic on : Trading compute for data movement
A. Stojanov, T.M. Smith, D.-A. Alistarh, M. Puschel, in:, 2018 IEEE International Workshop on Signal Processing Systems, IEEE, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6031
DOI: 10.1109/SiPS.2018.8598402
WoS: 000465106800060

Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bosanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
LibreCat: https://research-explorer.ista.ac.at/record/25
DOI: 10.24963/ijcai.2018/662
WoS: 000764175404127

Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
K. Chatterjee, A. Elgyütt, P. Novotný, O. Rouillé, in:, IJCAI, 2018, pp. 4692–4699.
LibreCat: https://research-explorer.ista.ac.at/record/24
DOI: 10.24963/ijcai.2018/652
WoS: 000764175404117
arXiv: 1804.10601

Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
LibreCat: https://research-explorer.ista.ac.at/record/34
WoS: 000492986200006
arXiv: 1710.00675

Superconcentrators of density 25.3
V. Kolmogorov, M. Rolinek, Ars Combinatoria 141 (2018) 269–304.
LibreCat: https://research-explorer.ista.ac.at/record/18
WoS: 000446809500022
arXiv: 1405.7828

Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6355
DOI: 10.1017/fms.2018.7
WoS: 000433915500001
arXiv: 1712.10205

Efficient FEM-based simulation of soft robots modeled as kinematic chains
M. Pozzi, E. Miguel Villalba, R. Deimel, M. Malvezzi, B. Bickel, O. Brock, D. Prattichizzo, in:, IEEE, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6195
DOI: 10.1109/icra.2018.8461106
WoS: 000446394503031

SpaceMint: A cryptocurrency based on proofs of space
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
LibreCat: https://research-explorer.ista.ac.at/record/6941
DOI: 10.1007/978-3-662-58387-6_26
WoS: 000540656400026

The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective C+T cells
F. Moalli, X. Ficht, P. Germann, M. Vladymyrov, B. Stolp, I. de Vries, R. Lyck, J. Balmer, A. Fiocchi, M. Kreutzfeldt, D. Merkler, M. Iannacone, A. Ariga, M.H. Stoffel, J. Sharpe, M. Bähler, M.K. Sixt, A. Diz-Muñoz, J.V. Stein, The Journal of Experimental Medicine 2015 (2018) 1869–1890.
LibreCat: https://research-explorer.ista.ac.at/record/6497
DOI: 10.1084/jem.20170896
WoS: 000440822900011

 expansion microscopy enables 25nm resolution on conventional microscopes
S.M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, S.O. Rizzoli, EMBO Reports 19 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6499
DOI: 10.15252/embr.201845836
WoS: 000443682200009

Space-optimal majority in population protocols
D.-A. Alistarh, J. Aspnes, R. Gelashvili, in:, Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM, 2018, pp. 2221–2239.
LibreCat: https://research-explorer.ista.ac.at/record/7123
DOI: 10.1137/1.9781611975031.144
WoS: 000483921200145
arXiv: 1704.04947

Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlovi, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, Evolution Letters 2 (2018) 297–309.
LibreCat: https://research-explorer.ista.ac.at/record/9917
DOI: 10.1002/evl3.74
WoS: 000446774400004
PMID: 30283683

Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, Evolution Letters 2 (2018) 557–566.
LibreCat: https://research-explorer.ista.ac.at/record/9915
DOI: 10.1002/evl3.85
WoS: 000452990000002
PMID: 30564439

Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/8618
DOI: 10.1038/s41598-018-19947-1
WoS: 000424630400037
PMID: 29426833

Molecular evolution and diversification of the SMXL gene family
T.R. Moturu, S. Thula, R.K. Singh, T. Nodzyski, R.S. Vaeková, J. Friml, S. Simon, Journal of Experimental Botany 69 (2018) 2367–2378.
LibreCat: https://research-explorer.ista.ac.at/record/10881
DOI: 10.1093/jxb/ery097
WoS: 000430727000016
PMID: 29538714

Significance of whole-genome duplications on the emergence of evolutionary novelties
M. Yuuta, K. Koshiba-Takeuchi, Briefings in Functional Genomics 17 (2018) 329–338.
LibreCat: https://research-explorer.ista.ac.at/record/10880
DOI: 10.1093/bfgp/ely007
WoS: 000456054400004
PMID: 29579140

Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow
A.M. Westram, M. Rafajlovi, P. Chaube, R. Faria, T. Larsson, M. Panova, M. Ravinet, A. Blomberg, B. Mehlig, K. Johannesson, R. Butlin, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9930
DOI: 10.5061/dryad.bp25b65

Data from: Are assortative mating and genital divergence driven by reinforcement?
J. Hollander, M. Montaño-Rendón, G. Bianco, X. Yang, A.M. Westram, L. Duvaux, D.G. Reid, R.K. Butlin, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9929
DOI: 10.5061/dryad.51sd2p5

Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
LibreCat: https://research-explorer.ista.ac.at/record/10882
DOI: 10.1109/cvpr.2018.00956
WoS: 000457843609036
arXiv: 1712.08087

Byzantine stochastic gradient descent
D.-A. Alistarh, Z. Allen-Zhu, J. Li, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2018, pp. 4613–4623.
LibreCat: https://research-explorer.ista.ac.at/record/6558
WoS: 000461823304061
arXiv: 1803.08917

Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6032
DOI: 10.1145/3230649
WoS: 000468036500007
arXiv: 1602.03124

Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/200
DOI: 10.15479/AT:ISTA:th_963

On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete &; Computational Geometry 59 (2018) 1001–1009.
LibreCat: https://research-explorer.ista.ac.at/record/1064
DOI: 10.1007/s00454-017-9883-x
WoS: 000432205500011

Optical and optogenetic control of proliferation and survival 
E. Gschaider-Reichhart, Optical and Optogenetic Control of Proliferation and Survival , Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/418
DOI: 10.15479/AT:ISTA:th_913

Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues
L. Erdös, D.J. Schröder, International Mathematics Research Notices 2018 (2018) 3255–3298.
LibreCat: https://research-explorer.ista.ac.at/record/1012
DOI: 10.1093/imrn/rnw330
WoS: 000441668300009
arXiv: 1608.05163

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039

Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/35
WoS: 000492986200007
arXiv: 1804.07031

Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
LibreCat: https://research-explorer.ista.ac.at/record/738
DOI: 10.1007/s11241-017-9293-4
WoS: 000419955500006

Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/52
DOI: 10.15479/AT:ISTA:th_1043

PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, J. Friml, Journal of Cell Science 131 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/913
DOI: 10.1242/jcs.204198
WoS: 000424842400019

Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukusi, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/69
DOI: 10.15479/AT:ISTA:TH_1047

Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/324
DOI: 10.15479/AT:ISTA:th_997

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
LibreCat: https://research-explorer.ista.ac.at/record/742
DOI: 10.1007/s10711-017-0291-4
WoS: 000437122700017

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.
LibreCat: https://research-explorer.ista.ac.at/record/70
DOI: 10.30757/ALEA.v15-49
WoS: 000460475800022
arXiv: 1705.08836

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).
LibreCat: https://research-explorer.ista.ac.at/record/44
DOI: 10.1103/PhysRevB.98.155134
WoS: 000447919100001
arXiv: 1806.10933

Exceeding the asymptotic limit of polymer drag reduction
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/328
DOI: 10.1103/PhysRevLett.120.124501
WoS: 000427804000005

Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/136
DOI: 10.1103/PhysRevE.98.023105
WoS: 000441466800010
arXiv: 1808.02088

A homozygous founder mutation in TRAPPB associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features
I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
LibreCat: https://research-explorer.ista.ac.at/record/691
DOI: 10.1136/jmedgenet-2017-104627
WoS: 000418199800007
PMID: 28626029

Maps on probability measures preserving certain distances - a survey and some new results
D. Virosztek, Acta Scientiarum Mathematicarum 84 (2018) 65–80.
LibreCat: https://research-explorer.ista.ac.at/record/284
DOI: 10.14232/actasm-018-753-y
arXiv: 1802.03305

Statistical mechanics of the uniform electron gas
M. Lewi, É. Lieb, R. Seiringer, Journal de l’Ecole Polytechnique - Mathematiques 5 (2018) 79–116.
LibreCat: https://research-explorer.ista.ac.at/record/180
DOI: 10.5802/jep.64
arXiv: 1705.10676

Agitation modules: Flexible means to accelerate automated freeze substitution
S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.
LibreCat: https://research-explorer.ista.ac.at/record/163
DOI: 10.1369/0022155418786698
WoS: 000452277700005
PMID: 29969056

Learning equations for extrapolation and control
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450.
LibreCat: https://research-explorer.ista.ac.at/record/6012
WoS: 000683379204058
arXiv: 1806.07259

Data-dependent stability of stochastic gradient descent
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824.
LibreCat: https://research-explorer.ista.ac.at/record/6011
WoS: 000683379202095
arXiv: 1703.01678

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.
LibreCat: https://research-explorer.ista.ac.at/record/5686
DOI: 10.5281/zenodo.1244154

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 Foundation, 2018, pp. 5973–5983.
LibreCat: https://research-explorer.ista.ac.at/record/6589
WoS: 000461852000047
arXiv: 1809.10505