Jonathan Lewis
Orcid: 0000-0001-8342-1051
According to our database1,
Jonathan Lewis
authored at least 9 papers
between 1998 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Sci. Eng. Ethics, 2022
2013
Proceedings of the Open Source Software: Quality Verification, 2013
2012
Channel and Active Component Abstractions for WSN Programming - A Language Model with Operating System Support.
Proceedings of the SENSORNETS 2012, 2012
2009
Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.
Proceedings of the Model Checking Software, 2009
2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2005
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2005
Proceedings of the Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, 2005
2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
1998
Proceedings of the Parallel Problem Solving from Nature, 1998