Dorit Pardo Ordentlich

According to our database, Dorit Pardo Ordentlich authored at least 3 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic.

Dorit Pardo, Alexander Moshe Rabinovich

Inf. Comput., 2016

2012

A Finite Basis for 'Almost Future' Temporal Logic over the Reals.

Dorit Pardo Ordentlich, Alexander Rabinovich

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2004

Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness.

Dorit Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Fundam. Informaticae, 2004