Nonstandard combinatorics. - Joram Hirshfeld (Stud Logica, 1988)

Discerning Causality in Interleaving Behavior. - Yoram Hirshfeld; Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (Logic at Botik, 1989)

Safe Queries in Relational Databases with Functions. - Yoram Hirshfeld (CSL, 1991)

On First Order Database Query Languages - Arnon Avron; Yoram Hirshfeld (LICS, 1991)

Deterministic concurrent systems. - Yoram Hirshfeld (Fundam. Informaticae, 1991)

Bisimulation Equivalence is Decidable for Basic Parallel Processes. - Søren Christensen; Yoram Hirshfeld; Faron Moller (CONCUR, 1993)

Petri Nets and the Equivalence Problem. - Yoram Hirshfeld (CSL, 1993)

Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes - Søren Christensen; Yoram Hirshfeld; Faron Moller (LICS, 1993)

A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. - Yoram Hirshfeld; Faron Moller (CONCUR, 1994)

A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes - Yoram Hirshfeld; Mark Jerrum; Faron Moller (FOCS, 1994)

Decidable Subsets of CCS. - Søren Christensen; Yoram Hirshfeld; Faron Moller (Comput. J., 1994)

Queries evaluation, relative safety, and domain independence in first-order database languages with functions. - Arnon Avron; Yoram Hirshfeld (Methods Log. Comput. Sci., 1994)

Decidability Results in Automata and Process Theory. - Yoram Hirshfeld; Faron Moller (Banff Higher Order Workshop, 1995)

Bisimulation trees and the decidability of weak bisimulations. - Yoram Hirshfeld (INFINITY, 1996)

Undecidability of Language Equivalence for Generalized Regular Expressions. - Yoram Hirshfeld (Fundam. Informaticae, 1996)

A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. - Yoram Hirshfeld; Mark Jerrum; Faron Moller (Math. Struct. Comput. Sci., 1996)

A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. - Yoram Hirshfeld; Mark Jerrum; Faron Moller (Theor. Comput. Sci., 1996)

Quantitative Temporal Logic. - Yoram Hirshfeld; Alexander Moshe Rabinovich (CSL, 1999)

Bisimulation Equivanlence Is Decidable for Normed Process Algebra. - Yoram Hirshfeld; Mark Jerrum (ICALP, 1999)

A Framework for Decidable Metrical Logics. - Yoram Hirshfeld; Alexander Moshe Rabinovich (ICALP, 1999)

On the star height of unary regular behaviours. - Yoram Hirshfeld; Faron Moller (Proof, Language, and Interaction, 2000)

Principles in formal specification of object oriented design and architecture. - Amnon H. Eden; Yoram Hirshfeld (CASCON, 2001)

Pushdown automata, multiset automata, and Petri nets. - Yoram Hirshfeld; Faron Moller (Theor. Comput. Sci., 2001)

The Probability Nesting Game. - Danièle Beauquier; Yoram Hirshfeld; Alexander Moshe Rabinovich; Anatol Slissenko (EXPRESS, 2002)

Future temporal logic needs infinitely many modalities. - Yoram Hirshfeld; Alexander Moshe Rabinovich (Inf. Comput., 2003)

Logics for Real Time: Decidability and Complexity. - Yoram Hirshfeld; Alexander Moshe Rabinovich (Fundam. Informaticae, 2004)

Timer formulas and decidable metric temporal logic. - Yoram Hirshfeld; Alexander Moshe Rabinovich (Inf. Comput., 2005)

An Expressive Temporal Logic for Real Time. - Yoram Hirshfeld; Alexander Moshe Rabinovich (MFCS, 2006)

Abstraction classes in software design. - Amnon H. Eden; Yoram Hirshfeld; Rick Kazman (IEE Proc. Softw., 2006)

Expressiveness of Metric modalities for continuous time. - Yoram Hirshfeld; Alexander Rabinovich (Log. Methods Comput. Sci., 2007)

Fields, Meadows and Abstract Data Types. - Jan A. Bergstra; Yoram Hirshfeld; John V. Tucker (Pillars of Computer Science, 2008)

Decidable metric logics. - Yoram Hirshfeld; Alexander Moshe Rabinovich (Inf. Comput., 2008)

Meadows and the equational specification of division. - Jan A. Bergstra; Yoram Hirshfeld; John V. Tucker (Theor. Comput. Sci., 2009)

Promptness in omega-Regular Automata. - Shaull Almagor; Yoram Hirshfeld; Orna Kupferman (ATVA, 2010)

Continuous time temporal logic with counting. - Yoram Hirshfeld; Alexander Rabinovich (Inf. Comput., 2012)