Avni, G., Guha, S., &; Kupferman, O. (2018). Timed network games with clocks (Vol. 117). Presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2018.23 
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Polechova, J. (2018). Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.2005372 
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

Fulek, R., &; Kyndl, J. (2018). The 2-Genus of Kuratowski minors (Vol. 99, p. 40.1-40.14). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.40 
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085

Fulek, R., &; Pach, J. (2018). Thrackles: An improved upper bound (Vol. 10692, pp. 160–166). Presented at the GD 2017: Graph Drawing and Network Visualization, Boston, MA, United States: Springer.https://doi.org/10.1007/978-3-319-73915-1_14 
LibreCat: https://research-explorer.ista.ac.at/record/433
DOI: 10.1007/978-3-319-73915-1_14
arXiv: 1708.08037

Faria, R., Chaube, P., Morales, H. E., Larsson, T., Lemmon, A. R., Lemmon, E. M.,https://doi.org/10.5061/dryad.72cg113__Butlin, R. K. (2018). Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Dryad.https://doi.org/10.5061/dryad.72cg113 
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113

Anonymous, 1, Anonymous, 2, Anonymous, 3, Anonymous, 4, Anonymous, 5, &; Anonymous, 6. (2018). Cost analysis of nondeterministic probabilistic programs. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5457

Kazda, A., Kozik, M., McKenzie, R., &; Moore, M. (2018). Absorption and directed Jónsson terms. In J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Vol. 16, pp. 203–220). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-74772-9_7 
LibreCat: https://research-explorer.ista.ac.at/record/10864
DOI: 10.1007/978-3-319-74772-9_7
arXiv: 1502.01072

Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2018). Shellability is NP-complete (Vol. 99, p. 41:1-41:16). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.41 
LibreCat: https://research-explorer.ista.ac.at/record/184
DOI: 10.4230/LIPIcs.SoCG.2018.41

Huszár, K., Spreer, J., &; Wagner, U. (2018). On the treewidth of triangulated 3-manifolds (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.46 
LibreCat: https://research-explorer.ista.ac.at/record/285
DOI: 10.4230/LIPIcs.SoCG.2018.46
arXiv: 1712.00434

Garriga, E., di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A.,https://doi.org/10.5281/ZENODO.2025846__Notredame, C. (2018). Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method. Zenodo.https://doi.org/10.5281/ZENODO.2025846 
LibreCat: https://research-explorer.ista.ac.at/record/13059
DOI: 10.5281/ZENODO.2025846

Watzinger, H. (2018). Ge hut wires - from growth to hole spin resonance. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1033 
LibreCat: https://research-explorer.ista.ac.at/record/49
DOI: 10.15479/AT:ISTA:th_1033

Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1026 
LibreCat: https://research-explorer.ista.ac.at/record/201
DOI: 10.15479/AT:ISTA:th_1026

Zimin, A. (2018). Learning from dependent data. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH1048 
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

Abusalah, H. M. (2018). Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_1046 
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

Kolesnikov, A. (2018). Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1021 
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021

Filakovský, M., Franek, P., Wagner, U., &; Zhechev, S. Y. (2018). Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. Springer.https://doi.org/10.1007/s41468-018-0021-5 
LibreCat: https://research-explorer.ista.ac.at/record/6774
DOI: 10.1007/s41468-018-0021-5

Kragl, B., Qadeer, S., &; Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2018.21 
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

Edelsbrunner, H., &; Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2018.34 
LibreCat: https://research-explorer.ista.ac.at/record/187
DOI: 10.4230/LIPIcs.SoCG.2018.34

Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. Geometriae Dedicata. Springer.https://doi.org/10.1007/s10711-017-0265-6 
LibreCat: https://research-explorer.ista.ac.at/record/692
DOI: 10.1007/s10711-017-0265-6
WoS: 000431418800004

Watzinger, H., Kukucka, J., Vukusi, L., Gao, F., Wang, T., Schäffler, F.,https://doi.org/10.1038/s41467-018-06418-4__Katsaros, G. (2018). A germanium hole spin qubit. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-018-06418-4 
LibreCat: https://research-explorer.ista.ac.at/record/77
DOI: 10.1038/s41467-018-06418-4
WoS: 000445560800010

Qin, X., Hannezo, E. B., Mangeat, T., Liu, C., Majumder, P., Liu, J.,https://doi.org/10.1038/s41467-018-03574-5__Wang, X. (2018). A biochemical network controlling basal myosin oscillation. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-018-03574-5 
LibreCat: https://research-explorer.ista.ac.at/record/401
DOI: 10.1038/s41467-018-03574-5
WoS: 000428165400009

Casano, A. M., &; Sixt, M. K. (2018). A fat lot of good for wound healing. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2018.02.009 
LibreCat: https://research-explorer.ista.ac.at/record/318
DOI: 10.1016/j.devcel.2018.02.009
WoS: 000426150700002
PMID: 29486189

Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., &; Cox, D. (2018). A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/s41598-018-23247-z 
LibreCat: https://research-explorer.ista.ac.at/record/410
DOI: 10.1038/s41598-018-23247-z
WoS: 000428234100005

Dokládal, L., Benková, E., Honys, D., Dupláková, N., Lee, L., Gelvin, S., &; Sýkorová, E. (2018). An armadillo-domain protein participates in a telomerase interaction network. Plant Molecular Biology. Springer.https://doi.org/10.1007/s11103-018-0747-4 
LibreCat: https://research-explorer.ista.ac.at/record/277
DOI: 10.1007/s11103-018-0747-4
WoS: 000438981700009

Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &; Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer &; M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89963-3_18 
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018

Konrad, M., Pull, C., Metzler, S., Seif, K., Naderlinger, E., Grasse, A. V., &; Cremer, S. (2018). Ants avoid superinfections by performing risk-adjusted sanitary care. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1713501115 
LibreCat: https://research-explorer.ista.ac.at/record/413
DOI: 10.1073/pnas.1713501115
WoS: 000427245400069
PMID: 29463746

Yakaboylu, E., &; Lemeshko, M. (2018). Anyonic statistics of quantum impurities in two dimensions. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.98.045402 
LibreCat: https://research-explorer.ista.ac.at/record/195
DOI: 10.1103/PhysRevB.98.045402
WoS: 000436939100007
arXiv: 1712.00308

Abbas, M., Hernández, G. J., Pollmann, S., Samodelov, S. L., Kolb, M., Friml, J.,https://doi.org/10.1073/pnas.1806565115__Alabadí, D. (2018). Auxin methylation is required for differential growth in Arabidopsis. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1806565115 
LibreCat: https://research-explorer.ista.ac.at/record/203
DOI: 10.1073/pnas.1806565115
WoS: 000436245000096

Napiórkowski, M. M., Reuvers, R., &; Solovej, J. (2018). Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation. EPL. IOP Publishing Ltd.https://doi.org/10.1209/0295-5075/121/10007 
LibreCat: https://research-explorer.ista.ac.at/record/399
DOI: 10.1209/0295-5075/121/10007
WoS: 000460003000003
arXiv: 1706.01822

Zhang, L., Shi, X., Zhang, Y., Wang, J., Yang, J., Ishida, T.,https://doi.org/10.1111/pce.13475__Wang, G. (2018). CL peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment. Wiley.https://doi.org/10.1111/pce.13475 
LibreCat: https://research-explorer.ista.ac.at/record/5830
DOI: 10.1111/pce.13475
WoS: 000459014800021
PMID: 30378140

Lilja, A., Rodilla, V., Huyghe, M., Hannezo, E. B., Landragin, C., Renaud, O.,https://doi.org/10.1038/s41556-018-0108-1__Fré, S. (2018). Clonal analysis of Notc-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/s41556-018-0108-1 
LibreCat: https://research-explorer.ista.ac.at/record/288
DOI: 10.1038/s41556-018-0108-1
WoS: 000433237300003
PMID: 29784917

Auzinger, T., Heidrich, W., &; Bickel, B. (2018). Computational design of nanostructural color for additive manufacturing. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3197517.3201376 
LibreCat: https://research-explorer.ista.ac.at/record/304
DOI: 10.1145/3197517.3201376
WoS: 000448185000120

Nakashima, K., Auzinger, T., Iarussi, E., Zhang, R., Igarashi, T., &; Bickel, B. (2018). CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transaction on Graphics. ACM.https://doi.org/10.1145/3197517.3201341 
LibreCat: https://research-explorer.ista.ac.at/record/12
DOI: 10.1145/3197517.3201341
WoS: 000448185000096

Reiter, J., Hilbe, C., Rand, D., Chatterjee, K., &; Nowak, M. (2018). Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-017-02721-8 
LibreCat: https://research-explorer.ista.ac.at/record/454
DOI: 10.1038/s41467-017-02721-8
WoS: 000424318200001

Hu, H., Roth, F., Vandael, D. H., &; Jonas, P. M. (2018). Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2018.02.024 
LibreCat: https://research-explorer.ista.ac.at/record/320
DOI: 10.1016/j.neuron.2018.02.024
WoS: 000429192100016

Payne, P., Geyrhofer, L., Barton, N. H., &; Bollback, J. P. (2018). CRISPR-based herd immunity can limit phage epidemics in bacterial populations. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.32035 
LibreCat: https://research-explorer.ista.ac.at/record/423
DOI: 10.7554/eLife.32035
WoS: 000431035800001

Fulek, R., &; Tóth, C. D. (2018). Crossing minimization in perturbed drawings (Vol. 11282, pp. 229–241). Presented at the Graph Drawing and Network Visualization, Barcelona, Spain: Springer.https://doi.org/10.1007/978-3-030-04414-5_16 
LibreCat: https://research-explorer.ista.ac.at/record/5791
DOI: 10.1007/978-3-030-04414-5_16
WoS: 000672802500016
arXiv: 1808.07608

Budanur, N. B., &; Hof, B. (2018). Complexity of the laminar-turbulent boundary in pipe flow. Physical Review Fluids. American Physical Society.https://doi.org/10.1103/PhysRevFluids.3.054401 
LibreCat: https://research-explorer.ista.ac.at/record/291
DOI: 10.1103/PhysRevFluids.3.054401
WoS: 000433426200001
arXiv: 1802.01918

Akopyan, A., &; Segal Halevi, E. (2018). Counting blanks in polygonal arrangements. SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/16M110407X 
LibreCat: https://research-explorer.ista.ac.at/record/58
DOI: 10.1137/16M110407X
WoS: 000450810500036
arXiv: 1604.00960

Payne, P., Geyrhofer, L., Barton, N. H., &; Bollback, J. P. (2018). Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations. Dryad.https://doi.org/10.5061/dryad.42n44 
LibreCat: https://research-explorer.ista.ac.at/record/9840
DOI: 10.5061/dryad.42n44

Pull, C., Ugelvig, L. V., Wiesenhofer, F., Grasse, A. V., Tragust, S., Schmitt, T.,https://doi.org/10.7554/eLife.32073__Cremer, S. (2018). Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.32073 
LibreCat: https://research-explorer.ista.ac.at/record/616
DOI: 10.7554/eLife.32073
WoS: 000419601300001

Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S., Hindley, C.,https://doi.org/10.1016/j.devcel.2018.06.028__Simons, B. (2018). Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2018.06.028 
LibreCat: https://research-explorer.ista.ac.at/record/132
DOI: 10.1016/j.devcel.2018.06.028
WoS: 000441327300012

Cucinotta, M., Manrique, S., Cuesta, C., Benková, E., Novák, O., &; Colombo, L. (2018). Cup-shaped Cotyledon1 (CU) and C regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/ery281 
LibreCat: https://research-explorer.ista.ac.at/record/42
DOI: 10.1093/jxb/ery281
WoS: 000448163900015

Hetterich, D., Yao, N., Serbyn, M., Pollmann, F., &; Trauzettel, B. (2018). Detection and characterization of many-body localization in central spin models. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.98.161122 
LibreCat: https://research-explorer.ista.ac.at/record/46
DOI: 10.1103/PhysRevB.98.161122
WoS: 000448596500002
arXiv: 1806.08316

Ratheesh, A., Bicher, J., Smutny, M., Veselá, J., Papusheva, E., Krens, G.,https://doi.org/10.1016/j.devcel.2018.04.002__Siekhaus, D. E. (2018). Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2018.04.002 
LibreCat: https://research-explorer.ista.ac.at/record/308
DOI: 10.1016/j.devcel.2018.04.002
WoS: 000432461400009
PMID: 29738712

Varshney, A., &; Steinberg, V. (2018). Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. American Physical Society.https://doi.org/10.1103/PhysRevFluids.3.103302 
LibreCat: https://research-explorer.ista.ac.at/record/17
DOI: 10.1103/PhysRevFluids.3.103302
WoS: 000447311500001

Granados, A., Pietsch, J., Cepeda Humerez, S. A., Farquhar, I., Tkadik, G., &; Swain, P. (2018). Distributed and dynamic intracellular organization of extracellular information. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1716659115 
LibreCat: https://research-explorer.ista.ac.at/record/281
DOI: 10.1073/pnas.1716659115
WoS: 000434114900071
PMID: 29784812

Yamamoto, W., Wada, S., Nagano, M., Aoshima, K., Siekhaus, D. E., Toshima, J., &; Toshima, J. (2018). Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5https://doi.org/10.1242/jcs.207696__during yeast receptor mediated endocytosis. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.207696 
LibreCat: https://research-explorer.ista.ac.at/record/620
DOI: 10.1242/jcs.207696
WoS: 000424786900012
PMID: 29192062

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

Brázdil, T., Chatterjee, K., Kudera, A., Novotný, P., Velan, D., &; Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. 8033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE.https://doi.org/10.1145/3209108.3209191 
LibreCat: https://research-explorer.ista.ac.at/record/143
DOI: 10.1145/3209108.3209191
WoS: 000545262800020