Concepedia

JAMES F. ALLEN

JF

Statistics

Publications

1

Citations

440

H-Index

1

Active since

1994

Affiliations

University of Rochester(Current)

JAMES F. ALLEN is an author at University of Rochester specializing in formal methods, automated reasoning, and intelligent systems.

Top concepts

Publications per year

1994–1994

1

Publications

1

Actions and Events in Interval Temporal Logic

JAMES F. ALLEN, George Ferguson · Journal of Logic and Computation · 1994 · 440 citations · Full text

, , +13

1–1 of 1