ask others

Thomas Polacsek

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c22]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aips/PraletRPBCDKL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aips/PraletRPBCDKL18
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
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/caise/DuffauPB18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/caise/DuffauPB18
Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino:
Support of Justification Elicitation: Two Industrial Reports. CAiSE 2018: 71-86
2017
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isi/Polacsek17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isi/Polacsek17
Thomas Polacsek:
Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d'Information 22(2): 95-119 (2017)
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/er/PolacsekRBCDK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/er/PolacsekRBCDK17
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]
- view
  - electronic edition @ inforsid.fr
- export record
  dblp key:
  - conf/inforsid/BouissiereCDKP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inforsid/BouissiereCDKP17
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isi/DelmasP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isi/DelmasP16
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'Information 21(2): 39-63 (2016)
[j4]
- view
  - electronic edition @ revuesonline.com
- export record
  dblp key:
  - journals/isi/SedesDP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isi/SedesDP16
Florence Sèdes, Rémi Delmas, Thomas Polacsek:
Éditorial. Ingénierie des Systèmes d'Information 21(4): 7-10 (2016)
[j3]
- view
  - electronic edition @ revuesonline.com
- export record
  dblp key:
  - journals/tsi/BihanicDPP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tsi/BihanicDPP16
David Bihanic, Sophie Dupuy-Chessa, Xavier Le Pallec, Thomas Polacsek:
Introduction. Technique et Science Informatiques 35(2): 141-144 (2016)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tsi/BihanicP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tsi/BihanicP16
David Bihanic, Thomas Polacsek:
StrataVis : une technique de visualisation graphique orientée modèle. Technique et Science Informatiques 35(2): 145-174 (2016)
[c18]
- view
  - electronic edition @ inforsid.fr
- export record
  dblp key:
  - conf/inforsid/Polacsek16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inforsid/Polacsek16
Thomas Polacsek:
Argumentation Tree: A New Player in your Diagrams. INFORSID 2016: 223-224
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rcis/Polacsek16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rcis/Polacsek16
Thomas Polacsek:
Validation, accreditation or certification: A new kind of diagram to provide confidence. RCIS 2016: 1-8
2015
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adbis/DelmasP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adbis/DelmasP15
Rémi Delmas, Thomas Polacsek:
Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) 2015: 557-566
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/caise/DelmasP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/caise/DelmasP15
Rémi Delmas, Thomas Polacsek:
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. CAiSE 2015: 151-165
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/Polacsek15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/Polacsek15
Thomas Polacsek:
A process to support and to report collaborative decision. CSCWD 2015: 188-193
[c13]
- view
  - electronic edition @ inforsid.fr
- export record
  dblp key:
  - conf/inforsid/DelmasP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inforsid/DelmasP15
Rémi Delmas, Thomas Polacsek:
Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID 2015: 251-265
2013
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/caise/DelmasP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/caise/DelmasP13
Rémi Delmas, Thomas Polacsek:
Formal Methods for Exchange Policy Specification. CAiSE 2013: 288-303
[c11]
- view
  - electronic edition @ inforsid.fr
- export record
  dblp key:
  - conf/inforsid/BihanicCDPMP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inforsid/BihanicCDPMP13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/models/PiresPWD13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/models/PiresPWD13
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]
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/BihanicP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/siu/BihanicP12
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]
- view
  - electronic edition @ cnrs.fr
- export record
  dblp key:
  - conf/inforsid/PolacsekCD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inforsid/PolacsekCD12
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iv/BihanicP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iv/BihanicP12
David Bihanic, Thomas Polacsek:
Models for Visualisation of Complex Information Systems. IV 2012: 130-135
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/medi/PiresPD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/medi/PiresPD12
Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat:
Formal Software Verification at Model and at Source Code Levels. MEDI 2012: 162-169
2011
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/PolacsekC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/PolacsekC11
Thomas Polacsek, Laurence Cholvy:
A framework to report and to analyse a debate. CSCWD 2011: 84-90
[c5]
- view
  - electronic edition @ cnrs.fr
- export record
  dblp key:
  - conf/inforsid/DelmasPDP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inforsid/DelmasPDP11
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires:
IDM : Vers une aide ? la conception. INFORSID 2011: 147-162
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/medi/DelmasDPP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/medi/DelmasDPP11
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek:
Supporting Model Based Design. MEDI 2011: 237-248

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2001
[c3]
- no documents available
- export record
  dblp key:
  - conf/ijcai/HerzigLMP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/HerzigLMP01
Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124
2000
[c2]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/HerzigLLP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/HerzigLLP00
Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek:
A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773
[c1]
- no documents available
- export record
  dblp key:
  - conf/ecai/HerzigLP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecai/HerzigLP00
Andreas Herzig, Jérôme Lang, Thomas Polacsek:
A modal logic for epistemic tests. ECAI 2000: 553-557

Coauthor Index

see FAQ

maintained by

, founded at