FD
Publications
10
Views
4 948
Downloads
1 496
Supervised works
0
Items per page
1 - 10 of 10
Title Published in Access level OA Policy Year Views Downloads
Paraconsistent Rule-based Reasoning with Graded Truth ValuesJournal of Applied Logic
accessLevelRestricted
2018 246 0
SmartContent—Self-Protected Context-Aware Active Documents for Mobile EnvironmentsElectronics
accessLevelPublic
2017 217 70
A Logic-Based Coordination Middleware for Self-Organising Systems: Distributed reasoning based on many-valued logics
accessLevelPrivate
2017 275 1
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values
accessLevelPublic
2017 426 85
Logic fragments: coordinating entities with logic programsLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
accessLevelRestricted
2016 507 1
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de CarougeConcours de Géomatique, Festival international de Géographie,
accessLevelPublic
2016 517 85
Towards a logic and chemical based coordination model
accessLevelPublic
2015 817 185
A logic language for run time assessment of spatial properties in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops
accessLevelPublic
2015 587 308
Towards a spatial language for run-time assessments in self-organizing systemsNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
accessLevelPublic
2015 497 286
Self-composition of services with chemical reactions
accessLevelPublic
2013 859 475
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack