Peter Morris

According to our database, Peter Morris authored at least 14 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2022

Using Ballistocardiography for Sleep Stage Classification.

Jiebei Liu, Peter Morris, Krista Nelson, Mehdi Boukhechba

CoRR, 2022

2017

Interconnected Personal Health Record Ecosystem Using IoT Cloud Platform and HL7 FHIR.

Jaeki Hong, Peter Morris, Jonghwa Seo

Proceedings of the 2017 IEEE International Conference on Healthcare Informatics, 2017

2015

Indexed containers.

Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris

J. Funct. Program., 2015

2013

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

2011

Computer-aided Self-assessment and Independent Learning in Higher Education.

Peter Morris, Shane Dowdall

Proceedings of the CSEDU 2011, 2011

A Categorical Semantics for Inductive-Inductive Definitions.

Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Epigram Prime: A Demonstration.

Peter Morris

Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, 2010

The gentle art of levitation.

James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

A Universe of Strictly Positive Families.

Peter Morris, Thorsten Altenkirch, Neil Ghani

Int. J. Found. Comput. Sci., 2009

Indexed Containers.

Thorsten Altenkirch, Peter Morris

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2007

Constructing Strictly Positive Families.

Peter Morris, Thorsten Altenkirch, Neil Ghani

Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007

2006

Generic Programming with Dependent Types.

Thorsten Altenkirch, Conor McBride, Peter Morris

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

2004

Exploring the Regular Tree Types.

Peter Morris, Thorsten Altenkirch, Conor McBride

Proceedings of the Types for Proofs and Programs, International Workshop, 2004