CCS with priority choice J Camilleri, G Winskel Information and Computation 116 (1), 26-37, 1995 | 102 | 1995 |
Reasoning with inductively defined relations in the HOL theorem prover J Camilleri, T Melham Technical report, University of Cambridge Computer Laboratory, 1992 | 93 | 1992 |
An operational semantics for occam J Camilleri International Journal of Parallel Programming 18 (5), 365-400, 1989 | 24 | 1989 |
Symbolic compilation and execution of programs by proof: A case study in HOL J Camilleri University of Cambridge, Computer Laboratory, 1991 | 20 | 1991 |
Introducing a priority operator to CCS J Camilleri University of Cambridge, Computer Laboratory, 1989 | 16 | 1989 |
Priority in process calculi JA Camilleri University of Cambridge, Computer Laboratory, 1991 | 14 | 1991 |
A conditional operator for CCS J Camilleri International Conference on Concurrency Theory, 142-156, 1991 | 13 | 1991 |
A National Strategy for Information Technology for Malta J Camilleri Office of the National Strategy for Information Technology, University of Malta, 1994 | 8 | 1994 |
Symbolic animation as a proof tool J Camilleri, V Zammit HOL Users' Group Workshop, 113-127, 1994 | 7 | 1994 |
CCS with a priority choice G Winskel, J Camilleri Proceedings of LICS, 1991 | 5 | 1991 |
Information technology in education. Business plan J Camilleri Office of the National Strategy for Information Technology, University of Malta, 1994 | 4 | 1994 |
Information Technology in the Maltese Educational System: rationale, implications, and strategy L Bezzina, J Camilleri Proceedings of the Annual General Conference, MUT, 1995 | 2 | 1995 |
An Operational Semantics for Occam:(extended Version) J Camilleri University of Cambridge, Computer Laboratory, 1988 | 1 | 1988 |
Truth will prevail! J Camilleri Pilates of the Mediterranean, 2017 | | 2017 |
Lectures 16: program 8: interview with University rector prof Juanito Camilleri J Camilleri | | 2011 |
Malta: a Mediterranean island state, its university, and its future J Camilleri, A Caruana Global Perspectives on Technology Transfer and Commercialization: Building …, 2011 | | 2011 |
2020 vision or optical illusion? J Camilleri University of Malta, 2010 | | 2010 |
THE SUSTAINABILITY OF MALTA’S SOCIAL SECURITY SYSTEM: A GLIMPSE AT MALTA’S WELFARE STATE AND SUGGESTIONS FOR A RADICAL CHANGE OF POLICY S Calleya, J Camilleri, G Debono, R Fsadni, P Micallef, M Mizzi, J Sammut, ... | | 2009 |
A Euro-Mediterranean Multimedia Courseware Production Centre J Camilleri Proceedings of the 1st Euro-Mediterranean Conference on Multimedia Technologies, 1998 | | 1998 |
Dismantling the barriers between Science and Technology J Camilleri, A Mifsud Proceedings of the Workshop of the Faculty of Science, University of Malta, 1997 | | 1997 |