Sidi Mohamed Beillahi

Available identifiers

zbMath Open beillahi.sidi-mohamedMaRDI QIDQ2233449

List of research outcomes

Publication	Date of Publication	Type
Checking robustness against snapshot isolation	2024-02-16	Paper
Automated synthesis of asynchronizations	2023-07-28	Paper
Robustness Against Transactional Causal Consistency.	2023-02-03	Paper
Checking robustness between weak transactional consistency models	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5856416	2021-03-26	Paper
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory	2020-02-06	Paper
A modeling and verification framework for optical quantum circuits	2019-06-03	Paper

Research outcomes over time

This page was built for person: Sidi Mohamed Beillahi