Ridha Khédri

Introduction to the Special Section: Convergence of Automation Technology, Biomedical Engineering, and Health Informatics Toward the Healthcare 4.0

Zhibo Pang, Geng Yang, Ridha Khédri et al. · IEEE Reviews in Biomedical Engineering · 2018 · 153 citations

Engineering, Biomedical Engineering, Health Informatics +17

On a formal semantics of tabular expressions

Ryszard Janicki, Ridha Khédri · Science of Computer Programming · 2001 · 55 citations

Computing, Computer Science, Formal Methods +8

An algebra of product families

Peter Höfner, Ridha Khédri, Bernhard Möller · Software & Systems Modeling · 2009 · 51 citations

Natural Sciences, Mathematics, Algebra +7

A Formal Approach to Network Segmentation

Neerja Mhaskar, Mohammed Alabbad, Ridha Khédri · Computers & Security · 2021 · 43 citations

Computing, Computer Engineering, Computer Science +11

A Multidimensional Approach towards a Quantitative Assessment of Security Threats

Mouna Jouini, Latifa Ben Arfa Rabai, Ridha Khédri · Procedia Computer Science · 2015 · 42 citations · Full text

Business, Information Systems, Information Technology +17