Peter Chapman
Orcid: 0000-0002-5524-5780
According to our database1,
Peter Chapman
authored at least 43 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Diagrammatic Representation and Inference, 2024
2023
Proceedings of the IEEE International Conference on Fuzzy Systems, 2023
2022
Contextual Intelligent Decisions: Expert Moderation of Machine Outputs for Fair Assessment of Commercial Driving.
CoRR, 2022
Proceedings of the Diagrammatic Representation and Inference, 2022
2021
Proceedings of the Diagrammatic Representation and Inference, 2021
2020
Proceedings of the Machine Learning, Optimization, and Data Science, 2020
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
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
Proceedings of the Diagrammatic Representation and Inference, 2018
2017
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2017
2016
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016
Proceedings of the Formal Ontology in Information Systems, 2016
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
Proceedings of the Diagrammatic Representation and Inference, 2016
2015
Proceedings of the 19th Pacific Asia Conference on Information Systems, 2015
2014
Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014
Proceedings of the 2014 USENIX Summit on Gaming, 2014
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
Proceedings of the Diagrammatic Representation and Inference, 2014
Proceedings of the Diagrammatic Representation and Inference, 2014
Proceedings of the Diagrammatic Representation and Inference, 2014
2013
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
Proceedings of the Visual Reasoning with Diagrams, 2013
2012
Proceedings of the Diagrammatic Representation and Inference, 2012
Proceedings of the Diagrammatic Representation and Inference, 2012
2011
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011
Proceedings of the 6th USENIX Workshop on Hot Topics in Security, 2011
Proceedings of the Semantic Web - ISWC 2011, 2011
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011
2010
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
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010
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
Aslib Proc., 2001
1999
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999