Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Hamid Bagheri
Map detail
Hamid Bagheri3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipHamid BagheriAHamid BagheriResearcherSynthesis from Formal Partial AbstractionsWSynthesis from Formal P...preprint / 2014FLACK: Counterexample-Guided Fault Localization for Alloy ModelsWFLACK: Counterexample-G...preprint / 2021
Person2 links

Hamid Bagheri

Researcher