APLAS & ATVA 2026
Tue 1 - Fri 4 December 2026
Hong Kong SAR China
Toggle navigation
Attending
Venue: The Hong Kong University of Science and Technology
Registration
Visa and Invitation Letter
Accommodation Information
Local Information
Program
APLAS & ATVA Program
Your Program
Tue 1 Dec
Wed 2 Dec
Thu 3 Dec
Fri 4 Dec
Tracks
APLAS & ATVA 2026
NIER
Keynotes
APLAS Research Papers
ATVA Research Papers
SRC and Posters
Organization
APLAS & ATVA 2026 Committees
ATVA2026 Steering Committee
Organizing Committee
Track Committees
APLAS Research Papers
Organizing Committee
Program Committee
ATVA Research Papers
Program Committee
ATVA Steering Committee
Artifact Evaluation Committee
SRC and Posters
Selection Committee
Judges
Contributors
People Index
Search
Series
Series
APLAS & ATVA 2026
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS & ATVA 2026
(
series
) /
Yihao Chen
APLAS & ATVA 2026 profile
conf.research.org general profile
Not registered as user
Name:
Yihao Chen
Affiliation:
East China Normal University, China
Contributions
2026
APLAS
Model Checking Matrix Product States Against Linear Chain Logic
Show activities from other conferences
Share
Using general profile
x
Fri 30 Oct 17:23