Anonymous, 1, Anonymous, 2, Anonymous, 3, Anonymous, 4, Anonymous, 5, &; Anonymous, 6. (2018). Cost analysis of nondeterministic probabilistic programs. IST Austria.

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 

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 

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 

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 

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 

Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria.https://doi.org/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 

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 

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 

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 

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 

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 

Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. Geometriae Dedicata. Springer.https://doi.org/10.1007/s10711-017-0265-6 

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 

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 

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 

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 

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 

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