Bofill, M.; Coll, J.; Nightingale, P.; Giráldez-Cru, J.; Suy, J.; Ulrich-Oltean, F.; Villaret, M. Proceendings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). Macao (CHN): , 2023. Bofill, M.; Coll, J.; Garcia, M.; Giráldez-Cru, J.; Pesant, G.; Suy, J.; Villaret, M. Proceendings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). Macao (CHN): , 2023. Ansótegui, C.; Bofill, M.; Coll, J.; Dang, N.; Esteban, J.L.; Miguel, I.; Nightingale, P.; Salamon, A.; Suy, J.; Villaret, M. Principles and Practice of Constraint Programming - Lecture Notes in Computer Science. Stamford (USA): Springer International Publishing, 2019. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2019. Lecture Notes in Computer Science. Thessaloniki (GRC): Springer, Cham, 2019. Bofill, M.; Giráldez-Cru, J.; Suy, J.; Villaret, M. Artificial Intelligence Research and Development, Frontiers in Artificial Intelligence and Applications. Mallorca (ESP): IOS Press, 2019. Bofill, M.; Espasa, J.; Villaret, M. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS): , 2017. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Principles and Practice of Constraint Programming - Lecture Notes in Computer Science. Melbourne (AUS): Springer International Publishing, 2017. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne (AUS): , 2017. Bofill, M.; Calderón, M.; Castro, F.; Del Acebo, E.; Delgado, P.; Garcia, M.; García, M.; Roig, M.; Valentín, M.; Villaret, M. Lecture Notes in Computer Science. Vienna (AUT): Springer-Verlag, 2017. Bofill, M.; Espasa, J.; Villaret, M. Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016). London (GBR): Association for the Advancement of Artificial Intelligence (AAAI), 2016. Bofill, M.; Garcia, M.; Giráldez-Cru, J.; Villaret, M. Pragmatics of SAT 2016. Bordeaux (FRA): , 2016. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI). San José, CA (USA): IEEE, 2016. Bofill, M.; Espasa, J.; Villaret, M. Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2015). Jerusalem (ISR): , 2015. Bofill, M.; Manyà, F.; Vidal, A.; Villaret, M. Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on. Waterloo (CAN): IEEE, 2015. Almendros-Jiménez, J.M.; Bofill, M.; Luna, A.; Moreno, G.; Vázquez, C.; Villaret, M. Lecture Notes in Computer Science. Québec City (CAN): Springer-Verlag, 2015. Bofill, M.; Garcia, M.; Suy, J.; Villaret, M. Integration of AI and OR Techniques in Constraint Programming.12th International Conference, CPAIOR 2015 Proceedings. Barcelona (ESP): Springer-Verlag, 2015. Bofill, M.; Manyà, F.; Vidal, A.; Villaret, M. Lecture Notes in Computer Science. Waterloo (CAN): Springer-Verlag, 2015. Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Principles and Practice of Constraint Programming - Lecture Notes in Computer Science. Lyon (FRA): Springer International Publishing, 2014. Bofill, M.; Busquets, D.; Villaret, M. Principles and Practice of Constraint Programming - Lecture Notes in Computer Science. Lyon (FRA): Springer International Publishing, 2014. Bofill, M.; Espasa, J.; Garcia, M.; Palahí, M.; Suy, J.; Villaret, M. Principles and Practice of Constraint Programming - Lecture Notes in Computer Science. Lyon (FRA): Springer International Publishing, 2014. Bofill, M.; Espasa, J.; Villaret, M. Proceedings of the 13th International Workshop on Constraint Modelling and Reformulation (ModRef 2014). Co-located with the 20th International Confere. Lyon (FRA): , 2014. Bofill, M.; Coll, J.; Suy, J.; Villaret, M. Frontiers in Artificial Intelligence and Applications. Amsterdam (NLD): IOS Press, 2014. Bofill, M.; Moreno, G.; Vázquez, C.; Villaret, M. Actas de las 'XIII Jornadas sobre Programación y Lenguajes (PROLE)'. Madrid (ESP): , 2013. Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Proceedings of the 12th International Workshop on Constraint Modelling and Reformulation (ModRef 2013). Co-located with the 19th International Confere. Uppsala (SWE): , 2013. Ansótegui C.; Bofill M.; Manyà F.; Villaret, M. Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011). Victoria (CAN): IEEE, 2012. Bofill, M.; Espasa, J.; Palahí, M.; Villaret, M. Actas de las 'XII Jornadas sobre Programación y Lenguajes (PROLE)'. Almería (ESP): , 2012. Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Proceedings of the 1st International Workshop on MiniZinc (MZN 2011). Co-located with the 17th International Conference on Principles and Practice of . Perugia (ITA): , 2011. Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Proceedings of the 9th Symposium on Abstraction, Reformulation and Approximation (SARA 2011). Cardona (ESP): AAAI Press, 2011. Ansótegui, C.; Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Proceedings of the 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011). Co-located with the 17th International Confere. Perugia (ITA): , 2011. Ansótegui C.; Bofill M.; Manyà F.; Villaret, M. Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011). Tuusula (FIN): IEEE, 2011. Bofill, M.; Busquets, D.; Villaret, M. Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2010). Hagenberg (AUT): ACM Press, 2010. Bofill, M.; Suy, J.; Villaret, M. Lecture Notes in Computer Science. Edinburgh (GBR): Springer-Verlag, 2010. Bofill, M.; Palahí, M.; Suy, J.; Villaret, M. Proceedings of the 8th International Workshop on Constraint Modelling and Reformulation (ModRef 2009). Co-located with the 15th International Conferen. Lisbon (PRT): , 2009. Bofill, M.; Busquets, D.; Villaret, M. Proceedings of the Second Workshop on Agreement Technologies (WAT 2009). Sevilla (ESP): CEUR Workshop Proceedings, Germany, 2009. Bofill, M.; Palahí, M.; Villaret, M. Actas de las IX Jornadas sobre Programación y Lenguajes (PROLE 2009). Donostia (ESP): , 2009. Bofill, M.; Nieuwenhuis, R.; Oliveras, A.; Rodríguez-Carbonell, E.; Rubio, A. Lecture Notes in Computer Science. Princeton (USA): Springer-Verlag, 2008. Bofill, M.; Nieuwenhuis, R.; Oliveras, A.; Rodríguez-Carbonell, E.; Rubio, A. Formal Methods in Computer-Aided Design (FMCAD 2008). Portland (USA): IEEE, 2008. Bofill, M.; Rubio, A.; Lecture Notes in Artificial Intelligence. Cork (IRL): Springer-Verlag, 2004. Bofill, M.; Rubio, A.; Lecture Notes in Artificial Intelligence. Copenhagen (DMK): Springer-Verlag, 2002. Bofill, M.; Godoy, J.; Lecture Notes in Computer Science. Crete (GRC): Springer-Verlag, 2001. Bofill, M.; Godoy, J.; Rubio, A.; Nieuwenhuis, R. Lecture Notes in Artificial Intelligence. Nancy (FRA): Springer-Verlag, 2000. Bofill, M.; Godoy, G.; Rubio, A.; Nieuwenhuis, R. Logic in Computer Science (LICS), 1999. Proceedings. 14th Symposium on . Trento (ITA): IEEE Computer Society Press, 1999.
Bofill, M. " Tractament de taules ." Fonaments de programació / Pere Botella López, coordinador de l'obra ; Miquel Bofill i Arasa ... [et al.]. (ESP): Edicions de la Universitat Oberta de Catalunya, 2001. Bofill, M.; Burgués, X.; Franch, X.; Lagonigro, R.; Vancells, J. " Recursivitat ." Fonaments de programació II. Barcelona (ESP): Editorial UOC, 1998.
Bofill, M.; Godoy, G. Maximal Strategies for Paramodulation with Non-Monotonic Orderings, Report de Recerca LSI-99-28R, UPC. (ESP): , 1999.
Bofill, M.; Vancells, J. Teoria d'autòmats i llenguatge formals II, . (ESP): Edicions de la Universitat Oberta de Catalunya, 2000. Miquel Bofill Microsoft Word 6.0: una guia d'aprenentatge, Microsoft Word 6.0: una guia d'aprenentatge. Vic (ESP): Eumo Editorial, 1997.