Concepedia

Praxis (United Kingdom)

P(

197

Publications

3.4K

Citations

8

Authors

London

United Kingdom

Other names

Praxis Medicare

Praxis (United Kingdom) is a company institution in London, United Kingdom known for engineering, software engineering, and computer science.

Top concepts

EngineeringSoftware EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisSystems EngineeringVerificationProgram AnalysisSystem Software

Publications

197

Testing Computer Software

Bruce S. Elliott · Software Engineering Journal · 1994 · 288 citations

Software Maintenance, Engineering, Computational Testing +11

Correctness by construction: developing a commercial secure system

Anthony Hall, Roderick Chapman · IEEE Software · 2002 · 242 citations

Engineering, Information Security, Verification +23

Bayesian graph edit distance

Richard Myers, R.C. Wison, Edwin R. Hancock · IEEE Transactions on Pattern Analysis and Machine Intelligence · 2000 · 159 citations

Engineering, Graph Matching, Relational Graphs +19

Using formal methods to develop an ATC information system

Anthony Hall · IEEE Software · 1996 · 128 citations

Engineering, Verification, Software Engineering +19

Railing for Safety: Job Demands, Job Control, and Safety Citizenship Role Definition.

Nick Turner, Nik Chmiel, Melanie Walls · Journal of Occupational Health Psychology · 2005 · 97 citations

Performance Studies, Job Demands, Safety Management +15

Rows per page

1–5 of 197

Authors

8

	Publications	Citations	H-Index
RC Roderick Chapman Praxis (United Kingdom)	53	890	14
PA Peter Amey Praxis (United Kingdom)	19	169	8
AH Adrian Hilton Praxis (United Kingdom)	9	104	5
CM Christine Mulvenna Praxis (United Kingdom)	5	35	3
RR R. Rawlings Praxis (United Kingdom)	6	26	2

Rows per page

1–5 of 8