Shahar Maoz
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
- 2Synthesizing a Lego Forklift Controller in GR(1): A Case Study32 citations · 2016
- 3Performance heuristics for GR(1) synthesis and related algorithms26 citations · 2019
- 4Synthesizing a Lego Forklift Controller in GR(1): A Case Study17 citations · 2016
- 5
- 6Performance Heuristics for GR(1) Synthesis and Related Algorithms6 citations · 2017
- 7Spectra: a specification language for reactive systems4 citations · 2021
Key Collaborators
Not generated yet