Exploring the Regular Tree Types. - Peter Morris; Thorsten Altenkirch; Conor McBride (TYPES, 2004)

Generic Programming with Dependent Types. - Thorsten Altenkirch; Conor McBride; Peter Morris (SSDGP, 2006)

Constructing Strictly Positive Families. - Peter Morris; Thorsten Altenkirch; Neil Ghani (CATS, 2007)

Indexed Containers. - Thorsten Altenkirch; Peter Morris (LICS, 2009)

A Universe of Strictly Positive Families. - Peter Morris; Thorsten Altenkirch; Neil Ghani (Int. J. Found. Comput. Sci., 2009)

The gentle art of levitation. - James Chapman 001; Pierre-Évariste Dagand; Conor McBride; Peter Morris (ICFP, 2010)

Epigram Prime: A Demonstration. - Peter Morris (MSFP@ICFP, 2010)

A Categorical Semantics for Inductive-Inductive Definitions. - Thorsten Altenkirch; Peter Morris; Fredrik Nordvall Forsberg; Anton Setzer (CALCO, 2011)

Computer-aided Self-assessment and Independent Learning in Higher Education. - Peter Morris; Shane Dowdall (CSEDU (2), 2011)

ABRACADABRA aids Indigenous and non-Indigenous early literacy in Australia: Evidence from a multisite randomized controlled trial. - Jennifer R. Wolgemuth; Robert S. Savage; Janet Helmer; Helen Harper; Tess Lea; Philip C. Abrami; Adrienne Kirby; Kalotina Chalkiti; Peter Morris; Jonathan R. Carapetis; William Louden (Comput. Educ., 2013)

Indexed containers. - Thorsten Altenkirch; Neil Ghani; Peter G. Hancock; Conor McBride; Peter Morris (J. Funct. Program., 2015)

Interconnected Personal Health Record Ecosystem Using IoT Cloud Platform and HL7 FHIR. - Jaeki Hong; Peter Morris; Jonghwa Seo (ICHI, 2017)

Using Ballistocardiography for Sleep Stage Classification. - Jiebei Liu; Peter Morris; Krista Nelson; Mehdi Boukhechba (CoRR, 2022)

Performance Evaluation of an Open Source Implementation of a 5G Standalone Platform. - Jan Erik Håkegård; Henrik Lundkvist; Ashish Rauniyar; Peter Morris (IEEE Access, 2024)