David M. Williams
发表
Thai Son Hoang,
Steve A. Schneider,
Helen Treharne,
2016,
Formal Aspects of Computing.
David M. Williams,
Lawrence B. Grubb,
Danny E. Simpson,
1980
.
David M. Williams,
Salaheddin Darwish,
Steve Schneider,
2020,
Formal Aspects of Computing.
Wan Fokkink,
David M. Williams,
Lars Lockefeer,
2014,
Sci. Comput. Program..
David M. Williams,
Andrey K. Guber,
Joan B. Rose,
2016,
Environ. Model. Softw..
Joeri de Ruiter,
Wan Fokkink,
David M. Williams,
2012,
ICTAC.
Helen Treharne,
David M. Williams,
Anthony Tung Shuen Ho,
2010,
2010 International Conference on Security and Cryptography (SECRYPT).
David M. Williams,
John Armstrong,
J. Armstrong,
2008,
Aslib Proc..
Steve A. Schneider,
Helen Treharne,
David M. Williams,
2016,
From Action Systems to Distributed Systems.
David M. Williams,
Robert W. Scotland,
Christopher J. Humphries,
2004,
Synthese.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2013,
SEFM Workshops.
Charles R. Meyer,
David M. Williams,
Peyton H. Bland,
1987
.
Steve A. Schneider,
Helen Treharne,
David M. Williams,
2014,
IFM.
R. Gupta,
Charles R. Meyer,
David M. Williams,
1993,
IEEE Trans. Medical Imaging.
Charles R. Meyer,
David M. Williams,
Brian G. Schunck,
1989,
Proceedings CVPR '89: IEEE Computer Society Conference on Computer Vision and Pattern Recognition.
Helen Treharne,
David M. Williams,
Anthony Tung Shuen Ho,
2009,
IWDW.
Wan Fokkink,
David M. Williams,
Lars Lockefeer,
2016,
Sci. Comput. Program..
David M. Williams,
2019,
Numerische Mathematik.
Helen Treharne,
David M. Williams,
Anthony Tung Shuen Ho,
2008,
MM&Sec '08.
David M. Williams,
Gregory Camilli,
Lorrie A. Shepard,
1985
.
David M. Williams,
David M. Williams,
2010
.
David M. Williams,
P. Carruthers,
2022,
Cognition.