Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paolo Morettin
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Probabilistic Inference in Hybrid Domains
Related publications
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Refining Approximations in Software Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Bayesian Model Selection in PARAFAC via Stochastic Thermodynamic Integration
IEEE Signal Processing Letters
Electronic Engineering
Applied Mathematics
Electrical
Signal Processing
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
A Hierarchical and Abstraction-Based Blockchain Model
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
Slow Abstraction via Priority
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Neural Network-Based Model for Japanese Predicate Argument Structure Analysis
Model of Efficient and Scalable Integration System
Scientific Papers of Silesian University of Technology. Organization and Management Series
Improved BTG-based Preordering for SMT via Parallel Parameter Averaging: An Empirical Study
Journal of Natural Language Processing
