David N. Jansen (Preferred)
David N. Jansen
Associate Professor, Institute of Software, Chinese Academy of Sciences
Joined
March 2025
Names
Emails
****@ios.ac.cn (Confirmed)
****@tue.nl (Confirmed)
Personal Links
Career & Education History
Associate Professor
Institute of Software, Chinese Academy of Sciences (is.cas.cn)
2018 – Present
Advisors, Relations & Conflicts
Expertise
model checking
Present
bisimulation
Present
Publications
Co-Authors
- Andrea Turrini
- Andreas Zeller
- Angelika Mader
- Anton Wijs
- Benjamin Bisping
- Bican Xia
- Bohua Zhan
- Chen Fu
- Christian Dehnert
- Christian Eisentraut
- Daniel Gebler
- Depeng Liu
- Ernst Moritz Hahn
- Ferry Timmers
- Flemming Nielson
- Friedrich Eisenbrand
- Frits W. Vaandrager
- Gerard J. M. Smit
- Henrik C. Bohnenkamp
- Holger Hermanns
- Huibiao Zhu
- Ivan S. Zapreev
- Jan Friso Groote
- Jasper Berendsen
- Jens Chr. Godskesen