| 2023 | CP | Assembly Line Preliminary Design Optimization for an Aircraft. | Stphanie Roussel, Thomas Polacsek, Anouck Chan |
| 2023 | ER | Stroke management: defining and assigning goals to stakeholders (short paper). | Anouck Chan, Thomas Polacsek |
| 2023 | RCIS | Cloud Migration High-Level Requirements. | Antoine Aub, Thomas Polacsek |
| 2023 | RCIS | Goal Modelling: Design and Manufacturing in Aeronautics. | Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stphanie Roussel, Franois Bouissire, Claude Cuiller, Pierre-Eric Dereux |
| 2022 | CaiSE | The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. | Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stphanie Roussel |
| 2022 | ER | Trying to Elicit and Assign Goals to the Right Actors. | Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek |
| 2020 | CaiSE | Patterns for Certification Standards. | Kevin Delmas, Claire Pagetti, Thomas Polacsek |
| 2019 | RCIS | Design for Efficient Production, A Model-Based Approach. | Thomas Polacsek, Stphanie Roussel, Cdric Pralet, Claude Cuiller |
| 2018 | CaiSE | Support of Justification Elicitation: Two Industrial Reports. | Clment Duffau, Thomas Polacsek, Mireille Blay-Fornarino |
| 2017 | ER | Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study. | Thomas Polacsek, Stphanie Roussel, Franois Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stphane Kersuzan |
| 2016 | RCIS | Validation, accreditation or certification: A new kind of diagram to provide confidence. | Thomas Polacsek |
| 2015 | ADBIS | Critical Information Diffusion Systems. | Rmi Delmas, Thomas Polacsek |
| 2015 | CaiSE | Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. | Rmi Delmas, Thomas Polacsek |
| 2015 | CSCWD | A process to support and to report collaborative decision. | Thomas Polacsek |
| 2013 | CaiSE | Formal Methods for Exchange Policy Specification. | Rmi Delmas, Thomas Polacsek |
| 2013 | MODELS | Behavioural Verification in Embedded Software, from Model to Source Code. | Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stphane Duprat |
| 2012 | IV | Models for Visualisation of Complex Information Systems. | David Bihanic, Thomas Polacsek |
| 2012 | MEDI | Formal Software Verification at Model and at Source Code Levels. | Anthony Fernandes Pires, Thomas Polacsek, Stphane Duprat |
| 2011 | CSCWD | A framework to report and to analyse a debate. | Thomas Polacsek, Laurence Cholvy |
| 2011 | MEDI | Supporting Model Based Design. | Rmi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek |
| 2001 | IJCAI | Updates, actions, and planning. | Andreas Herzig, Jrme Lang, Pierre Marquis, Thomas Polacsek |
| 2000 | AAAI | A Logic for Planning under Partial Observability. | Andreas Herzig, Jrme Lang, Dominique Longin, Thomas Polacsek |
| 2000 | ECAI | A modal logic for epistemic tests. | Andreas Herzig, Jrme Lang, Thomas Polacsek |