| Paraconsistent Rule-based Reasoning with Graded Truth Values | Journal of Applied Logic |  | | 2018 | 287 | 0 |
|
| SmartContent—Self-Protected Context-Aware Active Documents for Mobile Environments | Electronics |  | | 2017 | 253 | 330 |
|
| A Logic-Based Coordination Middleware for Self-Organising Systems: Distributed reasoning based on many-valued logics | |  | | 2017 | 529 | 1 |
|
| Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values | | | | 2017 | 474 | 312 |
|
| Logic fragments: coordinating entities with logic programs | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | | | 2016 | 562 | 1 |
|
| Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de Carouge | Concours de Géomatique, Festival international de Géographie, | | | 2016 | 581 | 151 |
|
| Towards a logic and chemical based coordination model | | | | 2015 | 916 | 487 |
|
| A logic language for run time assessment of spatial properties in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops | | | 2015 | 642 | 547 |
|
| Towards a spatial language for run-time assessments in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems | | | 2015 | 553 | 454 |
|
| Self-composition of services with chemical reactions | | | | 2013 | 928 | 596 |
|
