Login / Signup
Dorit Pardo
Publication Activity (10 Years)
Years Active: 2004-2016
Publications (10 Years): 1
Top Topics
Video Sequences
Temporal Logic
Dynamic Systems
Top Venues
Inf. Comput.
</>
Publications
</>
Dorit Pardo
,
Alexander Moshe Rabinovich
No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic.
Inf. Comput.
247 (2016)
Dorit Pardo
,
Alexander Moshe Rabinovich
,
Boris A. Trakhtenbrot
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness.
Fundam. Informaticae
62 (1) (2004)