- STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings
- Combinatorics on Traces (Lecture Notes in Computer Science)
- Discrete Algebraic Methods
- Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings
- Elements of Discrete Mathematics: Numbers and Counting, Groups, Graphs, Orders and Lattices