Concepedia

John A. N. Lee

JA

Statistics

Publications

4

Citations

89

H-Index

4

Active since

1990

Affiliations

Virginia Tech(Current)

North Dakota State University

John A. N. Lee is an author at Virginia Tech specializing in petri nets, computer science, and transition nets.

Publications per year

1990–2002

4

Publications

4

A methodology for constructing predicate transition net specifications

Xudong He, John A. N. Lee · Software Practice and Experience · 1991 · 36 citations

, , +17

Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

Xudong He, John A. N. Lee · Formal Aspects of Computing · 1990 · 27 citations · Full text

, , +16

Teaching and learning in the 21st century

John A. N. Lee · ACM SIGCSE Bulletin · 2001 · 15 citations

, , +15

Well behaved women rarely make history!

John A. N. Lee · ACM SIGCSE Bulletin · 2002 · 11 citations

, , +3

1–4 of 4