Scholar
Dror Fried
Google Scholar ID: NNWkoZsAAAAJ
The Open University of Israel
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
718
H-index
12
i10-index
13
Publications
20
Co-authors
0
Publications
3 items
Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
2026
Cited
0
On-the-fly LTLf Synthesis under Partial Observability
2026
Cited
0
Algorithmic Perspective on Toda's Theorem
2025
Cited
0
