Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2018). Decremental single-source shortest paths on undirected graphs in near-linear total update time. Journal of the ACM. Association for Computing Machinery.https://doi.org/10.1145/3218657 
LibreCat: https://research-explorer.ista.ac.at/record/11768
DOI: 10.1145/3218657
arXiv: 1512.08148

Bhattacharya, S., Chakrabarty, D., Henzinger, M. H., &; Nanongkai, D. (2018). Dynamic algorithms for graph coloring. In 29th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1–20). New Orleans, LA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611975031.1 
LibreCat: https://research-explorer.ista.ac.at/record/11872
DOI: 10.1137/1.9781611975031.1
arXiv: 1711.04355

Henzinger, M. H., Noe, A., Schulz, C., &; Strash, D. (2018). Practical minimum cut algorithms. In 20th Workshop on Algorithm Engineering and Experiments (pp. 48–61). New Orleans, LA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611975055.5 
LibreCat: https://research-explorer.ista.ac.at/record/11882
DOI: 10.1137/1.9781611975055.5
arXiv: 1708.06127

Bhattacharya, S., Henzinger, M. H., &; Italiano, G. F. (2018). Deterministic fully dynamic data structures for vertex cover and matching. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/140998925 
LibreCat: https://research-explorer.ista.ac.at/record/11890
DOI: 10.1137/140998925
arXiv: 1412.1318

Biedermann, S., Henzinger, M. H., Schulz, C., &; Schuster, B. (2018). Memetic graph clustering. In 17th International Symposium on Experimental Algorithms (Vol. 103). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SEA.2018.3 
LibreCat: https://research-explorer.ista.ac.at/record/11911
DOI: 10.4230/LIPICS.SEA.2018.3
arXiv: 1802.07034

Pieber, B., Shalom, M., Antonietti, M., Seeberger, P. H., &; Gilmore, K. (2018). Continuous heterogeneous photocatalysis in serial micro-batch reactors. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201712568 
LibreCat: https://research-explorer.ista.ac.at/record/11958
DOI: 10.1002/anie.201712568
PMID: 29377383

Flandoli, F., Russo, F., &; Zanco, G. A. (2018). Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. Springer.https://doi.org/10.1007/s10959-016-0724-2 
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 10.1007/s10959-016-0724-2

Waitukaitis, S. R., Schrader, D., Nagashima, K., Davidson, J., Mccoy, T., Conolly Jr, H., &; Lauretta, D. (2018). The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system. Geochimica et Cosmochimica Acta. Elsevier.https://doi.org/10.1016/j.gca.2017.12.014 
LibreCat: https://research-explorer.ista.ac.at/record/124
DOI: 10.1016/j.gca.2017.12.014

Cerda, M., Waitukaitis, S. R., Navarro, C., Silva, J., Mujica, N., &; Hitschfeld, N. (2018). A high-speed tracking algorithm for dense granular media. Computer Physics Communications. Elsevier.https://doi.org/10.1016/j.cpc.2018.02.010 
LibreCat: https://research-explorer.ista.ac.at/record/125
DOI: 10.1016/j.cpc.2018.02.010

Waitukaitis, S. R., Harth, K., &; Van Hecke, M. (2018). From bouncing to floating: the Leidenfrost effect with hydrogel spheres. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.121.048001 
LibreCat: https://research-explorer.ista.ac.at/record/126
DOI: 10.1103/PhysRevLett.121.048001

Waitukaitis, S. R. (2018). Clicks for doughnuts. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/s41567-018-0160-6 
LibreCat: https://research-explorer.ista.ac.at/record/127
DOI: 10.1038/s41567-018-0160-6

Browning, T. D. (2018). How often does the Hasse principle hold? (Vol. 97, pp. 89–102). Presented at the Algebraic Geometry, Salt Lake City, Utah, USA: American Mathematical Society.https://doi.org/10.1090/pspum/097.2/01700 
LibreCat: https://research-explorer.ista.ac.at/record/174
DOI: 10.1090/pspum/097.2/01700

Browning, T. D., &; Sofos, E. (2018). Averages of arithmetic functions over principal ideals. International Journal of Nuber Theory. World Scientific Publishing.https://doi.org/10.1142/S1793042119500283 
LibreCat: https://research-explorer.ista.ac.at/record/176
DOI: 10.1142/S1793042119500283
arXiv: 1706.04331

Browning, T. D., &; Heath-Brown, R. (2018). Counting rational points on quadric surfaces. Discrete Analysis. Alliance of Diamond Open Access Journals.https://doi.org/10.19086/da.4375 
LibreCat: https://research-explorer.ista.ac.at/record/178
DOI: 10.19086/da.4375
arXiv: 1801.00979

Fulek, R., &; Kyndl, J. (2018). Hanani-Tutte for approximating maps of graphs (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.39 
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner, H., Virk, Z., &; Wagner, H. (2018). Smallest enclosing spheres and Chernoff points in Bregman geometry (Vol. 99, p. 35:1-35:13). 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.35 
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

Raskutti, G., &; Uhler, C. (2018). Learning directed acyclic graphs based on sparsest permutations. STAT. Wiley.https://doi.org/10.1002/sta4.183 
LibreCat: https://research-explorer.ista.ac.at/record/2015
DOI: 10.1002/sta4.183
arXiv: 1307.0366

De Martino, A., &; De Martino, D. (2018). An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. Elsevier.https://doi.org/10.1016/j.heliyon.2018.e00596 
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Clarke, E. M., Henzinger, T. A., Veith, H., &; Bloem, R. (2018). Handbook of Model Checking (1st ed.). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-10575-8 
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Zagórski, M. P., &; Kicheva, A. (2018). Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In Morphogen Gradients  (Vol. 1863, pp. 47–63). Springer Nature.https://doi.org/10.1007/978-1-4939-8772-6_4 
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4