Journal: Inf. Syst.

Volume 25, Issue 1

1 -- 22Ho-Hyun Park, Yong-Ju Lee, Chin-Wan Chung. Spatial Query Optimization Utilizing Early Separated Filter and Refinement Strategy
23 -- 41Salvatore T. March, Sangkyu Rho. A Semantic Object-Oriented Data Access System
43 -- 69Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Verification Of Workflow Task Structures: A Petri-net-baset Approach