• Sign in
  • Sign up
conf.researchr.org / One An
  • ASE 2025 profile
  • POPL 2026 profile

Registered user since Sun 1 Jun 2025

Name:One An

Contributions

2026

POPL

  • Student Volunteer in Student Volunteers

2025

ASE

  • Author of First-Order Quantified Separator in Alloy Analyzer within the Student Research Competition-track
Share
xWed 21 Jan 22:22
using conf.researchr.org (v1.72.1)
Support page
Sign Up