Graph explorer

Research map

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

Suhaas M. Bhat
Map detail
Suhaas M. Bhat12 visible / 12 total nodes / 66 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSuhaas M. BhatASuhaas M. BhatResearcherJan Ole ErnstAJan Ole ErnstResearcherDmitri Michelangelo SaberiADmitri Michelangelo SaberiResearcherDerek ChristADerek ChristResearcherThomas ZimmermannAThomas ZimmermannResearcherRajath SalegameARajath SalegameResearcherStanislav LeventalAStanislav LeventalResearcherThomas Dybdahl AhleAThomas Dybdahl AhleResearcherMatthias JungAMatthias JungResearcherHardware ArchitectureTHardware Architecture1095 worksMachine LearningTMachine Learning49008 worksAutoformalizing Memory Specifications with AgentsWAutoformalizing Memory ...preprint / 2026
Person11 links

Suhaas M. Bhat

Researcher