John Knight

Orcid: 0000-0002-6784-3892

According to our database1, John Knight authored at least 23 papers between 1986 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Knight Watch: Ubiquitous Computing Enhancements To Sleep Quality With Acoustic Analysis.
CoRR, 2024

2016
DIVERSITY.
Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015
The Importance of Security Cases: Proof Is Good, But Not Enough.
IEEE Secur. Priv., 2015

2014
Analysis of Critical Systems Certification.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
5th international workshop on software engineering in health care (SEHC 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2011
Large deviations theorems for optimal investment problems with large portfolios.
Eur. J. Oper. Res., 2011

2010
Understanding Resistance towards Electronic Patient Health Data in South Australian Family Practice.
Proceedings of the MEDINFO 2010, 2010

2009
Echo: a new approach to formal verification based on Ada.
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

2008
Value-centred interaction design methods.
J. Inf. Commun. Ethics Soc., 2008

Towards Understanding Apparent South Australian GP Resistance to Adopting Health Informatics Systems.
Proceedings of the Australasian Conference on Information Systems, 2008

2007
The Glass Cockpit.
Computer, 2007

Understanding South Australian GP Attitudes Towards Health Informatics Systems.
Proceedings of the Australasian Conference on Information Systems, 2007

2006
Editorial: A New Editor-in-Chief and the State of TSE.
IEEE Trans. Software Eng., 2006

Homepage aesthetics: The search for preference factors and the challenges of subjectivity.
Interact. Comput., 2006

Mixed-signal thermometer filtering for low-complexity PLLs/DLLs.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

A compact 190µW PLL for clock control and distribution in ultra-large scale ICs.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

Digitally Place and Routed Up-converting Bandpass DAC.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005
Editorial: New Associate Editor Introduction.
IEEE Trans. Software Eng., 2005

Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng., 2005

2004
Editorial: AE Introduction and Farewell.
IEEE Trans. Software Eng., 2004

Low complexity digital PLL for instant acquisition CDR.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

1994
Concurrent testing in high-level synthesis.
Proceedings of the 7th International Symposium on High Level Synthesis, 1994

1986
Pingpong-playing robot controlled by a microcomputer.
Microprocess. Microsystems, 1986


  Loading...