Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Papers
Paper Accepted by IJCAI 2025
Our paper has been accepted for presentation at IJCAI 2025.
Apr 29, 2025
Paper Accepted by J. Comput. Sci. Technol.
Our paper has been accepted by Journal of Computer Science and Technology.
Apr 23, 2025
Paper Accepted by CAV 2025
Our paper has been accepted for presentation at CAV 2025.
Apr 2, 2025
Paper Accepted by Journal of Software
Our paper has been accepted by Journal of Software.
Nov 26, 2024
Book Chapter in JPK's Festschrift
Our paper appears in the Festschrift dedicated to Joost-Pieter Katoen.
Nov 13, 2024
Paper Accepted by ASE 2024
Our paper has been accepted for presentation at ASE 2024.
Aug 25, 2024
Paper Accepted by ACM MM 2024
Our paper has been accepted for presentation at ACM MM 2024.
Jul 16, 2024
Paper Accepted by FM 2024
Our paper has been accepted for presentation at FM 2024.
Jun 11, 2024
Paper Accepted by ICWS (SRG) 2024
Our work-in-progress paper has been accepted for presentation at ICWS (SRG) 2024.
Jun 5, 2024
Paper Accepted by Tsinghua Sci. Tech.
Our paper has been accepted by Tsinghua Science and Technology.
May 8, 2024
«
»
Cite
×
