Abdelraouf Ouadjaout

From MaRDI portal
Person:2322313

Available identifiers

zbMath Open ouadjaout.abdelraoufMaRDI QIDQ2322313

List of research outcomes





PublicationDate of PublicationType
An abstract domain for trees with numeric relations2023-11-24Paper
Quantitative static analysis of communication protocols using abstract Markov chains2019-09-16Paper
Quantitative static analysis of communication protocols using abstract Markov chains2019-09-04Paper
An Effective Area-Based Localization Algorithm for Wireless Networks2017-05-16Paper

Research outcomes over time

This page was built for person: Abdelraouf Ouadjaout

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2322313&oldid=7799633"
Powered by MediaWiki