Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Albert John Camilleri

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/Camilleri98
- ask others
Albert John Camilleri: A Role for Theorem Proving in Multi-Processor Design. CAV 1998: 45-48
1997
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Camilleri97
- ask others
Albert John Camilleri: A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. TPHOLs 1997: 49-67
1996
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmcad/1996
- ask others
Mandayam K. Srivas, Albert John Camilleri (Eds.): Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Lecture Notes in Computer Science 1166, Springer 1996, ISBN 3-540-61937-2
1994
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tpcd/JohnsonMC94
- ask others
Steven D. Johnson, Paul S. Miner, Albert John Camilleri: Studies of the Single Pulser in Various Reasoning Systems. TPCD 1994: 126-145
1992
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tpcd/BainbridgeCF92
- ask others
Simon Bainbridge, Albert John Camilleri, Roger Fleming: Theorem Proving as an Industrial Tool for System Level Desgin. TPCD 1992: 253-274
1991
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapsoft/CamilleriIN91
- ask others
Albert John Camilleri, Paola Inverardi, Monica Nesi: Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 1991: 283-296
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/BainbridgeCF91
- ask others
Simon Bainbridge, Albert John Camilleri, Roger Fleming: Industrial Application of Theorem Proving to System Level Design. TPHOLs 1991: 130-142
1990
[j1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/Camilleri90
- ask others
Albert John Camilleri: Mechanizing CSP Trace Theory in Higher Order Logic. IEEE Trans. Software Eng. 16(9): 993-1004 (1990)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?