Guillaume Feuillade

From MaRDI portal
Person:556683

Available identifiers

zbMath Open feuillade.guillaumeMaRDI QIDQ556683

List of research outcomes





PublicationDate of PublicationType
Database repair via event-condition-action rules in dynamic logic2022-12-09Paper
A Dynamic Logic Account of Active Integrity Constraints2019-12-06Paper
Controller/Orchestrator Synthesis via Filtration2016-08-05Paper
A Dynamic View of Active Integrity Constraints2015-01-14Paper
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition2014-06-27Paper
Reachability in Conditional Term Rewriting Systems2013-04-19Paper
Modal specifications for the control theory of discrete event systems2007-06-07Paper
Reachability analysis over term rewriting systems2005-06-22Paper

Research outcomes over time

This page was built for person: Guillaume Feuillade

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