Ridha Khedri

发表

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

Yuan-Ting Zhang, Zhibo Pang, Geng Yang, 2018 .

Requirements Analysis for Engineering Computation

Ridha Khedri, Spencer Smith, Lei Lai, 2004 .

Optimization in Computer Engineering—Theory and Applications: Book Review of Chapter 8—Applying Graph Coloring to Frequency Assignment

Ridha Khedri, 2012 .

Formal Model Driven Approach to Deal with Requirements Volatility

Ridha Khedri, Ridha Khédri, 2008 .

From abstract time to real time

John Plaice, Ridha Khedri, René Lalement, 2012 .

Specification of Agent Explicit Knowledge in Cryptographic Protocols

Jason Jaskolka, Ridha Khedri, Khair Eddin Sabri, 2008 .

The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) An Algebraic Approach Towards Data Cleaning ✩

Khair Eddin Sabri, Ridha Khedri, Fei Chiang, 2013 .

An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification

Qinglei Zhang, Jason Jaskolka, Ridha Khedri, 2011 .

Interpretation of tabular expressions using arrays of relations

Jules Desharnais, Ali Mili, Ridha Khedri, 2001 .

Towards an Ontology Design Architecture

Jason Jaskolka, Wendy MacCaull, Ridha Khedri, 2015, 2015 International Conference on Computational Science and Computational Intelligence (CSCI).

An Algebraic Approach Towards Data Cleaning

Ridha Khedri, Fei Chiang, Khair Eddin Sabri, 2013, EUSPN/ICTH.

Algebraic Model for Agent Explicit Knowledge in Multi-agent Systems

Khair Eddin Sabri, Jason Jaskolka, Ridha Khedri, 2009 .

Preliminary Requirements Checking Tool

Ridha Khedri, Ridha Khédri, Wei M Eng, 2001 .