Michel Barbeau

Available identifiers

Publication	Date of Publication	Type
The lotos model of a fault protected system and its verification using a petri net based approach	2024-04-29	Paper
A Quantum Algorithm for Shapley Value Estimation	2023-01-11	Paper
A new post-quantum multivariate polynomial public key encapsulation algorithm	2022-12-09	Paper
Quantum permutation pad for universal quantum-safe cryptography	2022-12-05	Paper
QoS Aware Adaptive Security Scheme for Video Streaming in MANETs	2013-08-07	Paper
Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol	2012-06-08	Paper
Location-oblivious distributed unit disk graph coloring	2011-05-10	Paper
Location Oblivious Distributed Unit Disk Graph Coloring	2007-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q5754522	2007-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4440322	2003-12-16	Paper
Synthesis of controllers of processes modeled as colored Petri nets	2001-01-11	Paper
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints	2000-10-17	Paper
Planning control rules for reactive agents	1998-06-30	Paper
An Efficient Algorithm for Controller Synthesis under Full Observation	1998-01-07	Paper
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language	1996-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4037094	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037398	1993-05-18	Paper

This page was built for person: Michel Barbeau