Samuel Williams
  This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
  2025
Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions.
    
  
    CoRR, May, 2025
    
  
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications.
    
  
    Proceedings of the Computer Aided Verification - 37th International Conference, 2025
    
  
  2024
    IEEE Control. Syst. Lett., 2024
    
  
    Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2024
    
  
A Relative Pitch Based Approach to Non-verbal Vocal Interaction as a Continuous and One-Dimensional Controller.
    
  
    Proceedings of the Human-Computer Interaction, 2024
    
  
    Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024
    
  
  2021
    Proceedings of the 7th International Conference of the Immersive Learning Research Network, 2021
    
  
Redefining the Digital Paradigm for Virtual Museums - Towards Interactive and Engaging Experiences in the Post-pandemic Era.
    
  
    Proceedings of the Culture and Computing. Interactive Cultural Heritage and Arts, 2021
    
  
  2017
    Proceedings of the 25th International Conference on Systems Engineering, 2017
    
  
  2013
    Proceedings of the 28th International Conference on Image and Vision Computing New Zealand, 2013
    
  
    Proceedings of the 14th Annual ACM SIGCHI_NZ conference on Computer-Human Interaction, 2013