Shahar Maoz

Tel Aviv University

论文数

7

总引用数

134

H-Index

6

关于

暂无简介。

研究焦点

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

主要成就

6
H 指数
7
论文
134
总引用数
19
篇均引用
🏆 最高被引论文
A symbolic justice violations transition system for unrealizable GR(1) specifications
33 次引用 · 2017
📈 最高产年份: 2017 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: Tel Aviv University

代表论文

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

主要合作者

JOJan Oliver Ringert7 篇合著论文EFElizabeth Firman2 篇合著论文AKAviv Kuvent1 篇合著论文
尚未生成