Australian National University (ANU)

University / College

Canberra, Australia

Publications in cooperation with FAU scientists

Go to first page Go to previous page 2 of 3 Go to next page Go to last page
Kupke, C., Pattinson, D., & Schröder, L. (2015). Reasoning with Global Assumptions in Arithmetic Modal Logics. In Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Proceedings (pp. 367--380). Gdansk: Berlin: Springer.
Kurz, A., Milius, S., Pattinson, D., & Schröder, L. (2015). Simplified Coalgebraic Trace Equivalence. In Software, Services, and Systems (pp. 75-90). Berlin: Springer.
Schröder, L., & Pattinson, D. (2015). Sound and Complete Equational Reasoning over Comodels. In Proc. Mathematical Foundations of Programming Semantics XXXI, MFPS 2015 (pp. 315-331). Nijmegen: Elsevier BV.
Cumming, B.P., Turner, M.D., Schröder-Turk, G., Debbarma, S., Luther-Davies, B., & Gu, M. (2014). Adaptive optics enhanced direct laser writing of high refractive index gyroid photonic crystals in chalcogenide glass. Optics Express, 22(1), 689-698.
Goncharov, S., & Pattinson, D. (2014). Coalgebraic Weak Bisimulation from Recursive Equations over Monads. In Proc. 41st International Colloquium on Automata, Languages, and Programming (pp. 196-207). Kopenhagen: Berlin/Heidelberg: Springer.
Gorin, D., Pattinson, D., Schröder, L., Widmann, F., & Wißmann, T. (2014). COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). In Automated Reasoning (pp. 396-402). Wien: Berlin: Springer.
Heleen, R., Blankers, M., Hadiwijaya, H., Cunningham, J., Clarke, S., Wiers, R.,... Cuijpers, P. (2014). Effectiveness of Guided and Unguided Low-Intensity Internet Interventions for Adult Alcohol Misuse: A Meta-Analysis. Plos One.
Weis, C., Blank, F., West, A., Black, G., Woodward, R.C., Carroll, M.R.J.,... Fabry, B. (2014). Labeling of cancer cells with magnetic nanoparticles for magnetic resonance imaging. Magnetic Resonance in Medicine, 71(5), 1896-905.
Buividas, R., Gervinskas, G., Tadich, A., Cowie, B.C.C., Mizeikis, V., Vailionis, A.,... Juodkazis, S. (2014). Phase Transformation in Laser-Induced Micro-Explosion in Olivine (Fe,Mg)(2)SiO4. Advanced Engineering Materials, 16(6), 767-773.
Adier, M., Aguilar, F., Akutsu, T., Arain, M.A., Ando, M., Anghinolfi, L.,... Zendri, J.-P. (2014). Progress and challenges in advanced ground-based gravitational-wave detectors. General Relativity and Gravitation, 46(8).
Wiede, F., Fromm, P.D., Comerford, I., Kara, E., Bannan, J., Schuh, W.,... Koerner, H. (2013). CCR6 is transiently upregulated on B cells after activation and modulates the germinal center reaction in the mouse. Immunology and Cell Biology, 91(5), 335-339.
Litak, T.M., Pattinson, D., & Sano, K. (2013). Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. In Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011 (pp. 257-276). Kutaisi: Berlin/Heidelberg: Springer-verlag.
Mitschke, H., Robins, V., Mecke, K., & Schröder-Turk, G. (2013). Finite auxetic deformations of plane tessellations. Proceedings of the Royal Society A-Mathematical Physical and Engineering Sciences, 469(2149).
Sablon, K.A., Heier, J., Tatavarti, S.R., Olson, D.C., Kippelen, B., Fu, L.,... Nüesch, F.A. (2013). Preface. In Materials Research Society Symposium Proceedings (pp. Pages xiii). Boston, MA, US: Elsevier B.V.,.
Schaller, F.M., Kapfer, S.C., Evans, M., Hoffmann, M., Aste, T., Saadatfar, M.,... Schröder-Turk, G. (2013). Set Voronoi diagrams of 3D assemblies of aspherical particles. (pp. 3993-4017). TAYLOR & FRANCIS LTD.
Kulacka, A., Pattinson, D., & Schröder, L. (2013). Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. In Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (pp. 962-969). Beijing, CN: Palo Alto: IJCAI/AAAI.
Aidas, K., Angeli, C., Bak, K.L., Bakken, V., Bast, R., Boman, L.,... Agren, H. (2013). The Dalton quantum chemistry program system. Wiley Interdisciplinary Reviews: Computational Molecular Science, null(null), -.
Litak, T.M., Pattinson, D., Sano, K., & Schröder, L. (2012). Coalgebraic Predicate Logic. In Automata, Languages, and Programming (pp. 299-311). University of Warwick: Berlin: Springer-verlag.
Koppers, A.A.P., Yamazaki, T., Geldmacher, J., Gee, J.S., Pressling, N., Hoshi, H.,... Williams, R. (2012). Limited latitudinal mantle plume motion for the Louisville hotspot. Nature Geoscience, 5(12), 911-917.
Reindl, K., Zhang, M., & Kellermann, W. (2012). On the limitations of binaural reproduction of monaural blind source separation output signals. In Proceedings of the European Signal Processing Conference (EUSIPCO) (pp. 305-309). Bucharest, RO.

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