Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohamed Tounsi
Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques
Related publications
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Edge Dominating Set: Efficient Enumeration-Based Exact Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Data Mining Systems: Techniques, Approaches and Algorithms
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Certifying Native Java Card API by Formal Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cell Formation Algorithms Based on Formal Concepts
Erratum To: Formal Methods for Distributed System Development
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Techniques in the Development of Blackboard Systems
International Journal of Pattern Recognition and Artificial Intelligence
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
Mind Map Based Survey of Conventional and Recent Clustering Algorithms: Learning’s for Development of Parallel and Distributed Clustering Algorithms
International Journal of Computer Applications
