A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.
LibreCat: https://research-explorer.ista.ac.at/record/78
DOI: 10.1007/978-3-030-00151-3_13
WoS: 000884993200013

M. Brauns, S. Amitonov, P. Spruijtenburg, and F. Zwanenburg, “Palladium gates for reproducible quantum dots in silicon,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/317
DOI: 10.1038/s41598-018-24004-y
WoS: 000429404300013

Z. Liutkeviciute et al., “Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity,” The FASEB Journal, vol. 32, no. 12. FASEB, pp. 6808–6821, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/194
DOI: 10.1096/fj.201800443
WoS: 000449359700035
PMID: 29939785

T. Fehrentz et al., “Optical control of L-type C+ channels using a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature Publishing Group, pp. 764–767, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/159
DOI: 10.1038/s41589-018-0090-8
WoS: 000438970200010

S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.
LibreCat: https://research-explorer.ista.ac.at/record/79
DOI: 10.1007/978-3-319-99154-2_4
WoS: 000548912200004
arXiv: 1806.05126

A. Deuchert, A. Geisinge, C. Hainzl, and M. Loss, “Persistence of translational symmetry in the BCS model with radial pair interaction,” Annales Henri Poincare, vol. 19, no. 5. Springer, pp. 1507–1527, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/400
DOI: 10.1007/s00023-018-0665-7
WoS: 000429799900008

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

M. Pleska, M. Lang, D. Refardt, B. Levin, and C. C. Guet, “Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity,” Nature Ecology and Evolution, vol. 2, no. 2. Springer Nature, pp. 359–366, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/457
DOI: 10.1038/s41559-017-0424-z
WoS: 000426516400027

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

L. Erdös, T. H. Krüger, and D. T. Renfrew, “Power law decay for systems of randomly coupled differential equations,” SIAM Journal on Mathematical Analysis, vol. 50, no. 3. Society for Industrial and Applied Mathematics , pp. 3271–3290, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/181
DOI: 10.1137/17M1143125
WoS: 000437018500032
arXiv: 1708.01546

I. V. Ganev, “Quantizations of multiplicative hypertoric varieties at a root of unity,” Journal of Algebra, vol. 506. World Scientific Publishing, pp. 92–128, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/322
DOI: 10.1016/j.jalgebra.2018.03.015
WoS: 000433270600005
arXiv: 1412.7211

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

H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.
LibreCat: https://research-explorer.ista.ac.at/record/142
DOI: 10.1007/978-3-319-96145-3_24
WoS: 000491481600024

P. Amaro et al., “Quantum interference in laser spectroscopy of highly charged lithiumlike ions,”  Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 2. American Physical Society, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/427
DOI: 10.1103/PhysRevA.97.022510
WoS: 000425601000004
arXiv: 1802.07920

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

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

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

M. Fendrych et al., “Rapid and reversible root growth inhibition by TI auxin signalling,” Nature Plants, vol. 4, no. 7. Springer Nature, pp. 453–459, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/192
DOI: 10.1038/s41477-018-0190-1
WoS: 000443221200017
PMID: 29942048

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

H. Sachdeva and N. H. Barton, “Replicability of introgression under linked, polygenic selection,” Genetics, vol. 210, no. 4. Genetics Society of America, pp. 1411–1427, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/39
DOI: 10.1534/genetics.118.301429
WoS: 000452315900021

G. Bighin and L. Salasnich, “Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover,” International Journal of Modern Physics B, vol. 32, no. 17. World Scientific Publishing, p. 1840022, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/420
DOI: 10.1142/S0217979218400222
WoS: 000438217300007

H. Tavares et al., “Selection and gene flow shape genomic islands that control floral guides,” PNAS, vol. 115, no. 43. National Academy of Sciences, pp. 11006–11011, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/38
DOI: 10.1073/pnas.1801832115
WoS: 000448040500065
PMID: 30297406

A. Xuereb, M. Aquilina, and S. Barzanjeh, “Routing thermal noise through quantum networks,” presented at the SPIE: The international society for optical engineering, Strasbourg, France, 2018, vol. 10672.
LibreCat: https://research-explorer.ista.ac.at/record/155
DOI: 10.1117/12.2309928
WoS: 000453298500019
arXiv: 1806.01000

K. Gotlieb et al., “Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor,” Science, vol. 362, no. 6420. American Association for the Advancement of Science, pp. 1271–1275, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5767
DOI: 10.1126/science.aao0980
WoS: 000452994400048

Y. Jiang et al., “Safety-assured model-driven design of the multifunction vehicle bus controller,” IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 10. IEEE, pp. 3320–3333, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/434
DOI: 10.1109/TITS.2017.2778077
WoS: 000446651100020

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

B. Cohen and K. Z. Pietrzak, “Simple proofs of sequential work,” presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 451–467.
LibreCat: https://research-explorer.ista.ac.at/record/302
DOI: 10.1007/978-3-319-78375-8_15
WoS: 000517098700015

U. Ferrari, S. Deny, M. J. Chalk, G. Tkadik, O. Marre, and T. Mora, “Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons,” Physical Review E, vol. 98, no. 4. American Physical Society, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/31
DOI: 10.1103/PhysRevE.98.042410
WoS: 000447486100004

N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, and E. Lupercio, “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, vol. 115, no. 35. National Academy of Sciences, pp. 35–42, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/64
DOI: 10.1073/pnas.1805847115
WoS: 000442861600009
arXiv: 1806.09153

M. Kaucka et al., “Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage.” Dryad, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/9838
DOI: 10.5061/dryad.f1s76f2

R. Luján et al., “Sk2 channels associate with mGlu1;1 receptors and Ca.1 channels in Purkinje cells,” Frontiers in Cellular Neuroscience, vol. 12. Frontiers Media, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/41
DOI: 10.3389/fncel.2018.00311
WoS: 000445090100002

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

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

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

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

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

G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486.
LibreCat: https://research-explorer.ista.ac.at/record/140
DOI: 10.1007/978-3-319-96145-3_25
WoS: 000491481600025

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

E. B. Hannezo and B. D. Simons, “Statistical theory of branching morphogenesis,” Development Growth and Differentiation, vol. 60, no. 9. Wiley, pp. 512–521, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5787
DOI: 10.1111/dgd.12570
WoS: 000453555100002

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

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

J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Sustained space complexity,” presented at the Eurocrypt 2018: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 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

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

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

K. Qu et al., “Structure and architecture of immature and mature murine leukemia virus capsids,” Proceedings of the National Academy of Sciences, vol. 115, no. 50. Proceedings of the National Academy of Sciences, pp. 751–760, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5770
DOI: 10.1073/pnas.1811580115
WoS: 000452866000022
PMID: 30478053

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

A. Miklosi et al., “Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes,” Molecular Neurobiology, vol. 55, no. 6. Springer, pp. 4857 – 4869, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/705
DOI: 10.1007/s12035-017-0688-y
WoS: 000431991500025

T. Nishiyama et al., “The Chara genome: Secondary complexity and implications for plant terrestrialization,” Cell, vol. 174, no. 2. Cell Press, p. 448–464.e24, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/148
DOI: 10.1016/j.cell.2018.06.033
WoS: 000438482800019
PMID: 30007417

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

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

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

N. H. Barton, “The consequences of an introgression event,” Molecular Ecology, vol. 27, no. 24. Wiley, pp. 4973–4975, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/40
DOI: 10.1111/mec.14950
WoS: 000454600500001
PMID: 30599087

J. H. Alanko and M. K. Sixt, “The cell sets the tone,” eLife, vol. 7. eLife Sciences Publications, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5861
DOI: 10.7554/eLife.37888
WoS: 000434375000001

U. Kania 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, vol. 30, no. 10. Oxford University Press, pp. 2553–2572, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/147
DOI: 10.1105/tpc.18.00127
WoS: 000450000500023
PMID: 30018156

C. L. Shi et al., “The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling,” Nature Plants, vol. 4, no. 8. Nature Publishing Group, pp. 596–604, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/146
DOI: 10.1038/s41477-018-0212-z
WoS: 000443861300016
PMID: 30061750

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

N. P. Benedikter, J. Sok, and J. Solovej, “The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations,” Annales Henri Poincare, vol. 19, no. 4. Birkhäuser, pp. 1167–1214, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/455
DOI: 10.1007/s00023-018-0644-z
WoS: 000427578900006

G. Bauer et al., “The science of living matter for tomorrow,” Cell Systems, vol. 6, no. 4. Cell Press, pp. 400–402, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/314
DOI: 10.1016/j.cels.2018.04.003
WoS: 000432192100003
PMID: 29698645

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

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

J. Novembre and N. H. Barton, “Tread lightly interpreting polygenic tests of selection,” Genetics, vol. 208, no. 4. Genetics Society of America, pp. 1351–1355, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/430
DOI: 10.1534/genetics.118.300786
WoS: 000429094400005

W. Ma et al., “Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes,” Genes, vol. 9, no. 6. MDPI AG, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/199
DOI: 10.3390/genes9060294
WoS: 000436494200026

M. J. Chalk, O. Marre, and G. Tkadik, “Toward a unified theory of efficient, predictive, and sparse coding,” PNAS, vol. 115, no. 1. National Academy of Sciences, pp. 186–191, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/543
DOI: 10.1073/pnas.1711114115
WoS: 000419128700049

K. Dasbiswas, E. B. Hannezo, and N. Gov, “Theory of eppithelial cell shape transitions induced by mechanoactive chemical gradients,” Biophysical Journal, vol. 114, no. 4. Biophysical Society, pp. 968–977, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/421
DOI: 10.1016/j.bpj.2017.12.022
WoS: 000428016700021
arXiv: 1709.01486

W. J. Gammerdinger and T. Kocher, “Unusual diversity of sex chromosomes in African cichlid fishes,” Genes, vol. 9, no. 10. MDPI AG, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/63
DOI: 10.3390/genes9100480
WoS: 000448656700018

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

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

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

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

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

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

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

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

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

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

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

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

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

V. Kolmogorov, “Commutativity in the algorithmic Lovász local lemma,” SIAM Journal on Computing, vol. 47, no. 6. Society for Industrial &; Applied Mathematics (SIAM), pp. 2029–2056, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5975
DOI: 10.1137/16m1093306
WoS: 000453785100001
arXiv: 1506.08547

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

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

M. Morri et al., “Optical functionalization of human class A orphan G-protein-coupled receptors,” Nature Communications, vol. 9, no. 1. Springer Nature, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5984
DOI: 10.1038/s41467-018-04342-1
WoS: 000432280000006

L. Malomo et al., “FlexMaps: Computational design of flat flexible shells for shaping 3D objects,” ACM Transactions on Graphics, vol. 37, no. 6. Association for Computing Machinery (ACM), 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5976
DOI: 10.1145/3272127.3275076
WoS: 000455953100064

E. Yakaboylu, B. Midya, A. Deuchert, N. K. Leopold, and M. Lemeshko, “Theory of the rotating polaron: Spectrum and self-localization,” Physical Review B, vol. 98, no. 22. American Physical Society, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5983
DOI: 10.1103/physrevb.98.224506
WoS: 000452992700008
arXiv: 1809.01204

Y. Zhang et al., “Tin diselenide molecular precursor for solution-processable thermoelectric materials,” Angewandte Chemie International Edition, vol. 57, no. 52. Wiley, pp. 17063–17068, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5982
DOI: 10.1002/anie.201809847
WoS: 000454575500020

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

J. Ridderbos et al., “Josephson effect in a few-hole quantum dot,” Advanced Materials, vol. 30, no. 44. Wiley, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5990
DOI: 10.1002/adma.201802257
WoS: 000450232800015
arXiv: 1809.08487

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

P. Velicky et al., “Genome amplification and cellular senescence are hallmarks of human placenta development,” PLOS Genetics, vol. 14, no. 10. Public Library of Science, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5998
DOI: 10.1371/journal.pgen.1007698
WoS: 000449328500025

D. R. Usmanova et al., “Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation,” Bioinformatics, vol. 34, no. 21. Oxford University Press , pp. 3653–3658, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5995
DOI: 10.1093/bioinformatics/bty340
WoS: 000450038900008
PMID: 29722803

S. Dolati et al., “On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility,” Molecular Biology of the Cell, vol. 29, no. 22. American Society for Cell Biology , pp. 2674–2686, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5992
DOI: 10.1091/mbc.e18-02-0082
WoS: 000455641000011
PMID: 30156465

F. Garrido-Charad et al., ““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, vol. 115, no. 32. National Academy of Sciences, pp. 15–23, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6010
DOI: 10.1073/pnas.1804517115
WoS: 000440982000020
PMID: 30026198

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

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

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

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

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

J. Kincaid-Smith et al., “Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites,” Genome Biology and Evolution, vol. 10, no. 3. Oxford University Press, pp. 840–856, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5989
DOI: 10.1093/gbe/evy037
WoS: 000429483700013

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

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