2020 4th International Symposium on Informatics and its Applications (ISIA)
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 30)

H-INDEX

0

(FIVE YEARS 0)

Published By IEEE

9781728196527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization and Refinement Proof for Embedded Systems

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416544 ◽

2020 ◽

Author(s):

Asma Bezza ◽

Elkamel Merah ◽

Rabea Ameur-Boulifa ◽

Rohallah Benaboud ◽

Toufik Messaoud Maarouk

Keyword(s):

Embedded Systems

Download Full-text

[Front cover]

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416534 ◽

2020 ◽

Keyword(s):

Download Full-text

Towards Service Ontology for Web Services Storage and Discovery

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416537 ◽

2020 ◽

Author(s):

Moussa Kaouan ◽

Djelloul Bouchiha ◽

Sidi Mohamed Benslimane ◽

Sofiane Boukli-Hacene

Keyword(s):

Web Services ◽

Service Ontology

Download Full-text

Artificial Intelligence Facing COVID-19 Pandemic for Decision Support in Algeria

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416545 ◽

2020 ◽

Author(s):

Bouraoui Seyfallah ◽

Tarak Benkedjouh

Keyword(s):

Artificial Intelligence ◽

Decision Support

Download Full-text

A technique for developping mobile applications

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416548 ◽

2020 ◽

Author(s):

Aissa ElMahdi Bourahla ◽

Mustapha Bourahla

Keyword(s):

Mobile Applications

Download Full-text

Protein structure prediction in the HP model using scatter search algorithm

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416554 ◽

2020 ◽

Author(s):

Boumedine Nabil ◽

Bouroubi Sadek

Keyword(s):

Protein Structure ◽

Protein Structure Prediction ◽

Structure Prediction ◽

Search Algorithm ◽

Scatter Search ◽

Hp Model ◽

Scatter Search Algorithm

Download Full-text

Validation of UML Class Diagram and OCL pre-and post-conditions using OTS/CafeOBJ proof scores

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416542 ◽

2020 ◽

Author(s):

Rabah Mokhtari

Keyword(s):

Class Diagram ◽

Uml Class Diagram

Download Full-text

An efficient Genetic Algorithm with Modified Crossover Operator for Community Detection in Social Networks

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416556 ◽

2020 ◽

Author(s):

Makhlouf Benazi ◽

Chaabane Lamiche

Keyword(s):

Genetic Algorithm ◽

Social Networks ◽

Community Detection ◽

Crossover Operator

Download Full-text

Author Index

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416557 ◽

2020 ◽

Download Full-text

Preface

2020 4th International Symposium on Informatics and its Applications (ISIA) ◽

10.1109/isia51297.2020.9416551 ◽

2020 ◽

Download Full-text