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

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: Sidi Mohamed Beillahi