Go home now Header Background Image
Submission Procedure
share: |
Follow us

Doron Drusinsky
Naval Postgraduate School and Time-Rover, Inc., USA

D. Drusinsky:
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
page 1950 - 1966
Vol.18 / Issue 14
D. Drusinsky:
Behavioral and Temporal Rule Checking for Gaussian Random Process – a Kalman Filter Example
page 2198 - 2206
Vol.19 / Issue 15
D. Drusinsky, M.-T. Shing:
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
page 1261 - 1276
Vol.9 / Issue 11
D. Drusinsky:
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
page 482 - 498
Vol.12 / Issue 5