Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkadik G. Probabilistic models of individual and collective animal behavior. PLoS One. 2018;13(3). doi:10.1371/journal.pone.0193049
LibreCat: https://research-explorer.ista.ac.at/record/406
DOI: 10.1371/journal.pone.0193049
WoS: 000426896800032

Pleska M, Lang M, Refardt D, Levin B, Guet CC. Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity. Nature Ecology and Evolution. 2018;2(2):359-366. doi:10.1038/s41559-017-0424-z
LibreCat: https://research-explorer.ista.ac.at/record/457
DOI: 10.1038/s41559-017-0424-z
WoS: 000426516400027

Pull C, Metzler S, Naderlinger E, Cremer S. Protection against the lethal side effects of social immunity in ants. Current Biology. 2018;28(19):39-40. doi:10.1016/j.cub.2018.08.063
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. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 2018;50(3):3271-3290. doi:10.1137/17M1143125
LibreCat: https://research-explorer.ista.ac.at/record/181
DOI: 10.1137/17M1143125
WoS: 000437018500032
arXiv: 1708.01546

Ganev IV. Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. 2018;506:92-128. doi:10.1016/j.jalgebra.2018.03.015
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. Implementation of the inference method in Matlab. 2018. doi: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. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. In: Vol 10981. Springer; 2018:449-467. doi:10.1007/978-3-319-96145-3_24
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, et al. Quantum interference in laser spectroscopy of highly charged lithiumlike ions. 10.1103/PhysRevA.97.022510__Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(2). doi:10.1103/PhysRevA.97.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. Recognizing weak embeddings of graphs. In: ACM; 2018:274-292. doi:10.1137/1.9781611975031.20
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. Quantum groups as hidden symmetries of quantum impurities. Physical Review Letters. 2018;121(25). doi:10.1103/PhysRevLett.121.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. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. 2018;28(5):3215-3238. doi:10.1214/18-AAP1389
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, et al. Rapid and reversible root growth inhibition by TI auxin signalling. Nature Plants. 2018;4(7):453-459. doi:10.1038/s41477-018-0190-1
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. Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation. International Journal of Molecular Sciences. 2018;19(11). doi:10.3390/ijms19113566
LibreCat: https://research-explorer.ista.ac.at/record/14
DOI: 10.3390/ijms19113566
WoS: 000451528500282

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

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

Tavares H, Whitley A, Field D, et al. Selection and gene flow shape genomic islands that control floral guides. PNAS. 2018;115(43):11006-11011. doi:10.1073/pnas.1801832115
LibreCat: https://research-explorer.ista.ac.at/record/38
DOI: 10.1073/pnas.1801832115
WoS: 000448040500065
PMID: 30297406

Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks. In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:10.1117/12.2309928
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, et al. Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor. Science. 2018;362(6420):1271-1275. doi:10.1126/science.aao0980
LibreCat: https://research-explorer.ista.ac.at/record/5767
DOI: 10.1126/science.aao0980
WoS: 000452994400048

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

Kaucka M, Petersen J, Tesarova M, et al. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 2018;7. doi:10.7554/eLife.34465
LibreCat: https://research-explorer.ista.ac.at/record/162
DOI: 10.7554/eLife.34465
WoS: 000436227500001

Cohen B, Pietrzak KZ. Simple proofs of sequential work. In: Vol 10821. Springer; 2018:451-467. doi:10.1007/978-3-319-78375-8_15
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. Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. 2018;98(4). doi:10.1103/PhysRevE.98.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. 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. 2018;115(35):35-42. doi:10.1073/pnas.1805847115
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, et al. Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. 2018. doi: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, et al. Sk2 channels associate with mGlu1;1 receptors and Ca.1 channels in Purkinje cells. Frontiers in Cellular Neuroscience. 2018;12. doi:10.3389/fncel.2018.00311
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. Single-shot readout of hole spins in Ge. Nano Letters. 2018;18(11):7141-7145. doi:10.1021/acs.nanolett.8b03217
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. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. In: Vol 11014. Springer; 2018:465-479. doi:10.1007/978-3-319-96983-1_33
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. Slow dynamics in translation-invariant quantum lattice models. Physical Review B. 2018;97(10). doi:10.1103/PhysRevB.97.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. Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution. 2018;8(22):11031-11070. doi:10.1002/ece3.4573
LibreCat: https://research-explorer.ista.ac.at/record/29
DOI: 10.1002/ece3.4573
WoS: 000451611000032

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

Frehse G, Giacobbe M, Henzinger TA. Space-time interpolants. In: Vol 10981. Springer; 2018:468-486. doi:10.1007/978-3-319-96145-3_25
LibreCat: https://research-explorer.ista.ac.at/record/140
DOI: 10.1007/978-3-319-96145-3_25
WoS: 000491481600025

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

Hannezo EB, Simons BD. Statistical theory of branching morphogenesis. Development Growth and Differentiation. 2018;60(9):512-521. doi:10.1111/dgd.12570
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. Strategy representation by decision trees in reactive synthesis. In: Vol 10805. Springer; 2018:385-407. doi:10.1007/978-3-319-89960-2_21
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. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. In: Vol 10982. Springer; 2018:178-197. doi:10.1007/978-3-319-96142-2_13
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. Sustained space complexity. In: Vol 10821. Springer; 2018:99-130. doi:10.1007/978-3-319-78375-8_4
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. Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms. Journal of Experimental Botany. 2018;69(19):4609-4624. doi:10.1093/jxb/ery204
LibreCat: https://research-explorer.ista.ac.at/record/36
DOI: 10.1093/jxb/ery204
WoS: 000443568700010

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

Qu K, Glass B, Doleeal M, et al. Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences. 2018;115(50):751-760. doi:10.1073/pnas.1811580115
LibreCat: https://research-explorer.ista.ac.at/record/5770
DOI: 10.1073/pnas.1811580115
WoS: 000452866000022
PMID: 30478053

Avni G, Kupferman O. Synthesis from component libraries with costs. Theoretical Computer Science. 2018;712:50-72. doi:10.1016/j.tcs.2017.11.001
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, et al. Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes. Molecular Neurobiology. 2018;55(6):4857 – 4869. doi:10.1007/s12035-017-0688-y
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, et al. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 2018;174(2):448-464.e24. doi:10.1016/j.cell.2018.06.033
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. The cyclindependent kinase G group defines a thermosensitive alternative splicing circuit modulating the expression of Arabidopsis ATU 2AF 65A. The Plant Journal. 2018;94(6):1010-1022. doi:10.1111/tpj.13914
LibreCat: https://research-explorer.ista.ac.at/record/403
DOI: 10.1111/tpj.13914
WoS: 000434365500008

Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer; 2018:147-164. doi:10.1007/978-3-319-95582-7_9
LibreCat: https://research-explorer.ista.ac.at/record/156
DOI: 10.1007/978-3-319-95582-7_9
WoS: 000489765800009

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

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

Kania U, Nodzyski T, Lu Q, et al. The inhibitor Endosidin 4 targets SE domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. The Plant Cell. 2018;30(10):2553-2572. doi:10.1105/tpc.18.00127
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, et al. The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. Nature Plants. 2018;4(8):596-604. doi:10.1038/s41477-018-0212-z
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. The signal-burying game can explain why we obscure positive traits and good deeds. Nature Human Behaviour. 2018;2:397-404. doi:10.1038/s41562-018-0354-z
LibreCat: https://research-explorer.ista.ac.at/record/293
DOI: 10.1038/s41562-018-0354-z
WoS: 000435551300009

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

Bauer G, Fakhri N, Kicheva A, et al. The science of living matter for tomorrow. Cell Systems. 2018;6(4):400-402. doi:10.1016/j.cels.2018.04.003
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. The spread of an inversion with migration and selection. Genetics. 2018;208(1):377-382. doi:10.1534/genetics.117.300426
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. The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory. Communications on Pure and Applied Mathematics. 2018;71(3):577-614. doi:10.1002/cpa.21717
LibreCat: https://research-explorer.ista.ac.at/record/446
DOI: 10.1002/cpa.21717
WoS: 000422675800004
arXiv: 1606.07355

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

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

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

Dasbiswas K, Hannezo EB, Gov N. Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients. Biophysical Journal. 2018;114(4):968-977. doi:10.1016/j.bpj.2017.12.022
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. Unusual diversity of sex chromosomes in African cichlid fishes. Genes. 2018;9(10). doi:10.3390/genes9100480
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. Weak ergodicity breaking from quantum many-body scars. Nature Physics. 2018;14:745-749. doi:10.1038/s41567-018-0137-5
LibreCat: https://research-explorer.ista.ac.at/record/296
DOI: 10.1038/s41567-018-0137-5
WoS: 000438253600028

Bodova K, Haskovec J, Markowich P. Well posedness and maximum entropy approximation for the dynamics of quantitative traits. Physica D: Nonlinear Phenomena. 2018;376-377:108-120. doi:10.1016/j.physd.2017.10.015
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. Two-photon processes based on quantum commutators. Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(4). doi:10.1103/PhysRevA.97.043842
LibreCat: https://research-explorer.ista.ac.at/record/294
DOI: 10.1103/PhysRevA.97.043842
WoS: 000430296800008
arXiv: 1801.06892

Duerinckx M, Fischer JL. Well-posedness for mean-field evolutions arising in superconductivity. Annales de l’Institut Henri Poincare (C) Non Linear Analysis. 2018;35(5):1267-1319. doi:10.1016/j.anihpc.2017.11.004
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. Keynote: The first-order logic of signals. In: 2018 International Conference on Embedded Software. IEEE; 2018:1-10. doi:10.1109/emsoft.2018.8537203
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. The convergence of stochastic gradient descent in asynchronous shared memory. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. ACM Press; 2018:169-178. doi:10.1145/3212734.3212763
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. Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0395
LibreCat: https://research-explorer.ista.ac.at/record/5860
DOI: 10.1098/rsif.2018.0395
WoS: 000456783800002
arXiv: 1612.01605

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

Rohou S, Franek P, Aubry C, Jaulin L. Proving the existence of loops in robot trajectories. The International Journal of Robotics Research. 2018;37(12):1500-1516. doi:10.1177/0278364918808367
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. Relaxed schedulers can efficiently parallelize iterative algorithms. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. ACM Press; 2018:377-386. doi:10.1145/3212734.3212756
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. Distributionally linearizable data structures. In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. ACM Press; 2018:133-142. doi:10.1145/3210377.3210411
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. The Big Match with a clock and a bit of memory. In: Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18. ACM Press; 2018:149-150. doi:10.1145/3219166.3219198
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. The transactional conflict problem. In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. ACM Press; 2018:383-392. doi:10.1145/3210377.3210406
LibreCat: https://research-explorer.ista.ac.at/record/5966
DOI: 10.1145/3210377.3210406
WoS: 000545269600046
arXiv: 1804.00947

Kolmogorov V. Commutativity in the algorithmic Lovász local lemma. SIAM Journal on Computing. 2018;47(6):2029-2056. doi:10.1137/16m1093306
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. Brief Announcement: Performance prediction for coarse-grained locking. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. ACM Press; 2018:411-413. doi:10.1145/3212734.3212785
LibreCat: https://research-explorer.ista.ac.at/record/5964
DOI: 10.1145/3212734.3212785
WoS: 000458186900052

Erdös L, Mühlbacher P. Bounds on the norm of Wigner-type random matrices. Random matrices: Theory and applications. 2018. doi:10.1142/s2010326319500096
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, et al. Optical functionalization of human class A orphan G-protein-coupled receptors. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-04342-1
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, et al. FlexMaps: Computational design of flat flexible shells for shaping 3D objects. ACM Transactions on Graphics. 2018;37(6). doi:10.1145/3272127.3275076
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. Theory of the rotating polaron: Spectrum and self-localization. Physical Review B. 2018;98(22). doi:10.1103/physrevb.98.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, et al. Tin diselenide molecular precursor for solution-processable thermoelectric materials. Angewandte Chemie International Edition. 2018;57(52):17063-17068. doi:10.1002/anie.201809847
LibreCat: https://research-explorer.ista.ac.at/record/5982
DOI: 10.1002/anie.201809847
WoS: 000454575500020

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

Ridderbos J, Brauns M, Shen J, et al. Josephson effect in a few-hole quantum dot. Advanced Materials. 2018;30(44). doi:10.1002/adma.201802257
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. Private set-intersection with common set-up. American Institute of Mathematical Sciences. 2018;12(1):17-47. doi:10.3934/amc.2018002
LibreCat: https://research-explorer.ista.ac.at/record/5980
DOI: 10.3934/amc.2018002
WoS: 000430950400002

Velicky P, Meinhardt G, Plessl K, et al. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 2018;14(10). doi:10.1371/journal.pgen.1007698
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, et al. Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation. Bioinformatics. 2018;34(21):3653-3658. doi:10.1093/bioinformatics/bty340
LibreCat: https://research-explorer.ista.ac.at/record/5995
DOI: 10.1093/bioinformatics/bty340
WoS: 000450038900008
PMID: 29722803

Dolati S, Kage F, Mueller J, et al. On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. 2018;29(22):2674-2686. doi:10.1091/mbc.e18-02-0082
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, et al. “Shepherd’s crook”10.1073/pnas.1804517115__neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences. 2018;115(32):15-23. doi:10.1073/pnas.1804517115
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. State of the art on stylized fabrication. Computer Graphics Forum. 2018;37(6):325-342. doi:10.1111/cgf.13327
LibreCat: https://research-explorer.ista.ac.at/record/6003
DOI: 10.1111/cgf.13327
WoS: 000437272800019

Napiórkowski MM, Reuvers R, Solovej JP. The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. 2018;229(3):1037-1090. doi:10.1007/s00205-018-1232-6
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. The critical point of the transition to turbulence in pipe flow. Journal of Fluid Mechanics. 2018;839:76-94. doi:10.1017/jfm.2017.923
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. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. ACM Transactions on Programming Languages and Systems. 2018;40(2). doi:10.1145/3174800
LibreCat: https://research-explorer.ista.ac.at/record/5993
DOI: 10.1145/3174800
WoS: 000434634500003
arXiv: 1510.08517

Yang Y, Zhao G. The cohomological Hall algebra of a preprojective algebra. Proceedings of the London Mathematical Society. 2018;116(5):1029-1074. doi:10.1112/plms.12111
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, et al. Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites. Genome Biology and Evolution. 2018;10(3):840-856. doi:10.1093/gbe/evy037
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. Fast quantized arithmetic on : Trading compute for data movement. In: 2018 IEEE International Workshop on Signal Processing Systems. Vol 2018-October. IEEE; 2018. doi:10.1109/SiPS.2018.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. Goal-HSVI: Heuristic search value iteration for goal-POMDPs. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Vol 2018-July. IJCAI; 2018:4764-4770. doi:10.24963/ijcai.2018/662
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. Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives. In: Vol 2018. IJCAI; 2018:4692-4699. doi:10.24963/ijcai.2018/652
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. Sensor synthesis for POMDPs with reachability objectives. In: Vol 2018. AAAI Press; 2018:47-55.
LibreCat: https://research-explorer.ista.ac.at/record/34
WoS: 000492986200006
arXiv: 1710.00675

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

Akopyan A, Avvakumov S. Any cyclic quadrilateral can be inscribed in any closed convex smooth curve. Forum of Mathematics, Sigma. 2018;6. doi:10.1017/fms.2018.7
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, et al. Efficient FEM-based simulation of soft robots modeled as kinematic chains. In: IEEE; 2018. doi:10.1109/icra.2018.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. SpaceMint: A cryptocurrency based on proofs of space. In: 22nd International Conference on Financial Cryptography and Data Security. Vol 10957. Springer Nature; 2018:480-499. doi:10.1007/978-3-662-58387-6_26
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, et al. The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective C+T cells. The Journal of Experimental Medicine. 2018;2015(7):1869–1890. doi:10.1084/jem.20170896
LibreCat: https://research-explorer.ista.ac.at/record/6497
DOI: 10.1084/jem.20170896
WoS: 000440822900011