ICAPS 2023
International Conference on Automated Planning and Scheduling
|
ASE 2023
38th IEEE/ACM International Conference on Automated Software Engineering
|
IWDSP 2023
4th International Workshop on Dynamic Scheduling Problems
|
IDEAL 2023
24th International Conference on Intelligent Data Engineering and Automated Learning
|
CiViE 2023
7th International Conference On Civil Engineering
|
ATVA 2023
Automated Technology for Verification and Analysis
|
SI:Tourist_Trip_Planning 2023
Special Issue on ''Tourist Trip Planning: Algorithmic Foundations''
|
IJFLS 2023
International Journal of Fuzzy Logic Systems
|
IEEE ITSC2023 SS 2023
Special Session: Leveraging Data in Connected, Cooperative and Automated Mobility (CCAM) enabled by Edge and Cloud
|
FMCAD 2023
2023 Formal Methods in Computer-Aided Design (FMCAD)
|