Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

5 results for Dana Fisman

Augmenting a regular expression-based temporal logic with local variables
- - Cindy Eisner
  - Dana Fisman
- 2008
- FMCAD 2008
A topological characterization of weakness
- - Cindy Eisner
  - Dana Fisman
  - et al.
- 2005
- PODC 2005
Vacuity in practice: temporal antecedent failure
- - Shoham Ben-David
  - Fady Copty
  - et al.
- 2015
- Formal Methods in System Design
Safety and liveness, weakness and strength, and the underlying topological relations
- - Cindy Eisner
  - Dana Fisman
  - et al.
- 2014
- ACM TOCL
Embedding finite automata within regular expressions
- - Shoham Ben-David
  - Dana Fisman
  - et al.
- 2008
- Theoretical Computer Science