Australian National University (ANU)

Universität / Hochschule

Standort der Organisation:
Canberra, Australien

Publikationen in Kooperation mit FAU-Wissenschaftlerinnen und Wissenschaftlern

Go to first page Go to previous page 1 von 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.
Alsaberi, R.Z., Maitra, C., Filipović, M.D., Bozzetto, L.M., Haberl, F., Maggi, P.,... Fukui, Y. (2019). Discovery of a pulsar-powered bow shock nebula in the Small Magellanic Cloud supernova remnant DEMS5. Monthly Notices of the Royal Astronomical Society, 486(2), 2507-2524.
Barnes, P.W., Williamson, C.E., Lucas, R.M., Robinson, S.A., Madronich, S., Paul, N.D.,... Zepp, R.G. (2019). Ozone depletion, ultraviolet radiation, climate change and prospects for a sustainable future. Nature Sustainability.
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.
Schryen, G., Benlian, A., Rowe, F., Gregor, S., Larsen, K., Petter, S.,... Yasasin, E. (2017). Literature Reviews in IS Research: What Can Be Learnt from the Past and Other Fields? Communications of the Association for Information Systems, 41(30), 759 - 774.
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.
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.
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.
Schröder, L., Litak, T.M., & Pattinson, D. (2015). A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic. Journal of Logic and Computation, advance access, -.

Zuletzt aktualisiert 2016-06-10 um 07:47