Denis Javaux
  According to our database1,
  Denis Javaux
  authored at least 9 papers
  between 1996 and 2017.
  
  
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
  2017
Adaptive Automation and the Third Pilot: Managing Teamwork and Workload in an Airline Cockpit.
    
  
    Proceedings of the Human Mental Workload: Models and Applications, 2017
    
  
  2016
    Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2016
    
  
    Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2016
    
  
  2014
Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study.
    
  
    Proceedings of the 2014 European Conference on Cognitive Ergonomics, 2014
    
  
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques.
    
  
    Proceedings of the 2014 AAAI Spring Symposia, 2014
    
  
  2002
A method for predicting errors when interacting with finite state systems. How implicit learning shapes the user's knowledge of a system.
    
  
    Reliab. Eng. Syst. Saf., 2002
    
  
    Reliab. Eng. Syst. Saf., 2002
    
  
  1999
Understanding Cognitive Complexity.
  
    Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999
    
  
  1996