Yoram Hirshfeld
发表
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Mathematical Structures in Computer Science.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
Y. Hirshfeld,
1999,
CSL.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
2006,
CSR.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
2012,
Inf. Comput..
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
Y. Hirshfeld,
2005,
Inf. Comput..
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
2008,
Inf. Comput..
Yoram Hirshfeld,
1996,
Fundam. Informaticae.
Yoram Hirshfeld,
1991,
CSL.
Yoram Hirshfeld,
1991,
Fundam. Informaticae.
Amnon H. Eden,
Yoram Hirshfeld,
Y. Hirshfeld,
1999
.
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Theor. Comput. Sci..
Yoram Hirshfeld,
Orna Kupferman,
Shaull Almagor,
2010,
ATVA.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
1994,
CONCUR.
Yoram Hirshfeld,
Arnon Avron,
1994,
Methods Log. Comput. Sci..
Yoram Hirshfeld,
Arnon Avron,
Y. Hirshfeld,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
2001,
Theor. Comput. Sci..
Mark Jerrum,
Yoram Hirshfeld,
M. Jerrum,
1999
.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
Boris A. Trakhtenbrot,
1989,
Logic at Botik.
Jan A. Bergstra,
Yoram Hirshfeld,
J. V. Tucker,
2009,
Theor. Comput. Sci..
Yoram Hirshfeld,
Y. Hirshfeld,
1993,
CSL.
Rick Kazman,
Amnon H. Eden,
Yoram Hirshfeld,
2006,
IEE Proc. Softw..
Amnon H. Eden,
Yoram Hirshfeld,
Y. Hirshfeld,
2001,
CASCON.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1993,
CONCUR.
Jan A. Bergstra,
Yoram Hirshfeld,
J. V. Tucker,
2008,
Pillars of Computer Science.
Amnon H. Eden,
Yoram Hirshfeld,
Amiram Yehudai,
2007
.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
2006,
MFCS.
Amnon H. Eden,
Yoram Hirshfeld,
Amiram Yehudai,
1999
.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
2003,
Inf. Comput..
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
2000,
Proof, Language, and Interaction.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1994,
Comput. J..
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
Danièle Beauquier,
2002,
EXPRESS.
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Proceedings 35th Annual Symposium on Foundations of Computer Science.
Yoram Hirshfeld,
Y. Hirshfeld,
1996,
INFINITY.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
1999,
ICALP.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
1996,
Banff Higher Order Workshop.
Yoram Hirshfeld,
Alexander Moshe Rabinovich,
Y. Hirshfeld,
2004,
Fundam. Informaticae.
Yoram Hirshfeld,
Y. Hirshfeld,
Hanks,
1999
.
Yoram Hirshfeld,
Orna Kupferman,
Shaull Almagor,
2010
.