We stand with Ukraine  

David Walker

Affiliations:
  • University of Technology, Sydney, NSW, Australia
  • University of Edinburgh, Edinburgh, UK (former)


According to our database1, David Walker authored at least 6 papers between 1989 and 2012.

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

2012
Collaboration without Rules - A New Perspective on Stability Operations.
[BibTeX]
[DOI]
David Walker
,
Simon Reay Atkinson
,
Liaquat Hossain
Proceedings of the 2012 International Conference on Social Informatics (SocialInformatics), 2012

Cyber - Transparencies, Assurance and Deterrence.
[BibTeX]
[DOI]
Simon Reay Atkinson
,
David Walker
,
Kevin Beaulne
,
Liaquat Hossain
Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

1991
Local Model Checking in the Modal mu-Calculus.
[BibTeX]
[DOI]
Colin Stirling
,
David Walker
Theor. Comput. Sci., 1991

Pi-Calculus Semantics of Object-Oriented Programming Languages.
[BibTeX]
[DOI]
David Walker
Proceedings of the Theoretical Aspects of Computer Software, 1991

1989
Some Results on the pi-Calculus.
[BibTeX]
[DOI]
David Walker
Proceedings of the Concurrency: Theory, 1989

CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.
[BibTeX]
[DOI]
Colin Stirling
,
David Walker
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989


  Loading...