Ea Sonenberg

University of Melbourne

Papers

1

Total Citations

133

H-Index

1

About

No biography available yet.

Research Focus

Action semantics1 · 133 citations
Computer science1 · 133 citations
Concurrency1 · 133 citations
Denotational semantics1 · 133 citations
Mathematics1 · 133 citations
Operational semantics1 · 133 citations
Programming language1 · 133 citations
Semantics (computer science)1 · 133 citations
Separation logic1 · 133 citations
Soundness1 · 133 citations
State space1 · 133 citations
Theoretical computer science1 · 133 citations

Key Achievements

1
H-Index
1
Papers
133
Total Citations
133
Avg Citations/Paper
🏆 Most Cited Paper
Fixed point theorems and semantics: a folk tale
133 citations · 1982
📈 Most Prolific Year: 1982 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Melbourne

Top Papers

  1. 1
    Fixed point theorems and semantics: a folk tale
    133 citations · 1982

Key Collaborators

JLJ.-L. Lassez1 shared papersVNV.L. Nguyen1 shared papers
Not generated yet