|
2023 Other Outputs Discussion Paper: 2023-2030 Australian Cyber Security StrategyAbeysooriya, Sasenka, Akhlaghpour, Saeed, Bongiovanni, Ivano, Dowsett, Dallas, Grotowski, Joseph, Holm, Mike, Kim, Dan, Ko, Ryan, Phillips, Andelka M., Slapnicar, Sergeja, Stockdale, David, Swinson, John, Thonon, Geoffroy, Utting, Mark, Walker-Munro, Brendan and Willoughby, Shannon (2023). Discussion Paper: 2023-2030 Australian Cyber Security Strategy. UQ CYBER and AUSCERT. |
|
2015 Other Outputs Method of evaluating genomic sequencesCleary, John Gerald and Utting, Barry Mark (2015). Method of evaluating genomic sequences. US9165253B2. |
|
1998 Other Outputs Deadlines are terminationHayes, Ian J. and Utting, Mark (1998). Deadlines are termination. Technical Report 98-01 St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland. |
