Australian National University (ANU)


University / College

Location:
Canberra, Australia


Publications in cooperation with FAU scientists


Go to first page Go to previous page 1 of 4 Go to next page Go to last page
van den Brink, L., Barnaghi, P., Tandy, J., Atemezing, G., Atkinson, R., Cochrane, B.,... Troncy, R. (2019). Best practices for publishing, retrieving and using spatial data on the web. Semantic Web, 10, 95-114. https://dx.doi.org/10.3233/SW-180305
Bohnert, A., Fritzsche, A., & Gregor, S. (2019). Digital Agendas in the Insurance Industry: The Importance of Comprehensive Approaches. Geneva Papers on Risk and Insurance-Issues and Practice, 44(1), 1-19. https://dx.doi.org/10.1057/s41288-018-0109-0
Albert, A., Andre, M., Anghinolfi, M., Ardid, M., Aubert, J.-J., Aublin, J.,... Zweizig, J. (2019). Search for Multimessenger Sources of Gravitational Waves and High-energy Neutrinos with Advanced LIGO during Its First Observing Run, ANTARES, and IceCube. Astrophysical Journal, 870(2). https://dx.doi.org/10.3847/1538-4357/aaf21d
Carey, A.L., Phillips, J., & Schulz-Baldes, H. (2019). Spectral flow for skew-adjoint Fredholm operators. Journal of Spectral Theory, 9(1), 137-170. https://dx.doi.org/10.4171/JST/243
Wild, P., Schröder, L., Pattinson, D., & König, B. (2018). A van Benthem theorem for fuzzy modal logic. In 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 (pp. 909-918). IEEE.
Whitney, P.G., Makhlouf, C., Macleod, B., Ma, J.Z., Gressier, E., Greyer, M.,... Bedoui, S. (2018). Effective Priming of Herpes Simplex Virus-Specific CD8+T CellsIn VivoDoes Not Require Infected Dendritic Cells. Journal of Virology, 92(3). https://dx.doi.org/10.1128/JVI.01508-17
Litak, T.M., Pattinson, D., Sano, K., & Schröder, L. (2018). Model Theory and Proof Theory of Coalgebraic Predicate Logic. Logical Methods in Computer Science, 14(1). https://dx.doi.org/10.23638/LMCS-14(1:22)2018
Zhang, W., Hofmann, C., Bürger, M., Abhayapala, T.D., & Kellermann, W. (2018). Spatial noise-field control with online secondary path modeling: A wave-domain approach. IEEE/ACM Transactions on Audio, Speech and Language Processing, 26(12), 2355-2370.
Samarasinghe, P., Abhayapala, T.D., & Kellermann, W. (2017). Acoustic reciprocity: An extension to spherical harmonics domain. The Journal of the Acoustical Society of America, 142(4), 373-343. https://dx.doi.org/10.1121/1.5002078
Lima, S., Haase, K., Beier, C., Regelous, M., Brandl, P.A., Hauff, F., & Krumm, S. (2017). Magmatic evolution and source variations at the Nifonea Ridge (New Hebrides Island Arc). Journal of Petrology, 58(3), 473-494. https://dx.doi.org/10.1093/petrology/egx023
Abbott, B.P., Abbott, R., Abbott, T.D., Acernese, F., Ackley, K., Adams, C.,... Woudt, P.A. (2017). Multi-messenger Observations of a Binary Neutron Star Merger. Astrophysical Journal Letters, 848(2). https://dx.doi.org/10.3847/2041-8213/aa91c9
Zhang, W., Hofmann, C., Bürger, M., & Kellermann, W. (2017). Online secondary path modeling in wave-domain active noise control. In Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 116-120). New Orleans, LA, US: New Orleans, LA, USA.
Albert, A., Andre, M., Anghinolfi, M., Ardid, M., Aubert, J.-J., Aublin, J.,... Zweizig, J. (2017). Search for High-energy Neutrinos from Binary Neutron Star Merger GW170817 with ANTARES, IceCube, and the Pierre Auger Observatory. Astrophysical Journal Letters, 850(2). https://dx.doi.org/10.3847/2041-8213/aa9aed
Albert, A., Andre, M., Anghinolfi, M., Anton, G., Ardid, M., Aubert, J.-J.,... Zweizig, J. (2017). Search for high-energy neutrinos from gravitational wave event GW151226 and candidate LVT151012 with ANTARES and IceCube. Physical Review D - Particles, Fields, Gravitation and Cosmology, 96(2). https://dx.doi.org/10.1103/PhysRevD.96.022005
Drory, A., Groh, B., & Eskofier, B. (2017). Supervised Learning Approach to Markerless Acquisition of Rower Kinematics. In Proceedings of the 26th Congress of the International Society of Biomechanics (ISB). Brisbane, Australia.
Bürger, M., Abhayapala, T.D., Hofmann, C., Chen, H., & Kellermann, W. (2017). The spatial coherence of noise fields evoked by continuous source distributions. The Journal of the Acoustical Society of America, 142(5), 3025-3034. https://dx.doi.org/10.1121/1.5009451
Seifan, F., Schröder, L., & Pattinson, D. (2017). Uniform Interpolation in Coalgebraic Modal Logic. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia (pp. 21:1--21:16).
Milius, S., Pattinson, D., & Wißmann, T. (2016). A New Foundation for Finitary Corecursion. In Foundations of Software Science and Computation Structures (pp. 107-125). Eindhoven, The Netherlands.
Schröder, L., & Pattinson, D. (2016). Program Equivalence is Coinductive. In Martin Grohe, Eric Koskinen, Natarajan Shankar (Eds.), Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016 (pp. 337--346). New York, US: New York: ACM.
Brandl, P.A., Regelous, M., Beier, C., O'Neill, H.S.C., Nebel, O., & Haase, K. (2016). The timescales of magma evolution at mid-ocean ridges. Lithos, 49-68. https://dx.doi.org/10.1016/j.lithos.2015.10.020

Last updated on 2016-06-10 at 07:47