Concepedia

Author

J. Dines

Also Known As

J. Dines, J.A.B. Dines

5

Publications

107

Citations

2

H-Index

8

Concepts

JD

About

J. Dines is an author specializing in automated reasoning, engineering, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

102

2

Computer Science

1

1

102

3

Systems Engineering

1

1

102

4

Automated Reasoning

1

1

102

5

Formal Methods

1

1

102

J. Dines

×

1

Publications

102

Citations

1

H-Index

YearCitations

Page 1