Concepedia

J. Dines

JD

Statistics

Publications

1

Citations

102

H-Index

1

Active since

2010

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

Top concepts

Publications per year

2010–2010

1

Publications

1

Proceedings of the ACL 2010 System Demonstrations

Mikko Kurimo, Bill Byrne, J. Dines et al. · 2010 · 102 citations

, , +7

1–1 of 1