Clovis Eberhart

From MaRDI portal
Person:2117252

Available identifiers

zbMath Open eberhart.clovisMaRDI QIDQ2117252

List of research outcomes





PublicationDate of PublicationType
A compositional framework for Petri nets2025-01-20Paper
History-dependent nominal \(\mu \)-calculus2024-12-19Paper
A compositional approach to parity games2024-12-17Paper
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis2024-02-13Paper
Control-data separation and logical condition propagation for efficient inference on probabilistic programs2024-02-12Paper
Compositional probabilistic model checking with string diagrams of MDPs2024-02-01Paper
https://portal.mardi4nfdi.de/entity/Q50890172022-07-18Paper
Architecture-guided test resource allocation via logic2022-03-21Paper
What's in a game?2021-01-20Paper
https://portal.mardi4nfdi.de/entity/Q53824492019-06-17Paper
Simple game semantics and Day convolution2018-10-16Paper
https://portal.mardi4nfdi.de/entity/Q45802052018-08-13Paper
https://portal.mardi4nfdi.de/entity/Q45967862017-12-11Paper
https://portal.mardi4nfdi.de/entity/Q52753452017-07-11Paper

Research outcomes over time

This page was built for person: Clovis Eberhart

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2117252&oldid=6592812"
Powered by MediaWiki