Conference Papers

DSpace/Manakin Repository

Conference Papers

 

To be included in this collection the conference publication must meet the Higher Education Research Data Collection (HERDC) definition of research and:

  • be published in full. The papers may appear in a number of different formats, e.g. a volume of proceedings, a special edition of a journal, a normal issue of a journal, a book or a monograph, CD-ROM or conference or organisational web site
  • be peer reviewed
  • be presented at conferences, workshops or seminars of national or international significance

Keynote addresses and invited papers may be included where all other papers for the conference are peer reviewed.

The types of conference publications that are unlikely to meet the criteria include papers that appear only in a volume handed out to conference participants.

Collections in this community

Recent Submissions

  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...
  • Feng, Y; Deng, Y; Ying, M (Association for Computing Machinery, 2014)
    With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to instantiate their free quantum variables with arbitrary quantum states, and verify the ...