Australian National University (ANU)

Universität / Hochschule

Standort der Organisation:
Canberra, Australien

Publikationen in Kooperation mit FAU-Wissenschaftern

Go to first page Go to previous page 1 von 3 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.
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.
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, -.
Pattinson, D., & Schröder, L. (2015). From the Editors. Journal of Computer and System Sciences, 81(5), 797--798.
Schröder, L., & Pattinson, D. (2015). From the Editors. Journal of Computer and System Sciences, 81(5), 797-798.
Milius, S., Pattinson, D., & Schröder, L. (2015). Generic Trace Semantics and Graded Monads. In 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 (pp. 253--269). Nijmegen: Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Ebert, D., Zarski, A.-C., Christensen, H., Stikkelbroek, Y., Cuijpers, P., Berking, M., & Heleen, R. (2015). Internet and Computer-Based Cognitive Behavioral Therapy for Anxiety and Depression in Youth: A Meta-Analysis of Randomized Controlled Outcome Trials. PLoS ONE, 10.

Zuletzt aktualisiert 2016-06-10 um 07:47