Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004

Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
LibreCat: https://research-explorer.ista.ac.at/record/76
DOI: 10.1007/s00446-018-0342-6
WoS: 000475627800005

Edelsbrunner H, Iglesias Ham M. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 2018;68:119-133. doi:10.1016/j.comgeo.2017.06.014
LibreCat: https://research-explorer.ista.ac.at/record/530
DOI: 10.1016/j.comgeo.2017.06.014
WoS: 000415778300010

Redchenko E, Makarov A, Yudson V. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. 10.1103/PhysRevA.97.043812__Physical Review A - Atomic, Molecular, and Optical Physics. 2018;97(4). doi:10.1103/PhysRevA.97.043812
LibreCat: https://research-explorer.ista.ac.at/record/307
DOI: 10.1103/PhysRevA.97.043812
WoS: 000429454000015
arXiv: 1712.10127

Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. 2018;19. doi:10.1186/s13059-018-1434-0
LibreCat: https://research-explorer.ista.ac.at/record/279
DOI: 10.1186/s13059-018-1434-0
WoS: 000433986200001

Truckenbrodt SM, Viplav A, Jähne S, et al. Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. 2018;37(15). doi:10.15252/embj.201798044
LibreCat: https://research-explorer.ista.ac.at/record/145
DOI: 10.15252/embj.201798044
WoS: 000440416900005
PMID: 29950309

Fan L, Zhao L, Hu W, et al. NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development. Plant, Cell and Environment. 2018;41:850-864. doi:10.1111/pce.13153
LibreCat: https://research-explorer.ista.ac.at/record/462
DOI: 10.1111/pce.13153
WoS: 000426870500012
PMID: 29360148

Altmeyer S. Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow. Journal of Magnetism and Magnetic Materials. 2018;452:427-441. doi:10.1016/j.jmmm.2017.12.073
LibreCat: https://research-explorer.ista.ac.at/record/519
DOI: 10.1016/j.jmmm.2017.12.073
WoS: 000425547700061

Huang M, Fu H, Chatterjee K. New approaches for almost-sure termination of probabilistic programs. In: Ryu S, ed. Vol 11275. Springer; 2018:181-201. doi:10.1007/978-3-030-02768-1_11
LibreCat: https://research-explorer.ista.ac.at/record/5679
DOI: 10.1007/978-3-030-02768-1_11
WoS: 000916310900011
arXiv: 1806.06683

Sacco R, Cacci E, Novarino G. Neural stem cells in neuropsychiatric disorders. Current Opinion in Neurobiology. 2018;48(2):131-138. doi:10.1016/j.conb.2017.12.005
LibreCat: https://research-explorer.ista.ac.at/record/546
DOI: 10.1016/j.conb.2017.12.005
WoS: 000427101600018

Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. 2018. doi:10.6084/m9.figshare.6401414.v1
LibreCat: https://research-explorer.ista.ac.at/record/9812
DOI: 10.6084/m9.figshare.6401414.v1

Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. 2018. doi:10.6084/m9.figshare.6401390.v1
LibreCat: https://research-explorer.ista.ac.at/record/9811
DOI: 10.6084/m9.figshare.6401390.v1

Higareda Almaraz J, Karbiener M, Giroud M, et al. Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. BMC Genomics. 2018;19(1). doi:10.1186/s12864-018-5173-0
LibreCat: https://research-explorer.ista.ac.at/record/20
DOI: 10.1186/s12864-018-5173-0
WoS: 000450976700002

Dziembowski S, Pietrzak KZ, Wichs D. Non-malleable codes. Journal of the ACM. 2018;65(4). doi:10.1145/3178432
LibreCat: https://research-explorer.ista.ac.at/record/107
DOI: 10.1145/3178432
WoS: 000442938200004

Carvalho L, Patricio P, Ponte S, et al. Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology. 2018;217(12):4267-4283. doi:10.1083/jcb.201804048
LibreCat: https://research-explorer.ista.ac.at/record/5676
DOI: 10.1083/jcb.201804048
WoS: 000451960800018
PMID: 30228162 

Locatello F, Vincent D, Tolstikhin I, Ratsch G, Gelly S, Scholkopf B. Clustering meets implicit generative models. In: 6th International Conference on Learning Representations. ; 2018.
LibreCat: https://research-explorer.ista.ac.at/record/14224
arXiv: 1804.11130

Higareda Almaraz J, Karbiener M, Giroud M, et al. Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. 2018. doi:10.6084/m9.figshare.7295339.v1
LibreCat: https://research-explorer.ista.ac.at/record/9807
DOI: 10.6084/m9.figshare.7295339.v1

Higareda Almaraz J, Karbiener M, Giroud M, et al. Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes. 2018. doi:10.6084/m9.figshare.7295369.v1
LibreCat: https://research-explorer.ista.ac.at/record/9808
DOI: 10.6084/m9.figshare.7295369.v1

Alwen JF, Gazi P, Kamath Hosdurg C, et al. On the memory hardness of data independent password hashing functions. In: Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ACM; 2018:51-65. doi:10.1145/3196494.3196534
LibreCat: https://research-explorer.ista.ac.at/record/193
DOI: 10.1145/3196494.3196534
WoS: 000516620100005

Micciancio D, Walter M. On the bit security of cryptographic primitives. In: Vol 10820. Springer; 2018:3-28. doi:10.1007/978-3-319-78381-9_1
LibreCat: https://research-explorer.ista.ac.at/record/300
DOI: 10.1007/978-3-319-78381-9_1
WoS: 000517097500001

Edelsbrunner H, Iglesias Ham M. On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. 2018;32(1):750-782. doi:10.1137/16M1097201
LibreCat: https://research-explorer.ista.ac.at/record/312
DOI: 10.1137/16M1097201
WoS: 000428958900038

Akopyan A. On the number of non-hexagons in a planar tiling. Comptes Rendus Mathematique. 2018;356(4):412-414. doi:10.1016/j.crma.2018.03.005
LibreCat: https://research-explorer.ista.ac.at/record/409
DOI: 10.1016/j.crma.2018.03.005
WoS: 000430402700009
arXiv: 1805.01652

Hilbe C, Chatterjee K, Nowak M. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2018;2:469–477. doi:10.1038/s41562-018-0320-9
LibreCat: https://research-explorer.ista.ac.at/record/419
DOI: 10.1038/s41562-018-0320-9
WoS: 000446612000016

Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:10.1007/978-3-030-00151-3_13
LibreCat: https://research-explorer.ista.ac.at/record/78
DOI: 10.1007/978-3-030-00151-3_13
WoS: 000884993200013

Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. Palladium gates for reproducible quantum dots in silicon. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-24004-y
LibreCat: https://research-explorer.ista.ac.at/record/317
DOI: 10.1038/s41598-018-24004-y
WoS: 000429404300013

Liutkeviciute Z, Gil Mansilla E, Eder T, et al. Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. 2018;32(12):6808-6821. doi:10.1096/fj.201800443
LibreCat: https://research-explorer.ista.ac.at/record/194
DOI: 10.1096/fj.201800443
WoS: 000449359700035
PMID: 29939785

Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type C+ channels using a diltiazem photoswitch. Nature Chemical Biology. 2018;14(8):764-767. doi:10.1038/s41589-018-0090-8
LibreCat: https://research-explorer.ista.ac.at/record/159
DOI: 10.1038/s41589-018-0090-8
WoS: 000438970200010

Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. Parameter-independent strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:10.1007/978-3-319-99154-2_4
LibreCat: https://research-explorer.ista.ac.at/record/79
DOI: 10.1007/978-3-319-99154-2_4
WoS: 000548912200004
arXiv: 1806.05126

Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv. doi:10.48550/arXiv.1804.11130
LibreCat: https://research-explorer.ista.ac.at/record/14327
DOI: 10.48550/arXiv.1804.11130
arXiv: 1804.11130

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

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