How many movies have Juan Pacheco and Michael Semanick collaborated on?

They have worked on 4 movies together! Their first movie together was Coco (2017) while their highest rated movie together was Spider-Man: Into the Spider-Verse (2018). They have not worked together since Spider-Man: Across the Spider-Verse (2023). They are most known for their adventure films together.