TraceVis: Towards Visualization for Deep Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, 27–46, Springer-Verlag, Berlin, Heidelberg, 2020. [PUMA: Networks nopdf Visualization Model Statistical from:scadsfct Checking Neural] URL
The Role and Potentials of Field User Interaction Data in the Automotive UX Development Lifecycle: An Industry Perspective. 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 141–150, Association for Computing Machinery, New York, NY, USA, 2020. [PUMA: systems study zno from:scadsfct in-vehicle interview user information experience] URL
Automotive UX design and data-driven development: Narrowing the gap to support practitioners. Transportation Research Interdisciplinary Perspectives, (11):100455, 2021. [PUMA: UX practitioners development data-driven design zno from:scadsfct support Automotive] URL
Destination Prediction Based on Partial Trajectory Data. 2020. [PUMA: Destination Partial Prediction Data Trajectory zno from:scadsfct Based on] URL
Rate dependent non-linear mechanical behaviour of continuous fibre-reinforced thermoplastic composites--Experimental characterisation and viscoelastic-plastic damage modelling. Materials & Design, (193):108827, Elsevier, 2020. [PUMA: damage fibre-reinforced mechanical Experimental from:scadsfct modelling thermoplastic characterisation continuous composites Rate behaviour zno dependent viscoelastic-plastic non-linear]