Australian National University (ANU)


University / College

Location:
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
Schröder, L., & Pattinson, D. (2015). From the Editors. Journal of Computer and System Sciences, 81(5), 797-798. https://dx.doi.org/10.1016/j.jcss.2015.02.004
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. https://dx.doi.org/10.1371/journal.pone.0119895
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. https://dx.doi.org/10.1364/OE.22.000689
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. https://dx.doi.org/10.1002/mrm.24832
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. https://dx.doi.org/10.1002/adem.201400091
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). https://dx.doi.org/10.1007/s10714-014-1749-4
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. https://dx.doi.org/10.1038/icb.2013.14
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). https://dx.doi.org/10.1098/rspa.2012.0465
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), -. https://dx.doi.org/10.1002/wcms.1172

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