Yoram Hirshfeld

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