Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yijun Yu

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

IEEE Transactions on Intelligent Transportation Systems
Automotive EngineeringComputer Science ApplicationsMechanical Engineering
2018English

Bilateral Sympathetic Stellate Ganglionectomy Attenuates Myocardial Remodelling and Fibrosis in a Rat Model of Chronic Volume Overload

Journal of Cellular and Molecular Medicine
Molecular MedicineCell Biology
2018English

Engineering Adaptive Model-Driven User Interfaces

IEEE Transactions on Software Engineering
Software
2016English

Uncertainty Handling in Goal-Driven Self-Optimization – Limiting the Negative Effect on Adaptation

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2014English

Improving the Tokenisation of Identifier Names

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Association Between Cardiac Autonomic Nervous Dysfunction and the Severity of Coronary Lesions in Patients With Stable Coronary Artery Disease

Journal of International Medical Research
BiochemistryMedicineCell Biology
2018English

Goal Modelling for Security Problem Matching and Pattern Enforcement

International Journal of Secure Software Engineering
2017English

A Survey of the Forms of Java Reference Names

2015English

O2O Service Composition With Social Collaboration

2017English

Forensically-Sound Analysis of Security Risks of Using Local Password Managers

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy