Christophe Garion
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Norms and deontic logic | 2024-09-11 | Paper |
| Verification of machine learning based cyber-physical systems: a comparative study 25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Automated analysis of Stateflow models EPiC Series in Computing | 2019-01-10 | Paper |
| Querying several conflicting databases Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| Ability in a Multi-agent Context: A Model in the Situation Calculus Lecture Notes in Computer Science | 2009-04-28 | Paper |
| Answering queries addressed to several databases according to a majority merging approach Journal of Intelligent Information Systems | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2089437 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1735831 (Why is no real title available?) | 2002-10-15 | Paper |
Research outcomes over time
This page was built for person: Christophe Garion
