FM 2024
Formal Methods
|
Ei/Scopus-CISDS 2024
2024 3rd International Conference on Communications, Information System and Data Science (CISDS 2024)
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
ICMC 2024
International Conference on Mathematics and Computing
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
SI DENA 2024
SPECIAL ISSUE on Differential Equations and Numerical Analysis
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
JMC 2024
JOURNAL OF MATHEMATICAL CRYPTOLOGY 2024
|
SBMF 2024
27th Brazilian Symposium on Formal Methods
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|