Australian National University (ANU)

University / College

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.
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.
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).
Carey, A.L., Phillips, J., & Schulz-Baldes, H. (2019). Spectral flow for skew-adjoint Fredholm operators. Journal of Spectral Theory, 9(1), 137-170.
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).
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).
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.
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.
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).
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).
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).
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.
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.

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