| 2007 | LPAR | Decidable Fragments of Many-Sorted Logic. | Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv |
| 2006 | CSL | Church Synthesis Problem with Parameters. | Alexander Moshe Rabinovich |
| 2006 | CSL | Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. | Alexander Moshe Rabinovich, Wolfgang Thomas |
| 2006 | CSR | Expressiveness of Metric Modalities for Continuous Time. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 2006 | FOSSACS | A Logic of Reachable Patterns in Linked Data-Structures. | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
| 2006 | MFCS | An Expressive Temporal Logic for Real Time. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 2004 | CAV | Verification via Structure Simulation. | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
| 2004 | CSL | The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
| 2003 | FOSSACS | Verification of Probabilistic Systems with Faulty Communication. | Parosh Aziz Abdulla, Alexander Moshe Rabinovich |
| 2003 | ICALP | Quantitative Analysis of Probabilistic Lossy Channel Systems. | Alexander Moshe Rabinovich |
| 2002 | CONCUR | Expressive Power of Temporal Logics. | Alexander Moshe Rabinovich |
| 2002 | CSL | A Logic of Probability with Decidable Model-Checking. | Danile Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko |
| 2000 | MFCS | Why so Many Temporal Logics Climb up the Trees? | Alexander Moshe Rabinovich, Shahar Maoz |
| 1999 | CSL | Quantitative Temporal Logic. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 1999 | ICALP | A Framework for Decidable Metrical Logics. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 1999 | LICS | On the Expressive Power of CTL. | Faron Moller, Alexander Moshe Rabinovich |
| 1998 | MFCS | Expressive Completeness of Temporal Logic of Action. | Alexander Moshe Rabinovich |
| 1997 | FCT | From Finite Automata toward Hybrid Systems (Extended Abstract). | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
| 1993 | MFPS | A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. | Alexander Moshe Rabinovich |
| 1992 | CONCUR | Logic of Trace Languages (Extended Abstract). | Alexander Moshe Rabinovich |
| 1992 | ICALP | Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). | Alexander Moshe Rabinovich |
| 1992 | LFCS | Non Modularity and Expressibility for Nets of Relations. | Alexander Moshe Rabinovich |
| 1990 | ICALP | Communication among Relations (Extended Abstract). | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
| 1989 | LICS | Nets and Data Flow Interpreters | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |