Concepedia

Johannes A. G. M. Koomen

JA

9

Publications

472

Citations

9

H-Index

1947

Active since

Affiliations

University of Rochester(Current)

University of Waterloo

Johannes A. G. M. Koomen is an author at University of Rochester specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringSoftware EngineeringLearningEducationTechnologyStem EducationFuture Thinking

Publications per year

1947–1992

9

Publications

9

Planning using a temporal world model

James F. Allen, Johannes A. G. M. Koomen · 1983 · 254 citations

A non-reified temporal logic

Fahiem Bacchus, Josh Tenenberg, Johannes A. G. M. Koomen · Artificial Intelligence · 1991 · 48 citations

Non-reified Temporal Logic, Non-classical Logic, Engineering +6

Using scientific experiments in early computer science laboratories

Doug Baldwin, Johannes A. G. M. Koomen · 1992 · 36 citations

Engineering, Computational Literacy, Experimental Science +20

Reasoning about recurrence

Johannes A. G. M. Koomen · International Journal of Intelligent Systems · 1991 · 32 citations

Recurrence Axioms, Engineering, Reachability Problem +13

Using scientific experiments in early computer science laboratories

Doug Baldwin, Johannes A. G. M. Koomen · ACM SIGCSE Bulletin · 1992 · 28 citations · Full text

Engineering, Computational Literacy, Experimental Science +20

Rows per page

1–5 of 9