ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Computing and informatics
container_rsgu6oqy7fcfdl4hs633t7yefy
AEPress, s.r.o
Homepage URLs
http://www.cai.sk/ojs/index.php/cai |
Example Publications
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS
Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Nadia Hoggas
2021
|
Computing and informatics
doi:10.31577/cai_2021_5_1080
Comparison of Manual and Automated Feature Engineering for Daily Activity Classification in Mental Disorder Diagnosis
Jakub Adamczyk, Filip Malawski
2021
|
Computing and informatics
doi:10.31577/cai_2021_4_850
Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams
Leifeng He, Guanjun Liu
2021
|
Computing and informatics
doi:10.31577/cai_2021_5_1174
On-Line Load Balancing with Task Buffer
Jiayin Wei, Daoyun Xu, Yongbin Qin, Ruizhang Huang
2017
|
Computing and informatics
doi:10.4149/cai_2017_5_1207
Multilevel Algebraic Approach for Performance Analysis of Parallel Algorithms
Luisa D'Amore, Valeria Mele, Diego Romano, Giuliano Laccetti
2019
|
Computing and informatics
doi:10.31577/cai_2019_4_817