DCFS 2024
Descriptional Complexity of Formal Systems
|
SIMULTECH 2024
14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
|
FM 2024
Formal Methods
|
PCDS 2024
The 1st International Symposium on Parallel Computing and Distributed Systems
|
ICISS 2024
The 20th International Conference on Information Systems Security (ICISS-2024)
|
CIIS 2024
ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
DDECS 2024
27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
Sensors journal 2024
Special Issue on Energy-Efficient Communication Networks and Systems: 2nd Eition
|