5
Publications
199
Citations
5
H-Index
2012
Active since
Affiliations
Tzu‐Chun Chen is an author at Imperial College London specializing in program analysis, formal specification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationFormal SpecificationFinanceBusiness
Publications per year
2012–2024
5
5
Monitoring networks through multiparty session types
Laura Bocchi, Tzu‐Chun Chen, Romain Demangeon et al. · Theoretical Computer Science · 2017 · 52 citations · Full text
Transformer-CNN for small image object detection
Yanlin Chen, Chun‐Liang Lin, Yu‐Chen Lin et al. · Signal Processing Image Communication · 2024 · 10 citations
Rows per page
1–5 of 5