Shahar Maoz

Tel Aviv University

Papers

7

Total Citations

134

H-Index

6

About

No biography available yet.

Research Focus

Computer science7 · 134 citations
Programming language6 · 128 citations
Fragment (logic)3 · 82 citations
Computation3 · 65 citations
Theoretical computer science3 · 65 citations
Algorithm3 · 65 citations
Software engineering3 · 65 citations
Specification language3 · 53 citations
Temporal logic2 · 49 citations
Linear temporal logic2 · 49 citations
Operating system2 · 49 citations
Programmable logic controller2 · 49 citations

Key Achievements

6
H-Index
7
Papers
134
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
A symbolic justice violations transition system for unrealizable GR(1) specifications
33 citations · 2017
📈 Most Prolific Year: 2017 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Tel Aviv University

Top Papers

  1. 1
    A symbolic justice violations transition system for unrealizable GR(1) specifications
    33 citations · 2017
  2. 2
    Synthesizing a Lego Forklift Controller in GR(1): A Case Study
    32 citations · 2016
  3. 3
    Performance heuristics for GR(1) synthesis and related algorithms
    26 citations · 2019
  4. 4
    Synthesizing a Lego Forklift Controller in GR(1): A Case Study
    17 citations · 2016
  5. 5
    On the software engineering challenges of applying reactive synthesis to robotics
    16 citations · 2018
  6. 6
    Performance Heuristics for GR(1) Synthesis and Related Algorithms
    6 citations · 2017
  7. 7
    Spectra: a specification language for reactive systems
    4 citations · 2021

Key Collaborators

JOJan Oliver Ringert7 shared papersEFElizabeth Firman2 shared papersAKAviv Kuvent1 shared papers
Not generated yet