J.-C. Royer

Available identifiers

zbMath Open royer.jean-claudeMaRDI QIDQ1403216

List of research outcomes

Publication	Date of Publication	Type
Efficiently Characterizing the Undefined Requests of a Rule-Based System	2023-06-28	Paper
Bounded Analysis and Decomposition for Behavioural Descriptions of Components	2021-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4459116	2004-03-25	Paper
An operational approach to the semantics of classes: Application to type checking	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q2767172	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2764114	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2709215	2001-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4896250	1996-10-20	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: J.-C. Royer