Pull C, Metzler S, Naderlinger E, Cremer S. 2018. Protection against the lethal side effects of social immunity in ants. Current Biology. 28(19), 39–40.
LibreCat: https://research-explorer.ista.ac.at/record/55
DOI: 10.1016/j.cub.2018.08.063
WoS: 000446693400008

Erdös L, Krüger TH, Renfrew DT. 2018. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 50(3), 3271–3290.
LibreCat: https://research-explorer.ista.ac.at/record/181
DOI: 10.1137/17M1143125
WoS: 000437018500032
arXiv: 1708.01546

Ganev IV. 2018. Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. 506, 92–128.
LibreCat: https://research-explorer.ista.ac.at/record/322
DOI: 10.1016/j.jalgebra.2018.03.015
WoS: 000433270600005
arXiv: 1412.7211

Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkadik G. 2018. Implementation of the inference method in Matlab, Public Library of Science,10.1371/journal.pone.0193049.s001 .
LibreCat: https://research-explorer.ista.ac.at/record/9831
DOI: 10.1371/journal.pone.0193049.s001

Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981, 449–467.
LibreCat: https://research-explorer.ista.ac.at/record/142
DOI: 10.1007/978-3-319-96145-3_24
WoS: 000491481600024

Amaro P, Loureiro U, Safari L, Fratini F, Indelicato P, Stöhlker T, Santos J. 2018. Quantum interference in laser spectroscopy of highly charged lithiumlike ions.  Physical Review A - Atomic, Molecular, and Optical Physics. 97(2), 022510.
LibreCat: https://research-explorer.ista.ac.at/record/427
DOI: 10.1103/PhysRevA.97.022510
WoS: 000425601000004
arXiv: 1802.07920

Akitaya H, Fulek R, Tóth C. 2018. Recognizing weak embeddings of graphs. SODA: Symposium on Discrete Algorithms, 274–292.
LibreCat: https://research-explorer.ista.ac.at/record/309
DOI: 10.1137/1.9781611975031.20
WoS: 000483921200021
arXiv: 1709.09209

Yakaboylu E, Shkolnikov M, Lemeshko M. 2018. Quantum groups as hidden symmetries of quantum impurities. Physical Review Letters. 121(25), 255302.
LibreCat: https://research-explorer.ista.ac.at/record/5794
DOI: 10.1103/PhysRevLett.121.255302
WoS: 000454178600009
arXiv: 1809.00222

Edelsbrunner H, Nikitenko A. 2018. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. 28(5), 3215–3238.
LibreCat: https://research-explorer.ista.ac.at/record/87
DOI: 10.1214/18-AAP1389
WoS: 000442893500018
arXiv: 1705.02870

Fendrych M, Akhmanova M, Merrin J, Glanc M, Hagihara S, Takahashi K, Uchida N, Torii KU, Friml J. 2018. Rapid and reversible root growth inhibition by TI auxin signalling. Nature Plants. 4(7), 453–459.
LibreCat: https://research-explorer.ista.ac.at/record/192
DOI: 10.1038/s41477-018-0190-1
WoS: 000443221200017
PMID: 29942048

Hille S, Akhmanova M, Glanc M, Johnson AJ, Friml J. 2018. Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation. International Journal of Molecular Sciences. 19(11).
LibreCat: https://research-explorer.ista.ac.at/record/14
DOI: 10.3390/ijms19113566
WoS: 000451528500282

Sachdeva H, Barton NH. 2018. Replicability of introgression under linked, polygenic selection. Genetics. 210(4), 1411–1427.
LibreCat: https://research-explorer.ista.ac.at/record/39
DOI: 10.1534/genetics.118.301429
WoS: 000452315900021

Bighin G, Salasnich L. 2018. Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover. International Journal of Modern Physics B. 32(17), 1840022.
LibreCat: https://research-explorer.ista.ac.at/record/420
DOI: 10.1142/S0217979218400222
WoS: 000438217300007

Tavares H, Whitley A, Field D, Bradley D, Couchman M, Copsey L, Elleouet J, Burrus M, Andalo C, Li M, Li Q, Xue Y, Rebocho AB, Barton NH, Coen E. 2018. Selection and gene flow shape genomic islands that control floral guides. PNAS. 115(43), 11006–11011.
LibreCat: https://research-explorer.ista.ac.at/record/38
DOI: 10.1073/pnas.1801832115
WoS: 000448040500065
PMID: 30297406

Xuereb A, Aquilina M, Barzanjeh S. 2018. Routing thermal noise through quantum networks. SPIE: The international society for optical engineering, Proceedings of SPIE, vol. 10672, 106721N.
LibreCat: https://research-explorer.ista.ac.at/record/155
DOI: 10.1117/12.2309928
WoS: 000453298500019
arXiv: 1806.01000

Gotlieb K, Lin C-Y, Serbyn M, Zhang W, Smallwood CL, Jozwiak C, Eisaki H, Hussain Z, Vishwanath A, Lanzara A. 2018. Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor. Science. 362(6420), 1271–1275.
LibreCat: https://research-explorer.ista.ac.at/record/5767
DOI: 10.1126/science.aao0980
WoS: 000452994400048

Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. 2018. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 19(10), 3320–3333.
LibreCat: https://research-explorer.ista.ac.at/record/434
DOI: 10.1109/TITS.2017.2778077
WoS: 000446651100020

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.
LibreCat: https://research-explorer.ista.ac.at/record/162
DOI: 10.7554/eLife.34465
WoS: 000436227500001

Cohen B, Pietrzak KZ. 2018. Simple proofs of sequential work. Eurocrypt: Advances in Cryptology, LNCS, vol. 10821, 451–467.
LibreCat: https://research-explorer.ista.ac.at/record/302
DOI: 10.1007/978-3-319-78375-8_15
WoS: 000517098700015

Ferrari U, Deny S, Chalk MJ, Tkadik G, Marre O, Mora T. 2018. Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. 98(4), 042410.
LibreCat: https://research-explorer.ista.ac.at/record/31
DOI: 10.1103/PhysRevE.98.042410
WoS: 000447486100004

Kalinin N, Guzmán Sáenz A, Prieto Y, Shkolnikov M, Kalinina V, Lupercio E. 2018. Self-organized criticality and pattern emergence through the lens of tropical geometry. PNAS: Proceedings of the National Academy of Sciences of the United States of America. 115(35), 35–42.
LibreCat: https://research-explorer.ista.ac.at/record/64
DOI: 10.1073/pnas.1805847115
WoS: 000442861600009
arXiv: 1806.09153

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 .
LibreCat: https://research-explorer.ista.ac.at/record/9838
DOI: 10.5061/dryad.f1s76f2

Luján R, Aguado C, Ciruela F, Arus X, Martín Belmonte A, Alfaro Ruiz R, Martinez Gomez J, De La Ossa L, Watanabe M, Adelman J, Shigemoto R, Fukazawa Y. 2018. Sk2 channels associate with mGlu1;1 receptors and Ca.1 channels in Purkinje cells. Frontiers in Cellular Neuroscience. 12, 311.
LibreCat: https://research-explorer.ista.ac.at/record/41
DOI: 10.3389/fncel.2018.00311
WoS: 000445090100002

Vukusi L, Kukucka J, Watzinger H, Milem JM, Schäffler F, Katsaros G. 2018. Single-shot readout of hole spins in Ge. Nano Letters. 18(11), 7141–7145.
LibreCat: https://research-explorer.ista.ac.at/record/23
DOI: 10.1021/acs.nanolett.8b03217
WoS: 000451102100064
PMID: 30359041

Gilad E, Brown TA, Oskin M, Etsion Y. 2018. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11014, 465–479.
LibreCat: https://research-explorer.ista.ac.at/record/85
DOI: 10.1007/978-3-319-96983-1_33
WoS: 000851042300031

Michailidis A, dnidarid M, Medvedyeva M, Abanin D, Prosen T, Papi Z. 2018. Slow dynamics in translation-invariant quantum lattice models. Physical Review B. 97(10), 104307.
LibreCat: https://research-explorer.ista.ac.at/record/327
DOI: 10.1103/PhysRevB.97.104307
WoS: 000427798800005

Viljakainen L, Jurvansuu J, Holmberg I, Pamminger T, Erler S, Cremer S. 2018. Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. 8(22), 11031–11070.
LibreCat: https://research-explorer.ista.ac.at/record/29
DOI: 10.1002/ece3.4573
WoS: 000451611000032

Cremer S, Pull C, Fürst M. 2018. Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. 63, 105–123.
LibreCat: https://research-explorer.ista.ac.at/record/806
DOI: 10.1146/annurev-ento-020117-043110
WoS: 000424633700008

Frehse G, Giacobbe M, Henzinger TA. 2018. Space-time interpolants. CAV: Computer Aided Verification, LNCS, vol. 10981, 468–486.
LibreCat: https://research-explorer.ista.ac.at/record/140
DOI: 10.1007/978-3-319-96145-3_25
WoS: 000491481600025

Moser T, Seiringer R. 2018. Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. 21(3), 19.
LibreCat: https://research-explorer.ista.ac.at/record/154
DOI: 10.1007/s11040-018-9275-3
WoS: 000439639700001

Hannezo EB, Simons BD. 2018. Statistical theory of branching morphogenesis. Development Growth and Differentiation. 60(9), 512–521.
LibreCat: https://research-explorer.ista.ac.at/record/5787
DOI: 10.1111/dgd.12570
WoS: 000453555100002

Brázdil T, Chatterjee K, Kretinsky J, Toman V. 2018. Strategy representation by decision trees in reactive synthesis. TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10805, 385–407.
LibreCat: https://research-explorer.ista.ac.at/record/297
DOI: 10.1007/978-3-319-89960-2_21
WoS: 000546326300021

Chatterjee K, Henzinger MH, Loitzenbauer V, Oraee S, Toman V. 2018. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. CAV: Computer Aided Verification, LNCS, vol. 10982, 178–197.
LibreCat: https://research-explorer.ista.ac.at/record/141
DOI: 10.1007/978-3-319-96142-2_13
WoS: 000491469700013

Alwen JF, Blocki J, Pietrzak KZ. 2018. Sustained space complexity. Eurocrypt 2018: Advances in Cryptology, LNCS, vol. 10821, 99–130.
LibreCat: https://research-explorer.ista.ac.at/record/298
DOI: 10.1007/978-3-319-78375-8_4
WoS: 000517098700004
arXiv: 1705.05313

Vu L, Zhu T, Verstraeten I, Van De Cotte B, Gevaert K, De Smet I. 2018. Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms. Journal of Experimental Botany. 69(19), 4609–4624.
LibreCat: https://research-explorer.ista.ac.at/record/36
DOI: 10.1093/jxb/ery204
WoS: 000443568700010

Sawada K, Kawakami R, Shigemoto R, Nemoto T. 2018. Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience. 47(9), 1033–1042.
LibreCat: https://research-explorer.ista.ac.at/record/326
DOI: 10.1111/ejn.13901
WoS: 000431496400001

Qu K, Glass B, Doleeal M, Schur FK, Murciano B, Rein A, Rumlová M, Ruml T, Kräusslich H-G, Briggs JAG. 2018. Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences. 115(50), 751–760.
LibreCat: https://research-explorer.ista.ac.at/record/5770
DOI: 10.1073/pnas.1811580115
WoS: 000452866000022
PMID: 30478053

Avni G, Kupferman O. 2018. Synthesis from component libraries with costs. Theoretical Computer Science. 712, 50–72.
LibreCat: https://research-explorer.ista.ac.at/record/608
DOI: 10.1016/j.tcs.2017.11.001
WoS: 000424959200003

Miklosi A, Del Favero G, Bulat T, Höger H, Shigemoto R, Marko D, Lubec G. 2018. Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes. Molecular Neurobiology. 55(6), 4857 – 4869.
LibreCat: https://research-explorer.ista.ac.at/record/705
DOI: 10.1007/s12035-017-0688-y
WoS: 000431991500025

Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobb 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ásek 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.
LibreCat: https://research-explorer.ista.ac.at/record/148
DOI: 10.1016/j.cell.2018.06.033
WoS: 000438482800019
PMID: 30007417

Cavallari N, Nibau C, Fuchs A, Dadarou D, Barta A, Doonan J. 2018. The cyclindependent kinase G group defines a thermosensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A. The Plant Journal. 94(6), 1010–1022.
LibreCat: https://research-explorer.ista.ac.at/record/403
DOI: 10.1111/tpj.13914
WoS: 000434365500008

Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International Symposium on Formal Methods, LNCS, vol. 10951, 147–164.
LibreCat: https://research-explorer.ista.ac.at/record/156
DOI: 10.1007/978-3-319-95582-7_9
WoS: 000489765800009

Seitner D, Uhse S, Gallei MC, Djamei A. 2018. The core effector Cce1 is required for early infection of maize by Ustilago maydis. Molecular Plant Pathology. 19(10), 2277–2287.
LibreCat: https://research-explorer.ista.ac.at/record/104
DOI: 10.1111/mpp.12698
WoS: 000445624100006

Barton NH. 2018. The consequences of an introgression event. Molecular Ecology. 27(24), 4973–4975.
LibreCat: https://research-explorer.ista.ac.at/record/40
DOI: 10.1111/mec.14950
WoS: 000454600500001
PMID: 30599087

Alanko JH, Sixt MK. 2018. The cell sets the tone. eLife. 7, e37888.
LibreCat: https://research-explorer.ista.ac.at/record/5861
DOI: 10.7554/eLife.37888
WoS: 000434375000001

Kania U, Nodzyski T, Lu Q, Hicks GR, Nerinckx W, Mishev K, Peurois F, Cherfils J, De RRM, Grones P, Robert S, Russinova E, Friml J. 2018. The inhibitor Endosidin 4 targets SE domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. The Plant Cell. 30(10), 2553–2572.
LibreCat: https://research-explorer.ista.ac.at/record/147
DOI: 10.1105/tpc.18.00127
WoS: 000450000500023
PMID: 30018156

Shi CL, von Wangenheim D, Herrmann U, Wildhagen M, Kulik I, Kopf A, Ishida T, Olsson V, Anker MK, Albert M, Butenko MA, Felix G, Sawa S, Claassen M, Friml J, Aalen RB. 2018. The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. Nature Plants. 4(8), 596–604.
LibreCat: https://research-explorer.ista.ac.at/record/146
DOI: 10.1038/s41477-018-0212-z
WoS: 000443861300016
PMID: 30061750

Hoffman M, Hilbe C, Nowak M. 2018. The signal-burying game can explain why we obscure positive traits and good deeds. Nature Human Behaviour. 2, 397–404.
LibreCat: https://research-explorer.ista.ac.at/record/293
DOI: 10.1038/s41562-018-0354-z
WoS: 000435551300009

Benedikter NP, Sok J, Solovej J. 2018. The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations. Annales Henri Poincare. 19(4), 1167–1214.
LibreCat: https://research-explorer.ista.ac.at/record/455
DOI: 10.1007/s00023-018-0644-z
WoS: 000427578900006

Bauer G, Fakhri N, Kicheva A, Kondev J, Kruse K, Noji H, Riveline D, Saunders T, Thatta M, Wieschaus E. 2018. The science of living matter for tomorrow. Cell Systems. 6(4), 400–402.
LibreCat: https://research-explorer.ista.ac.at/record/314
DOI: 10.1016/j.cels.2018.04.003
WoS: 000432192100003
PMID: 29698645

Charlesworth B, Barton NH. 2018. The spread of an inversion with migration and selection. Genetics. 208(1), 377–382.
LibreCat: https://research-explorer.ista.ac.at/record/565
DOI: 10.1534/genetics.117.300426
WoS: 000419356300025
PMID: 29158424

Frank R, Nam P, Van Den Bosch H. 2018. The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory. Communications on Pure and Applied Mathematics. 71(3), 577–614.
LibreCat: https://research-explorer.ista.ac.at/record/446
DOI: 10.1002/cpa.21717
WoS: 000422675800004
arXiv: 1606.07355

Novembre J, Barton NH. 2018. Tread lightly interpreting polygenic tests of selection. Genetics. 208(4), 1351–1355.
LibreCat: https://research-explorer.ista.ac.at/record/430
DOI: 10.1534/genetics.118.300786
WoS: 000429094400005

Ma W, Veltsos P, Toups MA, Rodrigues N, Sermier R, Jeffries D, Perrin N. 2018. Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes. Genes. 9(6), 294.
LibreCat: https://research-explorer.ista.ac.at/record/199
DOI: 10.3390/genes9060294
WoS: 000436494200026

Chalk MJ, Marre O, Tkadik G. 2018. Toward a unified theory of efficient, predictive, and sparse coding. PNAS. 115(1), 186–191.
LibreCat: https://research-explorer.ista.ac.at/record/543
DOI: 10.1073/pnas.1711114115
WoS: 000419128700049

Dasbiswas K, Hannezo EB, Gov N. 2018. Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients. Biophysical Journal. 114(4), 968–977.
LibreCat: https://research-explorer.ista.ac.at/record/421
DOI: 10.1016/j.bpj.2017.12.022
WoS: 000428016700021
arXiv: 1709.01486

Gammerdinger WJ, Kocher T. 2018. Unusual diversity of sex chromosomes in African cichlid fishes. Genes. 9(10), 480.
LibreCat: https://research-explorer.ista.ac.at/record/63
DOI: 10.3390/genes9100480
WoS: 000448656700018

Turner C, Michailidis A, Abanin D, Serbyn M, Papi Z. 2018. Weak ergodicity breaking from quantum many-body scars. Nature Physics. 14, 745–749.
LibreCat: https://research-explorer.ista.ac.at/record/296
DOI: 10.1038/s41567-018-0137-5
WoS: 000438253600028

Bodova K, Haskovec J, Markowich P. 2018. Well posedness and maximum entropy approximation for the dynamics of quantitative traits. Physica D: Nonlinear Phenomena. 376–377, 108–120.
LibreCat: https://research-explorer.ista.ac.at/record/607
DOI: 10.1016/j.physd.2017.10.015
WoS: 000437962900012
arXiv: 1704.08757

Fratini F, Safari L, Amaro P, Santos J. 2018. Two-photon processes based on quantum commutators. Physical Review A - Atomic, Molecular, and Optical Physics. 97(4).
LibreCat: https://research-explorer.ista.ac.at/record/294
DOI: 10.1103/PhysRevA.97.043842
WoS: 000430296800008
arXiv: 1801.06892

Duerinckx M, Fischer JL. 2018. Well-posedness for mean-field evolutions arising in superconductivity. Annales de l’Institut Henri Poincare (C) Non Linear Analysis. 35(5), 1267–1319.
LibreCat: https://research-explorer.ista.ac.at/record/606
DOI: 10.1016/j.anihpc.2017.11.004
WoS: 000437975500005
arXiv: 1607.00268

Bakhirkin A, Ferrere T, Henzinger TA, Nickovicl D. 2018. Keynote: The first-order logic of signals. 2018 International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software, 1–10.
LibreCat: https://research-explorer.ista.ac.at/record/5959
DOI: 10.1109/emsoft.2018.8537203
WoS: 000492828500005

Alistarh D-A, De Sa C, Konstantinov NH. 2018. The convergence of stochastic gradient descent in asynchronous shared memory. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. PODC: Principles of Distributed Computing, 169–178.
LibreCat: https://research-explorer.ista.ac.at/record/5962
DOI: 10.1145/3212734.3212763
WoS: 000458186900022
arXiv: 1803.08841

Corominas-Murtra B, Seoane LF, Solé R. 2018. Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface. 15(149), 20180395.
LibreCat: https://research-explorer.ista.ac.at/record/5860
DOI: 10.1098/rsif.2018.0395
WoS: 000456783800002
arXiv: 1612.01605

Alistarh D-A. 2018. A brief tutorial on distributed and concurrent machine learning. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. PODC: Principles of Distributed Computing, 487–488.
LibreCat: https://research-explorer.ista.ac.at/record/5961
DOI: 10.1145/3212734.3212798
WoS: 000458186900063

Rohou S, Franek P, Aubry C, Jaulin L. 2018. Proving the existence of loops in robot trajectories. The International Journal of Robotics Research. 37(12), 1500–1516.
LibreCat: https://research-explorer.ista.ac.at/record/5960
DOI: 10.1177/0278364918808367
WoS: 000456881100004
arXiv: 1712.01341

Alistarh D-A, Brown TA, Kopinsky J, Nadiradze G. 2018. Relaxed schedulers can efficiently parallelize iterative algorithms. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. PODC: Principles of Distributed Computing, 377–386.
LibreCat: https://research-explorer.ista.ac.at/record/5963
DOI: 10.1145/3212734.3212756
WoS: 000458186900048
arXiv: 1808.04155

Alistarh D-A, Brown TA, Kopinsky J, Li JZ, Nadiradze G. 2018. Distributionally linearizable data structures. Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. SPAA: Symposium on Parallelism in Algorithms and Architectures, 133–142.
LibreCat: https://research-explorer.ista.ac.at/record/5965
DOI: 10.1145/3210377.3210411
WoS: 000545269600016
arXiv: 1804.01018

Hansen KA, Ibsen-Jensen R, Neyman A. 2018. The Big Match with a clock and a bit of memory. Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18. EC: Conference on Economics and Computation, 149–150.
LibreCat: https://research-explorer.ista.ac.at/record/5967
DOI: 10.1145/3219166.3219198
WoS: 000492755100020

Alistarh D-A, Haider SK, Kübler R, Nadiradze G. 2018. The transactional conflict problem. Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. SPAA: Symposium on Parallelism in Algorithms and Architectures, 383–392.
LibreCat: https://research-explorer.ista.ac.at/record/5966
DOI: 10.1145/3210377.3210406
WoS: 000545269600046
arXiv: 1804.00947

Kolmogorov V. 2018. Commutativity in the algorithmic Lovász local lemma. SIAM Journal on Computing. 47(6), 2029–2056.
LibreCat: https://research-explorer.ista.ac.at/record/5975
DOI: 10.1137/16m1093306
WoS: 000453785100001
arXiv: 1506.08547

Aksenov V, Alistarh D-A, Kuznetsov P. 2018. Brief Announcement: Performance prediction for coarse-grained locking. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. PODC: Principles of Distributed Computing, 411–413.
LibreCat: https://research-explorer.ista.ac.at/record/5964
DOI: 10.1145/3212734.3212785
WoS: 000458186900052

Erdös L, Mühlbacher P. 2018. Bounds on the norm of Wigner-type random matrices. Random matrices: Theory and applications., 1950009.
LibreCat: https://research-explorer.ista.ac.at/record/5971
DOI: 10.1142/s2010326319500096
WoS: 000477677200002
arXiv: 1802.05175

Morri M, Sanchez-Romero I, Tichy A-M, Kainrath S, Gerrard EJ, Hirschfeld P, Schwarz J, Janovjak HL. 2018. Optical functionalization of human class A orphan G-protein-coupled receptors. Nature Communications. 9(1), 1950.
LibreCat: https://research-explorer.ista.ac.at/record/5984
DOI: 10.1038/s41467-018-04342-1
WoS: 000432280000006

Malomo L, Perez Rodriguez J, Iarussi E, Pietroni N, Miguel E, Cignoni P, Bickel B. 2018. FlexMaps: Computational design of flat flexible shells for shaping 3D objects. ACM Transactions on Graphics. 37(6), 241.
LibreCat: https://research-explorer.ista.ac.at/record/5976
DOI: 10.1145/3272127.3275076
WoS: 000455953100064

Yakaboylu E, Midya B, Deuchert A, Leopold NK, Lemeshko M. 2018. Theory of the rotating polaron: Spectrum and self-localization. Physical Review B. 98(22), 224506.
LibreCat: https://research-explorer.ista.ac.at/record/5983
DOI: 10.1103/physrevb.98.224506
WoS: 000452992700008
arXiv: 1809.01204

Zhang Y, Liu Y, Lim KH, Xing C, Li M, Zhang T, Tang P, Arbiol J, Llorca J, Ng KM, Ibáñez M, Guardia P, Prato M, Cadavid D, Cabot A. 2018. Tin diselenide molecular precursor for solution-processable thermoelectric materials. Angewandte Chemie International Edition. 57(52), 17063–17068.
LibreCat: https://research-explorer.ista.ac.at/record/5982
DOI: 10.1002/anie.201809847
WoS: 000454575500020

Haller S, Swoboda P, Savchynskyy B. 2018. Exact MAP-inference by confining combinatorial search with LP relaxation. Proceedings of the 32st AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence, 6581–6588.
LibreCat: https://research-explorer.ista.ac.at/record/5978
WoS: 000485488906082
arXiv: 2004.06370

Ridderbos J, Brauns M, Shen J, de Vries FK, Li A, Bakkers EPAM, Brinkman A, Zwanenburg FA. 2018. Josephson effect in a few-hole quantum dot. Advanced Materials. 30(44), 1802257.
LibreCat: https://research-explorer.ista.ac.at/record/5990
DOI: 10.1002/adma.201802257
WoS: 000450232800015
arXiv: 1809.08487

Chatterjee S, Kamath Hosdurg C, Kumar V. 2018. Private set-intersection with common set-up. American Institute of Mathematical Sciences. 12(1), 17–47.
LibreCat: https://research-explorer.ista.ac.at/record/5980
DOI: 10.3934/amc.2018002
WoS: 000430950400002

Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.
LibreCat: https://research-explorer.ista.ac.at/record/5998
DOI: 10.1371/journal.pgen.1007698
WoS: 000449328500025

Usmanova DR, Bogatyreva NS, Ariño Bernad J, Eremina AA, Gorshkova AA, Kanevskiy GM, Lonishin LR, Meister AV, Yakupova AG, Kondrashov F, Ivankov D. 2018. Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation. Bioinformatics. 34(21), 3653–3658.
LibreCat: https://research-explorer.ista.ac.at/record/5995
DOI: 10.1093/bioinformatics/bty340
WoS: 000450038900008
PMID: 29722803

Dolati S, Kage F, Mueller J, Müsken M, Kirchner M, Dittmar G, Sixt MK, Rottner K, Falcke M. 2018. On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. 29(22), 2674–2686.
LibreCat: https://research-explorer.ista.ac.at/record/5992
DOI: 10.1091/mbc.e18-02-0082
WoS: 000455641000011
PMID: 30156465

Garrido-Charad F, Vega Zuniga TA, Gutiérrez-Ibáñez C, Fernandez P, López-Jury L, González-Cabrera C, Karten HJ, Luksch H, Marín GJ. 2018. “Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences. 115(32), 15–23.
LibreCat: https://research-explorer.ista.ac.at/record/6010
DOI: 10.1073/pnas.1804517115
WoS: 000440982000020
PMID: 30026198

Bickel B, Cignoni P, Malomo L, Pietroni N. 2018. State of the art on stylized fabrication. Computer Graphics Forum. 37(6), 325–342.
LibreCat: https://research-explorer.ista.ac.at/record/6003
DOI: 10.1111/cgf.13327
WoS: 000437272800019

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

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

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

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

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

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

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

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

Chatterjee K, Chemlík M, Topcu U. 2018. Sensor synthesis for POMDPs with reachability objectives. ICAPS: International Conference on Automated Planning and Scheduling, ICAPS, vol. 2018, 47–55.
LibreCat: https://research-explorer.ista.ac.at/record/34
WoS: 000492986200006
arXiv: 1710.00675

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

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

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

Park S, Kwon A, Fuchsbauer G, Gazi P, Alwen JF, Pietrzak KZ. 2018. SpaceMint: A cryptocurrency based on proofs of space. 22nd International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 10957, 480–499.
LibreCat: https://research-explorer.ista.ac.at/record/6941
DOI: 10.1007/978-3-662-58387-6_26
WoS: 000540656400026

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

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