Thomas Polacsek
Orcid: 0000-0001-9139-7960
According to our database1,
Thomas Polacsek
authored at least 42 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023
Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023
Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau.
Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023
L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale.
Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
2022
Les exigences pour un choix d'architecture dans le cadre d'une migration dans les nuages.
Proceedings of the Actes du XLème Congrès INFORSID, Dijon, France, May 31 - June 3, 2022., 2022
Proceedings of the Conceptual Modeling - 41st International Conference, 2022
Proceedings of the Advanced Information Systems Engineering, 2022
2021
A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case.
Proceedings of the Practice of Enterprise Modeling, 2021
2020
Proceedings of the Advanced Information Systems Engineering, 2020
2019
Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019
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).
, 2019
2018
Proceedings of the Actes du XXXVIème Congrès INFORSID, Nantes, France, May 28-31, 2018., 2018
Proceedings of the Advanced Information Systems Engineering, 2018
A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
2017
Diagramme de justification. Un outil pour la validation, la certification et l'accréditation.
Ingénierie des Systèmes d Inf., 2017
Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée.
Proceedings of the Actes du XXXVème Congrès INFORSID, Toulouse, France, May 30, 2017
Proceedings of the Conceptual Modeling - 36th International Conference, 2017
2016
Tech. Sci. Informatiques, 2016
Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information.
Ingénierie des Systèmes d Inf., 2016
Validation, accreditation or certification: A new kind of diagram to provide confidence.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016
2015
Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015
Proceedings of the Advanced Information Systems Engineering, 2015
Proceedings of the New Trends in Databases and Information Systems, 2015
2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the Actes du XXXIème Congrès INFORSID, Paris, France, 29-31 Mai 2013., 2013
Proceedings of the Advanced Information Systems Engineering, 2013
2012
Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ».
Stud. Inform. Univ., 2012
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012
Proceedings of the 16th International Conference on Information Visualisation, 2012
Vers une aide à la spécification d'une politique d'échange d'information dans un SI .
Proceedings of the Actes du XXXème Congrès INFORSID, Montpellier, France, 29 - 31 mai 2012, 2012
2011
Proceedings of the Model and Data Engineering - First International Conference, 2011
Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011
Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, 2011
2001
Updates, actions, and planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
A modal logic for epistemic tests.
Proceedings of the ECAI 2000, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000