sas 2022
29th Static Analysis Symposium
|
VSTTE 2022
14th International Conference on Verified Software: Theories, Tools, and Experiments
|
MDA AI&PR 2023
18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
|
CPP 2023
Certified Programs and Proofs 2023
|
Edited Book in Springer-Verlag 2022
Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
|
MDA AI&PR 2023
MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
|
Mathematics (MDPI) 2022
Mathematics Special Issue - Analysis and Mathematical Modeling of Control Engineering and Path Planning
|
SANER 2023
The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
|
ICGDA 2023
2023 6th International Conference on Geoinformatics and Data Analysis (ICGDA 2023)
|
RECI 2022
The Second International Workshop on Reliability Engineering and Computational Intelligence
|