• Sign in
  • Sign up
conf.researchr.org / Ansuman Banerjee
  • 17th Innovations in Software Engineering Conference (ISEC 2024) profile
  • ATVA 2025 profile
  • PLDI 2025 profile
  • POPL 2023 profile
No Photo

Registered user since Mon 15 Jan 2024

Name:Ansuman Banerjee

Contributions

2025

ATVA

  • PC Member in Programme Committee

LCTES

  • Committee Member in Program Committee within the LCTES-track

2024

ISEC

  • Author of A Contrastive Explanation Tool for Plans in Hybrid Domains within the Research Papers-track
  • Committee Member in Program Committee within the Research Papers-track

2023

VMCAI

  • Author of SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study within the VMCAI 2023-track
Share
xFri 9 May 22:56
using conf.researchr.org (v1.69.0)
Support page
Sign Up