Juanito Camilleri
Juanito Camilleri
Professor of Entrepreneurship, University of Malta
Verified email at um.edu.mt - Homepage
TitleCited byYear
CCS with priority choice
J Camilleri, G Winskel
Information and Computation 116 (1), 26-37, 1995
981995
Reasoning with inductively defined relations in the HOL theorem prover
J Camilleri, T Melham
Technical report, University of Cambridge Computer Laboratory, 1992
921992
An operational semantics for occam
J Camilleri
International Journal of Parallel Programming 18 (5), 365-400, 1989
271989
Symbolic compilation and execution of programs by proof: A case study in HOL
J Camilleri
University of Cambridge, Computer Laboratory, 1991
181991
Priority in process calculi
JA Camilleri
University of Cambridge, Computer Laboratory, 1991
141991
Introducing a priority operator to CCS
J Camilleri
University of Cambridge, Computer Laboratory, 1989
141989
A conditional operator for CCS
J Camilleri
International Conference on Concurrency Theory, 142-156, 1991
131991
Symbolic animation as a proof tool
J Camilleri, V Zammit
HOL Users' Group Workshop, 113-127, 1994
71994
A National Strategy for Information Technology for Malta
J Camilleri
Office of the National Strategy for Information Technology, University of Malta, 1994
71994
2020 vision or optical illusion?
J Camilleri
University of Malta, 2010
22010
Malta: a Mediterranean island state, its university, and its future
J Camilleri, A Caruana
Global Perspectives on Technology Transfer and Commercialization: Building …, 2011
12011
An Operational Semantics for Occam:(extended Version)
J Camilleri
University of Cambridge, Computer Laboratory, 1988
11988
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
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
Information Technology: An Axiom for Malta's Socio-Economic Development
J Camilleri
Maltese Business: the challenges ahead, 33-50, 1996
1996
Information Technology in the Maltese Educational System: rationale, implications, and strategy
L Bezzina, J Camilleri
Proceedings of the Annual General Conference, MUT, 1995
1995
Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
J Camilleri
Supplementary Proceedings of the 7th International Workshop on Higher Order …, 1994
1994
The system can't perform the operation now. Try again later.
Articles 1–20