Abdessamad Imine

MaRDI QIDQ820126zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7345209 (Why is no real title available?)	2021-05-06	Paper
scientific article; zbMATH DE number 7345209 (Why is no real title available?) (available as arXiv preprint)	2021-05-06	Paper
Efficient and decentralized polling protocol for general social networks Lecture Notes in Computer Science	2020-01-14	Paper
On Synthesizing a Consistent Operational Transformation Approach IEEE Transactions on Computers	2017-05-16	Paper
On securely manipulating XML data Foundations and Practice of Security	2013-08-07	Paper
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms Rewriting, Computation and Proof	2009-03-06	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
Formal design and verification of operational transformation algorithms for copies convergence Theoretical Computer Science	2006-04-06	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper

Research outcomes over time

This page was built for person: Abdessamad Imine