Peter Morris

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 4

Top Topics

Benchmark Datasets

Personal Health

Top Venues

J. Funct. Program.

Publications

Jan Erik Håkegård, Henrik Lundkvist, Ashish Rauniyar, Peter Morris
Performance Evaluation of an Open Source Implementation of a 5G Standalone Platform. IEEE Access 12 (2024)
Jiebei Liu, Peter Morris, Krista Nelson, Mehdi Boukhechba
Using Ballistocardiography for Sleep Stage Classification. CoRR (2022)
Jaeki Hong, Peter Morris, Jonghwa Seo
Interconnected Personal Health Record Ecosystem Using IoT Cloud Platform and HL7 FHIR. ICHI (2017)
Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris
Indexed containers. J. Funct. Program. 25 (2015)
Jennifer R. Wolgemuth, Robert S. Savage, Janet Helmer, Helen Harper, Tess Lea, Philip C. Abrami, Adrienne Kirby, Kalotina Chalkiti, Peter Morris, Jonathan Carapetis, William Louden
ABRACADABRA aids Indigenous and non-Indigenous early literacy in Australia: Evidence from a multisite randomized controlled trial. Comput. Educ. 67 (2013)
Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer
A Categorical Semantics for Inductive-Inductive Definitions. CALCO (2011)
Peter Morris, Shane Dowdall
Computer-aided Self-assessment and Independent Learning in Higher Education. CSEDU (2) (2011)
Peter Morris
Epigram Prime: A Demonstration. MSFP@ICFP (2010)
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris
The gentle art of levitation. ICFP (2010)
Peter Morris, Thorsten Altenkirch, Neil Ghani
A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20 (1) (2009)
Thorsten Altenkirch, Peter Morris
Indexed Containers. LICS (2009)
Peter Morris, Thorsten Altenkirch, Neil Ghani
Constructing Strictly Positive Families. CATS (2007)
Thorsten Altenkirch, Conor McBride, Peter Morris
Generic Programming with Dependent Types. SSDGP (2006)
Peter Morris, Thorsten Altenkirch, Conor McBride
Exploring the Regular Tree Types. TYPES (2004)