Efficient parametric identification for STL
A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.
LibreCat: https://research-explorer.ista.ac.at/record/182
DOI: 10.1145/3178126.3178132
WoS: 000474781600020

Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kudera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
LibreCat: https://research-explorer.ista.ac.at/record/143
DOI: 10.1145/3209108.3209191
WoS: 000545262800020

Efficient optimization for rank-based loss functions
P. Mohapatra, M. Rolinek, C.V. Jawahar, V. Kolmogorov, M.P. Kumar, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 3693–3701.
LibreCat: https://research-explorer.ista.ac.at/record/273
DOI: 10.1109/cvpr.2018.00389
WoS: 000457843603087
arXiv: 1604.08269

Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene
A. Zibrov, P. Rao, C. Kometter, J. Li, C. Dean, T. Taniguchi, K. Watanabe, M. Serbyn, A. Young, Physical Review Letters 121 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/289
DOI: 10.1103/PhysRevLett.121.167601
WoS: 000447307500007
arXiv: 1805.01038

Electromagnetic fields and optomechanics In cancer diagnostics and treatment
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.
LibreCat: https://research-explorer.ista.ac.at/record/287
DOI: 10.2741/4651
WoS: 000439042800001
PMID: 29293441

Embeddability in the 3-Sphere is decidable
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/425
DOI: 10.1145/3078632
WoS: 000425685900006
arXiv: 1402.0815

Establishment in a new habitat by polygenic adaptation
N.H. Barton, A. Etheridge, Theoretical Population Biology 122 (2018) 110–127.
LibreCat: https://research-explorer.ista.ac.at/record/564
DOI: 10.1016/j.tpb.2017.11.007
WoS: 000440392900014

Evolution of cooperation in stochastic games
C. Hilbe, S. Simsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
LibreCat: https://research-explorer.ista.ac.at/record/157
DOI: 10.1038/s41586-018-0277-x
WoS: 000438240900054

Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome Biology and Evolution 10 (2018) 928–938.
LibreCat: https://research-explorer.ista.ac.at/record/384
DOI: 10.1093/gbe/evy049
WoS: 000429483700022

Estimating barriers to gene flow from distorted isolation-by-distance patterns
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.
LibreCat: https://research-explorer.ista.ac.at/record/563
DOI: 10.1534/genetics.117.300638
WoS: 000426219600025

Extended narrow band FLIP for liquid simulations
T. Sato, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, Computer Graphics Forum 37 (2018) 169–177.
LibreCat: https://research-explorer.ista.ac.at/record/135
DOI: 10.1111/cgf.13351
WoS: 000434085600016

Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, Genetics 209 (2018) 861–883.
LibreCat: https://research-explorer.ista.ac.at/record/316
DOI: 10.1534/genetics.118.300748
WoS: 000437171700017

Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest
M. Harrison, N. Arning, L. Kremer, G. Ylla, X. Belles, E. Bornberg Bauer, A.K. Huylmans, E. Jongepier, M. Puilachs, S. Richards, C. Schal, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 330 (2018) 254–264.
LibreCat: https://research-explorer.ista.ac.at/record/190
DOI: 10.1002/jez.b.22824
WoS: 000443231000002
PMID: 29998472

Existence of positive solutions to stochastic thin-film equations
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 50 (2018) 411–455.
LibreCat: https://research-explorer.ista.ac.at/record/404
DOI: 10.1137/16M1098796
WoS: 000426630900015

Supplemental material for Bodova et al., 2018
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9813
DOI: 10.25386/genetics.6148304.v1

Genetically encodable bioluminescent system from fungi
A.A. Kotlobay, K. Sarkisyan, Y.A. Mokrushina, M. Marcet-Houben, E.O. Serebrovskaya, N.M. Markina, L. Gonzalez Somermeyer, A.Y. Gorokhovatsky, A. Vvedensky, K.V. Purtov, V.N. Petushkov, N.S. Rodionova, T.V. Chepurnyh, L. Fakhranurova, E.B. Guglya, R. Ziganshin, A.S. Tsarkova, Z.M. Kaskova, V. Shender, M. Abakumov, T.O. Abakumova, I.S. Povolotskaya, F.M. Eroshkin, A.G. Zaraisky, A.S. Mishin, S.V. Dolgov, T.Y. Mitiouchkina, E.P. Kopantzev, H.E. Waldenmaier, A.G. Oliveira, Y. Oba, E. Barsova, E.A. Bogdanova, T. Gabaldón, C.V. Stevani, S. Lukyanov, I.V. Smirnov, J.I. Gitelson, F. Kondrashov, I.V. Yampolsky, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) 12728–12732.
LibreCat: https://research-explorer.ista.ac.at/record/5780
DOI: 10.1073/pnas.1803615115
WoS: 000452866000068

Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, PNAS 115 (2018) 3716–3721.
LibreCat: https://research-explorer.ista.ac.at/record/428
DOI: 10.1073/pnas.1721760115
WoS: 000429012500073

Flexible learning-free segmentation and reconstruction of neural volumes
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/62
DOI: 10.1038/s41598-018-32628-3
WoS: 000445336600015

Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration
A.F. Leithner, J. Renkawitz, I. de Vries, R. Hauschild, H. Haecker, M.K. Sixt, European Journal of Immunology 48 (2018) 1074–1077.
LibreCat: https://research-explorer.ista.ac.at/record/437
DOI: 10.1002/eji.201747358
WoS: 000434963700016

Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.
LibreCat: https://research-explorer.ista.ac.at/record/617
DOI: 10.1111/jeb.13211
WoS: 000419307000014
PMID: 29150962

Genomics in neurodevelopmental disorders: an avenue to personalized medicine
D.-C. Tarlungeanu, G. Novarino, Experimental &; Molecular Medicine 50 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5888
DOI: 10.1038/s12276-018-0129-7
WoS: 000441266700006
PMID: 30089840

Fermionic behavior of ideal anyons
D. Lundholm, R. Seiringer, Letters in Mathematical Physics 108 (2018) 2523–2541.
LibreCat: https://research-explorer.ista.ac.at/record/295
DOI: 10.1007/s11005-018-1091-y
WoS: 000446491500008
arXiv: 1712.06218

Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.
LibreCat: https://research-explorer.ista.ac.at/record/555
DOI: 10.1016/j.sbi.2017.12.002
WoS: 000443661300011

Hemimetabolous genomes reveal molecular basis of termite eusociality
M. Harrison, E. Jongepier, H. Robertson, N. Arning, T. Bitard Feildel, H. Chao, C. Childers, H. Dinh, H. Doddapaneni, S. Dugan, J. Gowin, C. Greiner, Y. Han, H. Hu, D. Hughes, A.K. Huylmans, K. Kemena, L. Kremer, S. Lee, A. López Ezquerra, L. Mallet, J. Monroy Kuhn, A. Moser, S. Murali, D. Muzny, S. Otani, M. Piulachs, M. Poelchau, J. Qu, F. Schaub, A. Wada Katsumata, K. Worley, Q. Xie, G. Ylla, M. Poulsen, R. Gibbs, C. Schal, S. Richards, X. Belles, J. Korb, E. Bornberg Bauer, Nature Ecology and Evolution 2 (2018) 557–566.
LibreCat: https://research-explorer.ista.ac.at/record/448
DOI: 10.1038/s41559-017-0459-1
WoS: 000426559600026

How to escape local optima in black box optimisation when non elitism outperforms elitism
P. Oliveto, T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 80 (2018) 1604–1633.
LibreCat: https://research-explorer.ista.ac.at/record/723
DOI: 10.1007/s00453-017-0369-2
WoS: 000428239300010

Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.
LibreCat: https://research-explorer.ista.ac.at/record/321
DOI: 10.1109/TPAMI.2018.2804998
WoS: 000428901200001

Data from: Hemimetabolous genomes reveal molecular basis of termite eusociality
M.C. Harrison, E. Jongepier, H.M. Robertson, N. Arning, T. Bitard-Feildel, H. Chao, C.P. Childers, H. Dinh, H. Doddapaneni, S. Dugan, J. Gowin, C. Greiner, Y. Han, H. Hu, D.S.T. Hughes, A.K. Huylmans, C. Kemena, L.P.M. Kremer, S.L. Lee, A. Lopez-Ezquerra, L. Mallet, J.M. Monroy-Kuhn, A. Moser, S.C. Murali, D.M. Muzny, S. Otani, M.-D. Piulachs, M. Poelchau, J. Qu, F. Schaub, A. Wada-Katsumata, K.C. Worley, Q. Xie, G. Ylla, M. Poulsen, R.A. Gibbs, C. Schal, S. Richards, X. Belles, J. Korb, E. Bornberg-Bauer, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9841
DOI: 10.5061/dryad.51d4r

Harnessing epoch-based reclamation for efficient range queries
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
LibreCat: https://research-explorer.ista.ac.at/record/397
DOI: 10.1145/3178487.3178489
WoS: 000446161100002

In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit Glu
T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7.
LibreCat: https://research-explorer.ista.ac.at/record/32
DOI: 10.1016/j.celrep.2018.09.066
WoS: 000448219500005

IgM's exit route
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
LibreCat: https://research-explorer.ista.ac.at/record/5672
DOI: 10.1084/jem.20181934
WoS: 000451920600002

Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
LibreCat: https://research-explorer.ista.ac.at/record/398
DOI: 10.1016/j.wneu.2018.02.096
WoS: 000432942700070

Incircular nets and confocal conics
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.
LibreCat: https://research-explorer.ista.ac.at/record/458
DOI: 10.1090/tran/7292
WoS: 000423197800019

Individual- and ejaculate-specific sperm traits in ant males
S. Metzler, A. Schrempf, J. Heinze, Journal of Insect Physiology 107 (2018) 284–290.
LibreCat: https://research-explorer.ista.ac.at/record/426
DOI: 10.1016/j.jinsphys.2017.12.003
WoS: 000434751100034

Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
LibreCat: https://research-explorer.ista.ac.at/record/5788
DOI: 10.1007/978-3-030-04612-5_2
WoS: 000865933000002
arXiv: 1804.04372

Inositol phosphates are assembly co-factors for HIV-1
R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M. Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature 560 (2018) 509–512.
LibreCat: https://research-explorer.ista.ac.at/record/150
DOI: 10.1038/s41586-018-0396-4
WoS: 000442483400046
PMID: 30158708

Introduction to tropical series and wave dynamic on them
N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849.
LibreCat: https://research-explorer.ista.ac.at/record/303
DOI: 10.3934/dcds.2018120
WoS: 000438818400007
arXiv: 1706.03062

Introgression of a block of genome under infinitesimal selection
H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
LibreCat: https://research-explorer.ista.ac.at/record/282
DOI: 10.1534/genetics.118.301018
WoS: 000440014100020

Inverted leftover hash lemma
M. Obremski, M. Skórski, in:, IEEE, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/108
DOI: 10.1109/ISIT.2018.8437654
WoS: 000448139300368

Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
LibreCat: https://research-explorer.ista.ac.at/record/160
DOI: 10.1007/978-3-319-96145-3_5
WoS: 000491481600005

KIR and ORESAR terminate flower receptivity by promoting cell death in the stigma of Arabidopsis
Z. Gao, A. Daneva, Y. Salanenka, M. Van Durme, M. Huysmans, Z. Lin, F. De Winter, S. Vanneste, M. Karimi, J. Van De Velde, K. Vandepoele, D. Van De Walle, K. Dewettinck, B. Lambrecht, M. Nowack, Nature Plants 4 (2018) 365–375.
LibreCat: https://research-explorer.ista.ac.at/record/280
DOI: 10.1038/s41477-018-0160-7
WoS: 000435571000017

Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains
K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52.
LibreCat: https://research-explorer.ista.ac.at/record/503
DOI: 10.1016/j.jbiotec.2018.01.008
WoS: 000425715100006

Leaky resistance and the conditions for the existence of lytic bacteriophage
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/82
DOI: 10.1371/journal.pbio.2005971
WoS: 000443383300024

Learning three-dimensional flow for interactive aerodynamic design
N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/4
DOI: 10.1145/3197517.3201325
WoS: 000448185000050

Localizing faults in simulink/stateflow models with STL
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/183
DOI: 10.1145/3178126.3178131
WoS: 000474781600022

Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability  28 (2018) 148–203.
LibreCat: https://research-explorer.ista.ac.at/record/566
DOI: 10.1214/17-AAP1302
WoS: 000431721800005
arXiv: 1612.07776 

Long geodesics on convex surfaces
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
LibreCat: https://research-explorer.ista.ac.at/record/106
DOI: 10.1007/s00283-018-9795-5
WoS: 000444141200005
arXiv: 1702.05172

Numerical data used in figures
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9810
DOI: 10.1371/journal.pbio.2005971.s008

Lymphatic exosomes promote dendritic cell migration along guidance cues
M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.
LibreCat: https://research-explorer.ista.ac.at/record/275
DOI: 10.1083/jcb.201612051
WoS: 000438077800026
PMID: 29650776

Maternal auxin supply contributes to early embryo patterning in Arabidopsis
H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pbndík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.
LibreCat: https://research-explorer.ista.ac.at/record/158
DOI: 10.1038/s41477-018-0204-z
WoS: 000443861300011
PMID: 30013211

Mammalian mitochondrial complex I structure and disease causing mutations
K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
LibreCat: https://research-explorer.ista.ac.at/record/152
DOI: 10.1016/j.tcb.2018.06.006
WoS: 000445118200007