Authors

King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia

Inha University, Incheon, Republic of Korea

King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia

Sungkyunkwan University, Suwon, Republic of Korea

University of Central Florida, Orlando, United States of America

Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, Karlsruhe, Germany

Staffordshire University, Stafford, United Kingdom

Graz University of Technology, K., Austria

Institute for Theoretical Computer Science, Graz University of Technology, Graz, Austria

LMC/IMAG, France

Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria