|
TACAS 2020
Tools and Algorithms for Construction and Analysis of Systems
|
|
VSC @IEEE WETICE 2020
Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
|
|
NETWORKS 2020
4th International Conference on Networks & Communications
|
|
OVERLAY 2020
Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
|
|
HeteroPar 2020
Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
|
|
ICAS 2020
The Sixteenth International Conference on Autonomic and Autonomous Systems
|
|
Recommender Systems 2020
Data Science for Next-Generation Recommender Systems
|
|
IDA 2020
The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
|
|
ICTAI 2020
International Conference on Tools with Artificial Intelligence
|
|
MAAIDL 2020
Springer Book 'Malware Analysis using Artificial Intelligence and Deep Learning'
|
