Yoram Hirshfeld

Affiliations:
  • Tel Aviv University, School of Mathematical Sciences, Israel


According to our database1, Yoram Hirshfeld authored at least 35 papers between 1988 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Continuous time temporal logic with counting.
Inf. Comput., 2012

2010
Promptness in <i>omega</i>-Regular Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Meadows and the equational specification of division.
Theor. Comput. Sci., 2009

2008
Decidable metric logics.
Inf. Comput., 2008

Fields, Meadows and Abstract Data Types.
Proceedings of the Pillars of Computer Science, 2008

2007
Expressiveness of Metric modalities for continuous time.
Log. Methods Comput. Sci., 2007

2006
Abstraction classes in software design.
IEE Proc. Softw., 2006

An Expressive Temporal Logic for Real Time.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

2005
Timer formulas and decidable metric temporal logic.
Inf. Comput., 2005

2004
Logics for Real Time: Decidability and Complexity.
Fundam. Informaticae, 2004

2003
Future temporal logic needs infinitely many modalities.
Inf. Comput., 2003

2002
The Probability Nesting Game.
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

2001
Pushdown automata, multiset automata, and Petri nets.
Theor. Comput. Sci., 2001

Principles in formal specification of object oriented design and architecture.
Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, 2001

2000
On the star height of unary regular behaviours.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
A Framework for Decidable Metrical Logics.
Proceedings of the Automata, 1999

Bisimulation Equivanlence Is Decidable for Normed Process Algebra.
Proceedings of the Automata, 1999

Quantitative Temporal Logic.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1996
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.
Theor. Comput. Sci., 1996

A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes.
Math. Struct. Comput. Sci., 1996

Undecidability of Language Equivalence for Generalized Regular Expressions.
Fundam. Informaticae, 1996

Bisimulation trees and the decidability of weak bisimulations.
Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

1995
Decidability Results in Automata and Process Theory.
Proceedings of the Logics for Concurrency, 1995

1994
Queries evaluation, relative safety, and domain independence in first-order database languages with functions.
Methods Log. Comput. Sci., 1994

Decidable Subsets of CCS.
Comput. J., 1994

A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994

A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.
Proceedings of the CONCUR '94, 1994

1993
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Petri Nets and the Equivalence Problem.
Proceedings of the Computer Science Logic, 7th Workshop, 1993

Bisimulation Equivalence is Decidable for Basic Parallel Processes.
Proceedings of the CONCUR '93, 1993

1991
Deterministic concurrent systems.
Fundam. Informaticae, 1991

On First Order Database Query Languages
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Safe Queries in Relational Databases with Functions.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1989
Discerning Causality in Interleaving Behavior.
Proceedings of the Logic at Botik '89, 1989

1988
Nonstandard combinatorics.
Stud Logica, 1988


  Loading...