Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Di Pierro
Probabilistic -Calculus and Quantitative Program Analysis
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Probabilistic Asynchronous Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Probabilistic Logic Programming Event Calculus
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
Probabilistic Modal μ-Calculus With Independent Product
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Temporal Logics via the Modal Mu-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Analysis of Breast Cancer Diagnosis Using a Probabilistic Modelling Approach
Computers in Biology and Medicine
Computer Science Applications
Health Informatics
Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Novel Approach for Improved Tractography and Quantitative Analysis of Probabilistic Fibre Tracking Curves
Medical Image Analysis
Nuclear Medicine
Computer Graphics
Pattern Recognition
Ultrasound Technology
Radiological
Health Informatics
Computer Vision
Radiology
Computer-Aided Design
Imaging
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
