Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Polacsek
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c31]Stéphanie Roussel, Thomas Polacsek, Anouck Chan:
Assembly Line Preliminary Design Optimization for an Aircraft. CP 2023: 32:1-32:19- [c30]Anouck Chan
, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux:
Goal Modelling: Design and Manufacturing in Aeronautics. RCIS 2023: 3-18 - [c29]Antoine Aubé, Thomas Polacsek:
Cloud Migration High-Level Requirements. RCIS 2023: 19-34 - 2022
- [c28]Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel:
The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. CAiSE 2022: 164-179 - [c27]Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek:
Trying to Elicit and Assign Goals to the Right Actors. ER 2022: 413-422 - 2021
- [c26]Alex Aquieta Nuñez, Anouck Chan, Alberto Donoso-Arciniega, Thomas Polacsek, Stéphanie Roussel:
A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case. PoEM 2021: 267-280 - 2020
- [c25]Kevin Delmas, Claire Pagetti, Thomas Polacsek:
Patterns for Certification Standards. CAiSE 2020: 417-432
2010 – 2019
- 2019
- [b1]Thomas Polacsek:
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). Paul Sabatier University, Toulouse, France, 2019 - [c24]Thomas Polacsek, Stéphanie Roussel, Cédric Pralet, Claude Cuiller:
Design for Efficient Production, A Model-Based Approach. RCIS 2019: 1-6 - 2018
- [c23]Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay:
A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing. ICAPS 2018: 347-355 - [c22]Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino:
Support of Justification Elicitation: Two Industrial Reports. CAiSE 2018: 71-86 - [c21]Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino:
Une sémantique pour les patrons de justification. INFORSID 2018: 109-124 - 2017
- [j6]Thomas Polacsek:
Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d Inf. 22(2): 95-119 (2017) - [c20]Thomas Polacsek, Stéphanie Roussel, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan:
Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study. ER 2017: 340-353 - [c19]François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Thomas Polacsek:
Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée. INFORSID 2017: 77-92 - 2016
- [j5]Rémi Delmas, Thomas Polacsek:
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. 21(2): 39-63 (2016) - [j4]Florence Sèdes, Rémi Delmas, Thomas Polacsek:
Éditorial. Ingénierie des Systèmes d Inf. 21(4): 7-10 (2016) - [j3]David Bihanic, Sophie Dupuy-Chessa, Xavier Le Pallec, Thomas Polacsek:
Introduction. Tech. Sci. Informatiques 35(2): 141-144 (2016) - [j2]David Bihanic, Thomas Polacsek:
StrataVis : une technique de visualisation graphique orientée modèle. Tech. Sci. Informatiques 35(2): 145-174 (2016) - [c18]Thomas Polacsek:
Argumentation Tree: A New Player in your Diagrams. INFORSID 2016: 223-224 - [c17]Thomas Polacsek:
Validation, accreditation or certification: A new kind of diagram to provide confidence. RCIS 2016: 1-8 - 2015
- [c16]Rémi Delmas, Thomas Polacsek:
Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) 2015: 557-566 - [c15]Rémi Delmas, Thomas Polacsek:
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. CAiSE 2015: 151-165 - [c14]Thomas Polacsek:
A process to support and to report collaborative decision. CSCWD 2015: 188-193 - [c13]Rémi Delmas, Thomas Polacsek:
Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID 2015: 251-265 - 2013
- [c12]Rémi Delmas, Thomas Polacsek:
Formal Methods for Exchange Policy Specification. CAiSE 2013: 288-303 - [c11]David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Xavier Le Pallec, Thierry Morineau, Thomas Polacsek:
Modèlisation graphique des SI. Du traitement visuel de modèles complexes. INFORSID 2013: 99-114 - [c10]Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat:
Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS 2013: 320-335 - 2012
- [j1]David Bihanic, Thomas Polacsek:
Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ». Stud. Inform. Univ. 10(1): 235-262 (2012) - [c9]Thomas Polacsek, Laurence Cholvy, Rémi Delmas:
Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID 2012: 352-370 - [c8]David Bihanic, Thomas Polacsek:
Models for Visualisation of Complex Information Systems. IV 2012: 130-135 - [c7]Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat:
Formal Software Verification at Model and at Source Code Levels. MEDI 2012: 162-169 - 2011
- [c6]Thomas Polacsek, Laurence Cholvy:
A framework to report and to analyse a debate. CSCWD 2011: 84-90 - [c5]Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires:
IDM : Vers une aide ? la conception. INFORSID 2011: 147-162 - [c4]Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek:
Supporting Model Based Design. MEDI 2011: 237-248
2000 – 2009
- 2001
- [c3]Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124 - 2000
- [c2]Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek:
A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773 - [c1]Andreas Herzig, Jérôme Lang, Thomas Polacsek:
A modal logic for epistemic tests. ECAI 2000: 553-557
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-09-28 03:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
