Peter J. L. Wallis - Concepedia

Author

Peter J. L. Wallis

Also Known As

P. J. L. Wallis, P.J.L Wallis, PETER J. WALLIS, Peter J L Wallis, Peter J Wallis, Peter J. L. Wallis, Peter J.L. Wallis

Publications

213

Citations

H-Index

Concepts

All Affiliations

Peter J. L. Wallis is an author at University of Bath specializing in automated reasoning, formal verification, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	28
2	Social Sciences	2	2	60
3	Computer Science	2	2	28
4	Natural Sciences	1	1	44
5	Computer Engineering	1	1	12

Peter J. L. Wallis

Publications

Citations

H-Index

Page 1

	Year	Citations
Viewpoint specification and Z Mark Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Information and Software Technology Architectural DesignGeometric ModelingGeometryArchitectural ModelNatural Sciences	1994	44
Formal validation of viewpoint specifications Mike Ainsworth, Steve Riddle, Peter J. L. Wallis Software Engineering Journal EngineeringGeometryVerificationComputer-aided DesignSemantics	1996	16
Efficient implementation of the Ada overloading rules Peter J. L. Wallis, Bernard W. Silverman Information Processing Letters Mathematical ProgrammingEngineeringProgram AnalysisAutomated ReasoningRule Induction	1980	12

Page 1