Gregory M. Provan

Available identifiers

zbMath Open provan.gregory-mMaRDI QIDQ918732

List of research outcomes

Publication	Date of Publication	Type
Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods	2020-08-20	Paper
Model-Based Diagnosis with Probabilistic Models	2019-10-17	Paper
A Model-Based Active Testing Approach to Sequential Diagnosis	2010-11-10	Paper
Approximate Model-Based Diagnosis Using Greedy Stochastic Search	2010-08-06	Paper
TOPOLOGICAL ANALYSIS OF SPECIFIC SPATIAL COMPLEX NETWORKS	2009-04-28	Paper
Generalizing Global Constraints Based on Network Flows	2009-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4849962	1996-01-04	Paper
The validity of Dempster-Shafer belief functions	1992-09-27	Paper
A logic-based analysis of Dempster-Shafer theory	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5753605	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3200594	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gregory M. Provan