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

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

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

Westram AM, Rafajlovi M, Chaube P, et al. Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow. Evolution Letters. 2018;2(4):297-309. doi:10.1002/evl3.74
LibreCat: https://research-explorer.ista.ac.at/record/9917
DOI: 10.1002/evl3.74
WoS: 000446774400004
PMID: 30283683

Hollander J, Montaño-Rendón M, Bianco G, et al. Are assortative mating and genital divergence driven by reinforcement? Evolution Letters. 2018;2(6):557-566. doi:10.1002/evl3.85
LibreCat: https://research-explorer.ista.ac.at/record/9915
DOI: 10.1002/evl3.85
WoS: 000452990000002
PMID: 30564439

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

Moturu TR, Thula S, Singh RK, et al. Molecular evolution and diversification of the SMXL gene family. Journal of Experimental Botany. 2018;69(9):2367-2378. doi:10.1093/jxb/ery097
LibreCat: https://research-explorer.ista.ac.at/record/10881
DOI: 10.1093/jxb/ery097
WoS: 000430727000016
PMID: 29538714

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

Westram AM, Rafajlovi M, Chaube P, et al. Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow. 2018. doi:10.5061/dryad.bp25b65
LibreCat: https://research-explorer.ista.ac.at/record/9930
DOI: 10.5061/dryad.bp25b65

Hollander J, Montaño-Rendón M, Bianco G, et al. Data from: Are assortative mating and genital divergence driven by reinforcement? 2018. doi:10.5061/dryad.51sd2p5
LibreCat: https://research-explorer.ista.ac.at/record/9929
DOI: 10.5061/dryad.51sd2p5

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

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

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

Ringbauer H. Inferring recent demography from spatial genetic structure. 2018. doi:10.15479/AT:ISTA:th_963
LibreCat: https://research-explorer.ista.ac.at/record/200
DOI: 10.15479/AT:ISTA:th_963

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

Gschaider-Reichhart E. Optical and optogenetic control of proliferation and survival . 2018. doi:10.15479/AT:ISTA:th_913
LibreCat: https://research-explorer.ista.ac.at/record/418
DOI: 10.15479/AT:ISTA:th_913

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

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

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

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

Moser T. Point interactions in systems of fermions. 2018. doi:10.15479/AT:ISTA:th_1043
LibreCat: https://research-explorer.ista.ac.at/record/52
DOI: 10.15479/AT:ISTA:th_1043

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

Vukusi L. Charge sensing and spin relaxation times of holes in Ge hut wires. 2018. doi:10.15479/AT:ISTA:TH_1047
LibreCat: https://research-explorer.ista.ac.at/record/69
DOI: 10.15479/AT:ISTA:TH_1047

Chen C. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. 2018. doi:10.15479/AT:ISTA:th_997
LibreCat: https://research-explorer.ista.ac.at/record/324
DOI: 10.15479/AT:ISTA:th_997

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

Nejjar P. Transition to shocks in TASEP and decoupling of last passage times. Latin American Journal of Probability and Mathematical Statistics. 2018;15(2):1311-1334. doi:10.30757/ALEA.v15-49
LibreCat: https://research-explorer.ista.ac.at/record/70
DOI: 10.30757/ALEA.v15-49
WoS: 000460475800022
arXiv: 1705.08836

Turner CJ, Michailidis A, Abanin DA, Serbyn M, Papi Z. Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations. Physical Review B. 2018;98(15). doi:10.1103/PhysRevB.98.155134
LibreCat: https://research-explorer.ista.ac.at/record/44
DOI: 10.1103/PhysRevB.98.155134
WoS: 000447919100001
arXiv: 1806.10933

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

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

Marin Valencia I, Novarino G, Johansen A, et al. A homozygous founder mutation in TRAPPB associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features. Journal of Medical Genetics. 2018;55(1):48-54. doi:10.1136/jmedgenet-2017-104627
LibreCat: https://research-explorer.ista.ac.at/record/691
DOI: 10.1136/jmedgenet-2017-104627
WoS: 000418199800007
PMID: 28626029

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

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