1
Published 2011
Springer Berlin Heidelberg

2
Published 2024
Springer Nature Switzerland
... Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024...

3
Published 2022
Springer International Publishing
..., in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022...

4
Published 2023
Springer Nature Switzerland
... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...

5
Published 2023
Springer Nature Switzerland
... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...

9
Published 2024
Springer Nature Switzerland
... and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games...

10
Published 2024
Springer Nature Switzerland
... and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games...

11
Published 2021
Springer International Publishing
... March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software...

12
Published 2021
Springer International Publishing
... March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software...

18
Published 2024
Springer Nature Switzerland
... reviewed and selected from 146 submissions. They are organized in the following topical sections: Part I...

19
Published 2024
Springer Nature Switzerland
...: Part I : Combinatorics and Algorithms; Algorithmic Solution in Applications; and Algorithm in Networks...