Abdessamad Imine

From MaRDI portal
Person:820126

Available identifiers

zbMath Open imine.abdessamadMaRDI QIDQ820126

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q33887092021-05-06Paper
Efficient and Decentralized Polling Protocol for General Social Networks2020-01-14Paper
On Synthesizing a Consistent Operational Transformation Approach2017-05-16Paper
On Securely Manipulating XML Data2013-08-07Paper
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms2009-03-06Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
Formal design and verification of operational transformation algorithms for copies convergence2006-04-06Paper
Algebraic Methodology and Software Technology2005-08-25Paper
Artificial Intelligence and Symbolic Computation2005-08-19Paper

Research outcomes over time

This page was built for person: Abdessamad Imine

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