Peter Chapman

Orcid: 0000-0002-3891-4241

According to our database1, Peter Chapman authored at least 42 papers between 1999 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Driving Risk Assessment Using Intervals and Weighted Fuzzy Rules.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2023

2022
Minimising line segments in linear diagrams is NP-hard.
J. Comput. Lang., 2022

Contextual Intelligent Decisions: Expert Moderation of Machine Outputs for Fair Assessment of Commercial Driving.
CoRR, 2022

Evaluating Colour in Concept Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2022

2021
Interactivity in Linear Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2021

2020
Benchmarking Deep Learning Models for Driver Distraction Detection.
Proceedings of the Machine Learning, Optimization, and Data Science, 2020

Capturing Uncertainty in Heavy Goods Vehicles Driving Behaviour.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

A Hybrid Deep Learning Approach for Driver Distraction Detection.
Proceedings of the International Conference on Information and Communication Technology Convergence, 2020

2018
Drivers' Visual Search Behavior Toward Vulnerable Road Users at Junctions as a Function of Cycling Experience.
Hum. Factors, 2018

Towards Diagram-Based Editing of Ontologies.
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
Visualizing <i>ALC</i> Using Concept Diagrams.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2017

2016
Measuring perceived clutter in concept diagrams.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Antipattern Comprehension: An Empirical Evaluation.
Proceedings of the Formal Ontology in Information Systems, 2016

Evaluating the Impact of Clutter in Linear Diagrams.
Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), 2016

The Perception of Clutter in Linear Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2016

2015
Visualizing Sets with Linear Diagrams.
ACM Trans. Comput. Hum. Interact., 2015

IT Governance as a Higher Order Capability.
Proceedings of the 19th Pacific Asia Conference on Information Systems, 2015

2014
PaL diagrams: A linear diagram-based visual language.
J. Vis. Lang. Comput., 2014

Special Issue: Guest Editors' Introduction.
J. Vis. Lang. Comput., 2014

Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components.
Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

PicoCTF: A Game-Based Computer Security Competition for High School Students.
Proceedings of the 2014 USENIX Summit on Gaming, 2014

Generating and Navigating Large Euler Diagrams.
Proceedings of the Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014, 2014

Visualizing Sets: An Empirical Comparison of Diagram Types.
Proceedings of the Diagrammatic Representation and Inference, 2014

Visualizing Concepts with Euler Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2014

Evaluating the Impact of Clutter in Euler Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2014

2013
On the expressiveness of second-order spider diagrams.
J. Vis. Lang. Comput., 2013

Towards Diagrammatic Ontology Patterns.
Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns co-located with 12th International Semantic Web Conference (ISWC 2013), 2013

A Locally Nameless Visual Lambda-calculus.
Proceedings of the 19th International Conference on Distributed Multimedia Systems, 2013

On the Completeness of Spider Diagrams Augmented with Constants.
Proceedings of the Visual Reasoning with Diagrams, 2013

2012
What Can Concept Diagrams Say?
Proceedings of the Diagrammatic Representation and Inference, 2012

3rd International Workshop on Euler Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2012

2011
Deriving sound inference rules for concept diagrams.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Privacy-Preserving Applications on Smartphones.
Proceedings of the 6th USENIX Workshop on Hot Topics in Security, 2011

Visualizing Ontologies: A Case Study.
Proceedings of the Semantic Web - ISWC 2011, 2011

Automated black-box detection of side-channel vulnerabilities in web applications.
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010
Introducing Second-Order Spider Diagrams for Defining Regular Languages.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions.
Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

Creating a Second Order Diagrammatic Logic.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009
Invertibility in Sequent Calculi.
Arch. Formal Proofs, 2009

2008
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2001
Comment Change and the changing face of a regional newspaper library 1990-2000.
Aslib Proc., 2001

1999
Engagement in Multimedia Training Systems.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999


  Loading...