| 2010 | ATVA | Promptness in | Shaull Almagor, Yoram Hirshfeld, Orna Kupferman |
| 2006 | CSR | Expressiveness of Metric Modalities for Continuous Time. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 2006 | MFCS | An Expressive Temporal Logic for Real Time. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 1999 | CSL | Quantitative Temporal Logic. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 1999 | ICALP | Bisimulation Equivanlence Is Decidable for Normed Process Algebra. | Yoram Hirshfeld, Mark Jerrum |
| 1999 | ICALP | A Framework for Decidable Metrical Logics. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 1994 | CONCUR | A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. | Yoram Hirshfeld, Faron Moller |
| 1994 | FOCS | A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes | Yoram Hirshfeld, Mark Jerrum, Faron Moller |
| 1993 | CONCUR | Bisimulation Equivalence is Decidable for Basic Parallel Processes. | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | CSL | Petri Nets and the Equivalence Problem. | Yoram Hirshfeld |
| 1993 | LICS | Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1991 | CSL | Safe Queries in Relational Databases with Functions. | Yoram Hirshfeld |
| 1991 | LICS | On First Order Database Query Languages | Arnon Avron, Yoram Hirshfeld |