Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Weihao Qu
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
Related publications
Monadic Refinements for Relational Cost Analysis
Proceedings of the ACM on Programming Languages
Relational Capital: An Imperative for Effective Service Localization
An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices
Computer Science
Declarative View of Imperative Programs
Calculating Quantitative Integrity and Secrecy for Imperative Programs
International Journal of Secure Software Engineering
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Mode Analysis of Functional Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Going It Alone Won’t Work! The Relational Imperative for Social Innovation in Social Enterprises
Journal of Business Ethics
Arts
Management
Business
Humanities
Economics
International Management
Accounting
Law
Econometrics
