Concepedia

R. W. Sherman

RW

Statistics

Publications

7

Citations

1.6K

H-Index

7

Active since

1982

Affiliations

Weizmann Institute of Science(Current)

R. W. Sherman is an author at Weizmann Institute of Science specializing in computer science, state diagrams, and statechart modeling.

Publications per year

1982–2003

7

Publications

7

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

Engineering, Computer Engineering, Computer Science +17

Statemate: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · International Conference on Software Engineering · 1988 · 210 citations

Engineering, Computer Engineering, Computer Science +17

On the Formal Semantics of Statecharts (Extended Abstract)

David Harel, Amir Pnueli, Jeanette P. Schmidt et al. · Logic in Computer Science · 1987 · 206 citations

Computing, Computer Science, Formal Methods +12

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · 2003 · 36 citations

Engineering, Computer Engineering, Computer Science +17

Looping vs. repeating in dynamic logic

David Harel, R. W. Sherman · Information and Control · 1982 · 33 citations

Humanities, Computer Science, Logic +5

1–5 of 7