Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yu-Fang Chen
Automated Assume-Guarantee Reasoning Through Implicit Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pharmacokinetic Interactions Between Carbamazepine and the Traditional Chinese Medicine Paeoniae Radix
Biological and Pharmaceutical Bulletin
Medicine
Pharmacology
Pharmaceutical Science
Related publications
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
Optimized L*-Based Assume-Guarantee Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction
From Relational Interfaces to Assume-Guarantee Contracts
Identifying Novel Drug Indications Through Automated Reasoning
PLoS ONE
Multidisciplinary
A Semantic Reasoning Method Towards Ontological Model for Automated Learning Analysis
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Supporting Mathematical Reasoning Through Reading and Writing in Mathematics : Making the Implicit Explicit
Automated Reasoning on Feature Models
Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer Processes
Fluid Flow
