Intelligent Continuous Security
Marc Hornbeek
Transactions on Computational Science XXXIX. Transactions on Computational Science
Marina L. Gavrilova
Real-Time C++
Christopher Michael Kormanyos
Time Series Analysis Methods and Applications For Flight Data
Jianye Zhang
Data Analytics
Thomas A. Runkler
Differential Privacy and Applications
Tianqing Zhu
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Tiziana Margaria
Energy Informatics
Bo Nørregaard Jørgensen
OpenMP - Advanced Task-Based, Device and Compiler Programming
IWOMP
Neural Networks and Deep Learning
Charu C. Aggarwal
Computer Vision - ACCV 2022 Workshops
Asian Conference on Computer V
Innovations and Interdisciplinary Solutions For Underserved Areas
International Conference on In
Rules and Reasoning
RuleML+RR
Coordination, Organizations, Institutions, Norms, and Ethics For Governance of Multi-Agent Systems XV
International Workshop on Coor
Advances in Computing
Colombian Congress on Advances
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria
Data Analytics and Management in Data Intensive Domains
International Conference on Da
Real-Time Systems
Hermann Kopetz
Software Technologies
ICSOFT
Distributed, Ambient and Pervasive Interactions
DAPI
