Graph explorer

Research map

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

Gabriel Bathie
Map detail
Gabriel Bathie8 visible / 8 total nodes / 24 links

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

Related contextRelated contextCo-authorshipCo-authorshipCo-authorshipRelated contextWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalGabriel BathieAGabriel BathieResearcherGPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond CachingWGPU-Accelerated Synthes...preprint / 2026Baptiste MouillonABaptiste MouillonResearcherNathanaël FijalkowANathanaël FijalkowResearcherLTL$_f$ Learning Meets Boolean Set CoverWLTL$_f$ Learning Meets ...preprint / 2026Programming LanguagesTProgramming Languages1239 worksDistributed, Parallel, and Cluster ComputingTDistributed, Parallel, ...4102 worksMachine LearningTMachine Learning49008 works
Person7 links

Gabriel Bathie

Researcher