Graph explorer

Research map

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

Astrid Klipfel
Map detail
Astrid Klipfel9 visible / 9 total nodes / 29 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-authorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAstrid KlipfelAAstrid KlipfelResearcherShixin SunAShixin SunResearcherOndřej KuželkaAOndřej KuželkaResearcherYuanhong WangAYuanhong WangResearcherYi ChangAYi ChangResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksA Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting QuantifiersWA Fast Model Counting A...preprint / 2026A Chemically Grounded Evaluation Framework for Generative Models in Materials DiscoveryWA Chemically Grounded E...preprint / 2025
Person8 links

Astrid Klipfel

Researcher