A Logic for Planning under Partial Observability. - Andreas Herzig; Jérôme Lang; Dominique Longin; Thomas Polacsek (AAAI/IAAI, 2000)

A modal logic for epistemic tests. - Andreas Herzig; Jérôme Lang; Thomas Polacsek (ECAI, 2000)

Updates, actions, and planning. - Andreas Herzig; Jérôme Lang; Pierre Marquis; Thomas Polacsek (IJCAI, 2001)

A framework to report and to analyse a debate. - Thomas Polacsek; Laurence Cholvy (CSCWD, 2011)

IDM : Vers une aide ? la conception. - Rémi Delmas; Thomas Polacsek; David Doose; Anthony Fernandes Pires (INFORSID, 2011)

Supporting Model Based Design. - Rémi Delmas; David Doose; Anthony Fernandes Pires; Thomas Polacsek (MEDI, 2011)

Vers une aide à la spécification d'une politique d'échange d'information dans un SI . - Thomas Polacsek; Laurence Cholvy; Rémi Delmas (INFORSID, 2012)

Models for Visualisation of Complex Information Systems. - David Bihanic; Thomas Polacsek (IV, 2012)

Formal Software Verification at Model and at Source Code Levels. - Anthony Fernandes Pires; Thomas Polacsek; Stéphane Duprat (MEDI, 2012)

Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ». - David Bihanic; Thomas Polacsek (Stud. Inform. Univ., 2012)

Formal Methods for Exchange Policy Specification. - Rémi Delmas; Thomas Polacsek (CAiSE, 2013)

Modèlisation graphique des SI. Du traitement visuel de modèles complexes. - David Bihanic; Max Chevalier; Sophie Dupuy-Chessa; Xavier Le Pallec; Thierry Morineau; Thomas Polacsek (INFORSID, 2013)

Behavioural Verification in Embedded Software, from Model to Source Code. - Anthony Fernandes Pires; Thomas Polacsek; Virginie Wiels; Stéphane Duprat (MoDELS, 2013)

Critical Information Diffusion Systems. - Rémi Delmas; Thomas Polacsek (ADBIS (Short Papers and Workshops), 2015)

Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. - Rémi Delmas; Thomas Polacsek (CAiSE, 2015)

A process to support and to report collaborative decision. - Thomas Polacsek (CSCWD, 2015)

Vérification automatique d'exigences pour les politiques d'échange d'information. - Rémi Delmas; Thomas Polacsek (INFORSID, 2015)

Argumentation Tree: A New Player in your Diagrams. - Thomas Polacsek (INFORSID, 2016)

Validation, accreditation or certification: A new kind of diagram to provide confidence. - Thomas Polacsek (RCIS, 2016)

Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information. - Rémi Delmas; Thomas Polacsek (Ingénierie des Systèmes d Inf., 2016)

Éditorial. - Florence Sèdes; Rémi Delmas; Thomas Polacsek (Ingénierie des Systèmes d Inf., 2016)

Introduction. - David Bihanic; Sophie Dupuy-Chessa; Xavier Le Pallec; Thomas Polacsek (Tech. Sci. Informatiques, 2016)

StrataVis : une technique de visualisation graphique orientée modèle. - David Bihanic; Thomas Polacsek (Tech. Sci. Informatiques, 2016)

Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study. - Thomas Polacsek; Stéphanie Roussel 001; François Bouissiere; Claude Cuiller; Pierre-Eric Dereux; Stéphane Kersuzan (ER, 2017)

Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée. - François Bouissiere; Claude Cuiller; Pierre-Eric Dereux; Stéphane Kersuzan; Thomas Polacsek (INFORSID, 2017)

Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. - Thomas Polacsek (Ingénierie des Systèmes d Inf., 2017)

A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing. - Cédric Pralet; Stéphanie Roussel 001; Thomas Polacsek; François Bouissière; Claude Cuiller; Pierre-Eric Dereux; Stéphane Kersuzan; Marc Lelay (ICAPS, 2018)

Support of Justification Elicitation: Two Industrial Reports. - Clément Duffau; Thomas Polacsek; Mireille Blay-Fornarino (CAiSE, 2018)

Une sémantique pour les patrons de justification. - Clément Duffau; Thomas Polacsek; Mireille Blay-Fornarino (INFORSID, 2018)

Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software). - Thomas Polacsek (2019)

Design for Efficient Production, A Model-Based Approach. - Thomas Polacsek; Stéphanie Roussel 001; Cédric Pralet; Claude Cuiller (RCIS, 2019)

Patterns for Certification Standards. - Kevin Delmas; Claire Pagetti; Thomas Polacsek (CAiSE, 2020)

A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case. - Alex Aquieta Nuñez; Anouck Chan; Alberto Donoso-Arciniega; Thomas Polacsek; Stéphanie Roussel 001 (PoEM, 2021)

The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001 (CAiSE, 2022)

Trying to Elicit and Assign Goals to the Right Actors. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek (ER, 2022)

Les exigences pour un choix d'architecture dans le cadre d'une migration dans les nuages. - Antoine Aubé; Thomas Polacsek; Clément Duffau (INFORSID, 2022)

Assembly Line Preliminary Design Optimization for an Aircraft. - Stéphanie Roussel 001; Thomas Polacsek; Anouck Chan (CP, 2023)

Stroke management: defining and assigning goals to stakeholders (short paper). - Anouck Chan; Thomas Polacsek (ER (Companion), 2023)

L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001 (INFORSID, 2023)

Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek (INFORSID, 2023)

Cloud Migration High-Level Requirements. - Antoine Aubé; Thomas Polacsek (RCIS, 2023)

Goal Modelling: Design and Manufacturing in Aeronautics. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001; François Bouissière; Claude Cuiller; Pierre-Eric Dereux (RCIS, 2023)

Exploring Goal Relationships in Satellite Assembly Line Design. - Anouck Chan; Thomas Polacsek; Stéphanie Roussel 001 (DB&IS, 2024)

Towards a New Method for Designing Manufacturing Capabilities. - Anouck Chan; Janis Stirna; Jelena Zdravkovic; Thomas Polacsek; Simon Hacks; Janis Grabis; Claudio Favi (DB&IS, 2024)

Application of KJ Method in an Aeronautics Collaborative Project. - Anouck Chan; Thomas Polacsek; Brieuc Danet (PoEM Companion, 2024)

Goal modelling in aeronautics: Practical applications for aircraft and manufacturing designs. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001; François Bouissière; Claude Cuiller; Pierre-Eric Dereux (Data Knowl. Eng., 2025)