Juan Chen

Shanxi Medical University — China

Computer Science · Physical Sciences

14h-index837citations45works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(19), Security and Verification in Computing(18), Parallel Computing and Optimization Techniques(8), Formal Methods in Verification(8), Educational Technology and Pedagogy(7)

Publications45 total

Clinical-radiologic-pathologic characterization of diabetic mastopathy: an analysis of 21 cases
Frontiers in Endocrinology·2026Open Access
A Study on a Blended Learning Assessment Model in the Context of the Digital Transformation of Education a Case Study of a “University Computer Fundamentals” Course at Yunnan Normal University
Communications in computer and information science·2025
DGFormer: An Effective Dynamic Graph Transformer Based Anomaly Detection Model for IoT Time Series
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2024· 1 cited
Exploration of Curriculum Design and Teaching Evaluation in College English Education
Transactions on Comparative Education·2023Open Access
A Robust and Accurate Multivariate Time Series Anomaly Detection in Fluctuating Cloud-Edge Computing Systems
2022· 1 cited
Application of SPOC Based Online and offline Hybrid Teaching Design in University Computer Foundation
2021
Application of deep learning in the detection of breast lesions with four different breast densities
Cancer Medicine·2021· 15 citedOpen Access
Research on the Application of Computer Multimedia Technology in English Education and Teaching
Journal of Physics Conference Series·2021· 14 citedOpen Access
Discussion and Research of Aviation Data Link Based on ADS
DEStech Transactions on Computer Science and Engineering·2019Open Access
Discussion and Research of Aviation Data Link Based on ADS
DEStech Transactions on Environment Energy and Earth Science·2019
Erratum: Towards Privacy-Preserving Location Sharing over Mobile Online Social Networks [IEICE Transactions on Information and Systems Vol.E102.D (2019) , No.1 pp.133-146]
IEICE Transactions on Information and Systems·2019Open Access
Towards Privacy-Preserving Location Sharing over Mobile Online Social Networks
IEICE Transactions on Information and Systems·2018· 3 citedOpen Access
Privacy Protection for Location Sharing Services in Social Networks
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2018
Application of Mind Mapping in the Course Construction of the Technology of Aviation Datalink
Science Discovery·2018Open Access
Comparative study of college English traditional listening and speaking mode and network listening and speaking teaching mode
2015
Gradual typing embedded securely in JavaScript
2014· 59 cited
Gradual typing embedded securely in JavaScript
ACM SIGPLAN Notices·2014· 7 citedOpen Access
Secure distributed programming with value-dependent types
Journal of Functional Programming·2013· 59 citedOpen Access
Fully abstract compilation to JavaScript
ACM SIGPLAN Notices·2013· 9 cited
Fully abstract compilation to JavaScript
2013· 85 cited
page 1 of 3Next →

Frequent Co-authors

Nikhil Swamy(12), Cédric Fournet(9), Pierre-Yves Strub(9), Karthikeyan Bhargavan(5), Chris Hawblitzel(5), Ravi Chugh(3), Andrew W. Appel(3), Frances Perry(3), Pierre-Évariste Dagand(2), Benjamin Livshits(2), Aseem Rastogi(2), Gavin Bierman(2), Dinghao Wu(2), Mike Emmi(2), Jeremy Condit(2), Derrick Coetzee(2), Polyvios Pratikaki(2), Shen Su(2), Xianzhi Wang(2), Jean Yang(1)