FD
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Paraconsistent Rule-based Reasoning with Graded Truth Values | Journal of Applied Logic |  | 2018 | 284 | 0 | ||
| SmartContent—Self-Protected Context-Aware Active Documents for Mobile Environments | Electronics |  | 2017 | 249 | 126 | ||
| A Logic-Based Coordination Middleware for Self-Organising Systems: Distributed reasoning based on many-valued logics |  | 2017 | 493 | 1 | |||
| Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values | | 2017 | 466 | 121 | |||
| Logic fragments: coordinating entities with logic programs | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | | 2016 | 556 | 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 | 572 | 127 | ||
| Towards a logic and chemical based coordination model | | 2015 | 910 | 310 | |||
| 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 | 637 | 483 | ||
| Towards a spatial language for run-time assessments in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems | | 2015 | 550 | 369 | ||
| Self-composition of services with chemical reactions | | 2013 | 923 | 565 |
