Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrey Karaulov
Constraint-Base Optimizations of Executable UML Models
Related publications
Generating Executable Capability Models for Requirements Validation
Journal of Software
Runtime Optimizations for Tree-Based Machine Learning Models
IEEE Transactions on Knowledge and Data Engineering
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Impact of the Object Constraint Language in UML-based Development
Finite Model Reasoning on UML Class Diagrams via Constraint Programming
Intelligenza Artificiale
Artificial Intelligence
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Executing and Debugging UML Models
Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules
Journal of Applied Logic
Applied Mathematics
Logic
Optimizations Under Uncertainty Using Gradients, Hessians, and Surrogate Models
AIAA Journal
Aerospace Engineering
Towards Vertical Impact Analysis of UML Models
