Login / Signup
Jiaqi Yin
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 52
Top Topics
Formal Verification
Timed Automata
Intrinsic Motivation
Database
Top Venues
SEKE
CoRR
Mob. Networks Appl.
J. Softw. Evol. Process.
</>
Publications
</>