|
СТ |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics |
2004 |
Immerman N., Rabinovich A., Sagiv M., Yorsh G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.12.2004 |
|
СТ |
Verification via Structure Simulation |
2004 |
Immerman N., Rabinovich A., Reps T. W., Sagiv M., Yorsh G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
04.09.2004 |
|
СТ |
Expressive Power of Temporal Logics |
2002 |
Rabinovich A. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
Why so Many Temporal Logics Climb up the Trees? |
2000 |
Rabinovich A., Maoz S. |
|
|
|
Lecture Notes in Computer Science |
16.09.2000 |
|
СТ |
Quantitative Temporal Logic |
1999 |
Hirshfeld Y., Rabinovich A. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
П |
Nets and Data Flow Interpreters |
1989 |
Rabinovich A., Trakhtenbrot B. A. |
|
|
Telaviv Univ. |
|
02.07.1998 |
|
П |
Discerning Causality in Interleaving Behavior |
1989 |
Hirshfeld J., Rabinovich A., Trakhtenbrot B. A. |
|
|
Telaviv Univ. |
|
02.07.1998 |
|
СТ |
Modularity and Expressibility for Nets of Relations |
1998 |
Rabinovich A. |
|
|
|
Acta Informatica |
10.06.1998 |
|
СТ |
Logic of Trace Languages |
1992 |
Rabinovich A. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
Connectedness and synchronization |
1991 |
Mazurkiewicz A., Rabinovich A., Trakhtenbrot A. |
|
|
|
Theoretical Computer Science |
26.12.1991 |
