Yoram Hirshfeld

Publication Activity (10 Years)

Years Active: 1989-2012
Publications (10 Years): 0

Top Topics

Dynamic Constraints

Bounded Model Checking

Mazurkiewicz Traces

Top Venues

Publications

Yoram Hirshfeld, Alexander Rabinovich
Continuous time temporal logic with counting. Inf. Comput. 214 (2012)
Shaull Almagor, Yoram Hirshfeld, Orna Kupferman
-Regular Automata. ATVA (2010)
Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker
Meadows and the equational specification of division. Theor. Comput. Sci. 410 (12-13) (2009)
Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker
Fields, Meadows and Abstract Data Types. Pillars of Computer Science (2008)
Yoram Hirshfeld, Alexander Moshe Rabinovich
Decidable metric logics. Inf. Comput. 206 (12) (2008)
Yoram Hirshfeld, Alexander Rabinovich
Expressiveness of Metric modalities for continuous time. Log. Methods Comput. Sci. 3 (1) (2007)
Yoram Hirshfeld, Alexander Moshe Rabinovich
Expressiveness of Metric Modalities for Continuous Time. CSR (2006)
Yoram Hirshfeld, Alexander Rabinovich
Expressiveness of Metric modalities for continuous time CoRR (2006)
Yoram Hirshfeld, Alexander Moshe Rabinovich
An Expressive Temporal Logic for Real Time. MFCS (2006)
Amnon H. Eden, Yoram Hirshfeld, Rick Kazman
Abstraction classes in software design. IEE Proc. Softw. 153 (4) (2006)
Yoram Hirshfeld, Alexander Moshe Rabinovich
Timer formulas and decidable metric temporal logic. Inf. Comput. 198 (2) (2005)
Yoram Hirshfeld, Alexander Moshe Rabinovich
Logics for Real Time: Decidability and Complexity. Fundam. Informaticae 62 (1) (2004)
Yoram Hirshfeld, Alexander Moshe Rabinovich
Future temporal logic needs infinitely many modalities. Inf. Comput. 187 (2) (2003)
Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko
The Probability Nesting Game. EXPRESS (2002)
Yoram Hirshfeld, Faron Moller
Pushdown automata, multiset automata, and Petri nets. Theor. Comput. Sci. 256 (1-2) (2001)
Amnon H. Eden, Yoram Hirshfeld
Principles in formal specification of object oriented design and architecture. CASCON (2001)
Yoram Hirshfeld, Faron Moller
On the star height of unary regular behaviours. Proof, Language, and Interaction (2000)
Yoram Hirshfeld, Alexander Moshe Rabinovich
A Framework for Decidable Metrical Logics. ICALP (1999)
Yoram Hirshfeld, Alexander Moshe Rabinovich
Quantitative Temporal Logic. CSL (1999)
Yoram Hirshfeld, Mark Jerrum
Bisimulation Equivanlence Is Decidable for Normed Process Algebra. ICALP (1999)
Yoram Hirshfeld, Mark Jerrum, Faron Moller
A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. Math. Struct. Comput. Sci. 6 (3) (1996)
Yoram Hirshfeld, Mark Jerrum, Faron Moller
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. Theor. Comput. Sci. 158 (1&2) (1996)
Yoram Hirshfeld
Bisimulation trees and the decidability of weak bisimulations. INFINITY (1996)
Yoram Hirshfeld
Undecidability of Language Equivalence for Generalized Regular Expressions. Fundam. Informaticae 26 (1) (1996)
Yoram Hirshfeld, Faron Moller
Decidability Results in Automata and Process Theory. Banff Higher Order Workshop (1995)
Yoram Hirshfeld, Mark Jerrum, Faron Moller
A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes FOCS (1994)
Yoram Hirshfeld, Faron Moller
A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. CONCUR (1994)
Arnon Avron, Yoram Hirshfeld
Queries evaluation, relative safety, and domain independence in first-order database languages with functions. Methods Log. Comput. Sci. 1 (3) (1994)
Søren Christensen, Yoram Hirshfeld, Faron Moller
Decidable Subsets of CCS. Comput. J. 37 (4) (1994)
Yoram Hirshfeld
Petri Nets and the Equivalence Problem. CSL (1993)
Søren Christensen, Yoram Hirshfeld, Faron Moller
Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR (1993)
Søren Christensen, Yoram Hirshfeld, Faron Moller
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes LICS (1993)
Arnon Avron, Yoram Hirshfeld
On First Order Database Query Languages LICS (1991)
Yoram Hirshfeld
Deterministic concurrent systems. Fundam. Informaticae 15 (1) (1991)
Yoram Hirshfeld
Safe Queries in Relational Databases with Functions. CSL (1991)
Yoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
Discerning Causality in Interleaving Behavior. Logic at Botik (1989)