Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Peter Chapman
@inproceedings{DBLP:conf/fuzzIEEE/MaseCWF23, author = {Jimiama M. M. Mase and Peter Chapman and Christian Wagner and Grazziela P. Figueredo}, title = {Driving Risk Assessment Using Intervals and Weighted Fuzzy Rules}, booktitle = {{IEEE} International Conference on Fuzzy Systems, {FUZZ} 2023, Incheon, Republic of Korea, August 13-17, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/FUZZ52849.2023.10309796}, doi = {10.1109/FUZZ52849.2023.10309796}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fuzzIEEE/MaseCWF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/ChapmanSC22, author = {Peter Chapman and Kevin Sim and Huang Hao Chen}, title = {Minimising line segments in linear diagrams is NP-hard}, journal = {J. Comput. Lang.}, volume = {71}, pages = {101136}, year = {2022}, url = {https://doi.org/10.1016/j.cola.2022.101136}, doi = {10.1016/J.COLA.2022.101136}, timestamp = {Sat, 10 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/ChapmanSC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/McGrathBSTCJS22, author = {Sean McGrath and Andrew Blake and Gem Stapleton and Anestis Touloumis and Peter Chapman and Mateja Jamnik and Zohreh Shams}, editor = {Valeria Giardino and Sven Linker and Richard Burns and Francesco Bellucci and Jean{-}Michel Boucheix and Petrucio Viana}, title = {Evaluating Colour in Concept Diagrams}, booktitle = {Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13462}, pages = {168--184}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15146-0\_14}, doi = {10.1007/978-3-031-15146-0\_14}, timestamp = {Thu, 22 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/McGrathBSTCJS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-09816, author = {Jimiama Mafeni Mase and Direnc Pekaslan and Utkarsh Agrawal and Mohammad Mesgarpour and Peter Chapman and Mercedes Torres Torres and Grazziela P. Figueredo}, title = {Contextual Intelligent Decisions: Expert Moderation of Machine Outputs for Fair Assessment of Commercial Driving}, journal = {CoRR}, volume = {abs/2202.09816}, year = {2022}, url = {https://arxiv.org/abs/2202.09816}, eprinttype = {arXiv}, eprint = {2202.09816}, timestamp = {Tue, 01 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-09816.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/Chapman21, author = {Peter Chapman}, editor = {Amrita Basu and Gem Stapleton and Sven Linker and Catherine Legg and Emmanuel Manalo and Petrucio Viana}, title = {Interactivity in Linear Diagrams}, booktitle = {Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12909}, pages = {449--465}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-86062-2\_47}, doi = {10.1007/978-3-030-86062-2\_47}, timestamp = {Tue, 05 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/Chapman21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictc/MaseCFT20, author = {Jimiama Mafeni Mase and Peter Chapman and Grazziela P. Figueredo and Mercedes Torres Torres}, title = {A Hybrid Deep Learning Approach for Driver Distraction Detection}, booktitle = {International Conference on Information and Communication Technology Convergence, {ICTC} 2020, Jeju Island, Korea (South), October 21-23, 2020}, pages = {1--6}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICTC49870.2020.9289588}, doi = {10.1109/ICTC49870.2020.9289588}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictc/MaseCFT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/MaseAPMCTF20, author = {Jimiama Mafeni Mase and Utkarsh Agrawal and Direnc Pekaslan and Mohammad Mesgarpour and Peter Chapman and Mercedes Torres Torres and Grazziela P. Figueredo}, title = {Capturing Uncertainty in Heavy Goods Vehicles Driving Behaviour}, booktitle = {23rd {IEEE} International Conference on Intelligent Transportation Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020}, pages = {1--7}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ITSC45102.2020.9294378}, doi = {10.1109/ITSC45102.2020.9294378}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itsc/MaseAPMCTF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mod/MaseCFT20, author = {Jimiama Mafeni Mase and Peter Chapman and Grazziela P. Figueredo and Mercedes Torres Torres}, editor = {Giuseppe Nicosia and Varun Ojha and Emanuele La Malfa and Giorgio Jansen and Vincenzo Sciacca and Panos M. Pardalos and Giovanni Giuffrida and Renato Umeton}, title = {Benchmarking Deep Learning Models for Driver Distraction Detection}, booktitle = {Machine Learning, Optimization, and Data Science - 6th International Conference, {LOD} 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12566}, pages = {103--117}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-64580-9\_9}, doi = {10.1007/978-3-030-64580-9\_9}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mod/MaseCFT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/diagrams/2020, editor = {Ahti{-}Veikko Pietarinen and Peter Chapman and Leonie Bosveld{-}de Smet and Valeria Giardino and James E. Corter and Sven Linker}, title = {Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12169}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-54249-8}, doi = {10.1007/978-3-030-54249-8}, isbn = {978-3-030-54248-1}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/hf/RobbinsC18, author = {Chloe Jade Robbins and Peter Chapman}, title = {Drivers' Visual Search Behavior Toward Vulnerable Road Users at Junctions as a Function of Cycling Experience}, journal = {Hum. Factors}, volume = {60}, number = {7}, pages = {889--901}, year = {2018}, url = {https://doi.org/10.1177/0018720818778960}, doi = {10.1177/0018720818778960}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/hf/RobbinsC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/ChapmanR18, author = {Peter Chapman and William Roberts}, editor = {Peter Chapman and Gem Stapleton and Amirouche Moktefi and Sarah P{\'{e}}rez{-}Kriz and Francesco Bellucci}, title = {Towards Diagram-Based Editing of Ontologies}, booktitle = {Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10871}, pages = {699--703}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91376-6\_62}, doi = {10.1007/978-3-319-91376-6\_62}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/ChapmanR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/diagrams/2018, editor = {Peter Chapman and Gem Stapleton and Amirouche Moktefi and Sarah P{\'{e}}rez{-}Kriz and Francesco Bellucci}, title = {Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10871}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91376-6}, doi = {10.1007/978-3-319-91376-6}, isbn = {978-3-319-91375-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iccs/2018, editor = {Peter Chapman and Dominik Endres and Nathalie Pernelle}, title = {Graph-Based Representation and Reasoning - 23rd International Conference on Conceptual Structures, {ICCS} 2018, Edinburgh, UK, June 20-22, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10872}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91379-7}, doi = {10.1007/978-3-319-91379-7}, isbn = {978-3-319-91378-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccs/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gkr/StapletonDCC17, author = {Gem Stapleton and Aidan J. Delaney and Michael Compton and Peter Chapman}, editor = {Madalina Croitoru and Pierre Marquis and Sebastian Rudolph and Gem Stapleton}, title = {Visualizing \emph{ALC} Using Concept Diagrams}, booktitle = {Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, {GKR} 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10775}, pages = {99--117}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-78102-0\_6}, doi = {10.1007/978-3-319-78102-0\_6}, timestamp = {Mon, 03 Jan 2022 22:26:13 +0100}, biburl = {https://dblp.org/rec/conf/gkr/StapletonDCC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/AlqadahSHC16a, author = {Mohanad Alqadah and Gem Stapleton and John Howse and Peter Chapman}, editor = {Sven Linker and Peter Rodgers}, title = {Evaluating the Impact of Clutter in Linear Diagrams}, booktitle = {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), Philadelphia, USA, August 7, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1655}, pages = {4--18}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1655/alqadah.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:13 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/AlqadahSHC16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/AlqadahSHC16, author = {Mohanad Alqadah and Gem Stapleton and John Howse and Peter Chapman}, editor = {Mateja Jamnik and Yuri Uesaka and Stephanie Elzer Schwartz}, title = {The Perception of Clutter in Linear Diagrams}, booktitle = {Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9781}, pages = {250--257}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42333-3\_20}, doi = {10.1007/978-3-319-42333-3\_20}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/AlqadahSHC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fois/HouC016, author = {Tie Hou and Peter Chapman and Andrew Blake}, editor = {Roberta Ferrario and Werner Kuhn}, title = {Antipattern Comprehension: An Empirical Evaluation}, booktitle = {Formal Ontology in Information Systems - Proceedings of the 9th International Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {283}, pages = {211--224}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-660-6-211}, doi = {10.3233/978-1-61499-660-6-211}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fois/HouC016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/HouCO16, author = {Tie Hou and Peter Chapman and Ian Oliver}, editor = {Alan F. Blackwell and Beryl Plimmer and Gem Stapleton}, title = {Measuring perceived clutter in concept diagrams}, booktitle = {2016 {IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2016, Cambridge, United Kingdom, September 4-8, 2016}, pages = {31--39}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/VLHCC.2016.7739661}, doi = {10.1109/VLHCC.2016.7739661}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/HouCO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tochi/RodgersSC15, author = {Peter J. Rodgers and Gem Stapleton and Peter Chapman}, title = {Visualizing Sets with Linear Diagrams}, journal = {{ACM} Trans. Comput. Hum. Interact.}, volume = {22}, number = {6}, pages = {27:1--27:39}, year = {2015}, url = {https://doi.org/10.1145/2810012}, doi = {10.1145/2810012}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tochi/RodgersSC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pacis/ChapmanW15, author = {Peter Chapman and Bernhard Wieder}, editor = {Atreyi Kankanhalli and Andrew Burton{-}Jones and Thompson S. H. Teo}, title = {{IT} Governance as a Higher Order Capability}, booktitle = {19th Pacific Asia Conference on Information Systems, {PACIS} 2015, Singapore, July 5-9, 2015}, pages = {150}, year = {2015}, url = {http://aisel.aisnet.org/pacis2015/150}, timestamp = {Sat, 12 Dec 2015 19:19:58 +0100}, biburl = {https://dblp.org/rec/conf/pacis/ChapmanW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/ChapmanM14, author = {Peter Chapman and Luana Micallef}, title = {Special Issue: Guest Editors' Introduction}, journal = {J. Vis. Lang. Comput.}, volume = {25}, number = {3}, pages = {133}, year = {2014}, url = {https://doi.org/10.1016/j.jvlc.2013.10.006}, doi = {10.1016/J.JVLC.2013.10.006}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/ChapmanM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/ChapmanSR14, author = {Peter Chapman and Gem Stapleton and Peter J. Rodgers}, title = {PaL diagrams: {A} linear diagram-based visual language}, journal = {J. Vis. Lang. Comput.}, volume = {25}, number = {6}, pages = {945--954}, year = {2014}, url = {https://doi.org/10.1016/j.jvlc.2014.10.022}, doi = {10.1016/J.JVLC.2014.10.022}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/ChapmanSR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/DelaneyKCN14, author = {Aidan J. Delaney and Eric Kow and Peter Chapman and Jon Nicholson}, editor = {Jim Burton and Gem Stapleton and Karsten Klein}, title = {Generating and Navigating Large Euler Diagrams}, booktitle = {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, Melbourne, Australia, July 28th and 1st August 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1244}, pages = {23--31}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1244/ED-paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:13 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/DelaneyKCN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/BurtonSHC14, author = {Jim Burton and Gem Stapleton and John Howse and Peter Chapman}, editor = {Tim Dwyer and Helen C. Purchase and Aidan J. Delaney}, title = {Visualizing Concepts with Euler Diagrams}, booktitle = {Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8578}, pages = {54--56}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44043-8\_9}, doi = {10.1007/978-3-662-44043-8\_9}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/BurtonSHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/AlqadahSHC14, author = {Mohanad Alqadah and Gem Stapleton and John Howse and Peter Chapman}, editor = {Tim Dwyer and Helen C. Purchase and Aidan J. Delaney}, title = {Evaluating the Impact of Clutter in Euler Diagrams}, booktitle = {Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8578}, pages = {108--122}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44043-8\_15}, doi = {10.1007/978-3-662-44043-8\_15}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/AlqadahSHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/ChapmanSRMB14, author = {Peter Chapman and Gem Stapleton and Peter Rodgers and Luana Micallef and Andrew Blake}, editor = {Tim Dwyer and Helen C. Purchase and Aidan J. Delaney}, title = {Visualizing Sets: An Empirical Comparison of Diagram Types}, booktitle = {Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8578}, pages = {146--160}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44043-8\_18}, doi = {10.1007/978-3-662-44043-8\_18}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/ChapmanSRMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/ChapmanSR14, author = {Peter Chapman and Gem Stapleton and Peter Rodgers}, editor = {Erland Jungert}, title = {PaL Diagrams: {A} Linear Diagram-Based Visual Language}, booktitle = {The 20th International Conference on Distributed Multimedia Systems: Research papers on distributed multimedia systems, distance education technologies and visual languages and computing, Pittsburgh, PA, USA, August 27-29, 2014}, pages = {310--320}, publisher = {Knowledge Systems Institute Graduate School}, year = {2014}, timestamp = {Fri, 23 Sep 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dms/ChapmanSR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/ChapmanBB14, author = {Peter Chapman and Jonathan Burket and David Brumley}, editor = {Zachary N. J. Peterson}, title = {PicoCTF: {A} Game-Based Computer Security Competition for High School Students}, booktitle = {2014 {USENIX} Summit on Gaming, Games, and Gamification in Security Education, 3GSE '14, San Diego, CA, USA, August 18, 2014}, publisher = {{USENIX} Association}, year = {2014}, url = {https://www.usenix.org/conference/3gse14/summit-program/presentation/chapman}, timestamp = {Mon, 01 Feb 2021 08:43:14 +0100}, biburl = {https://dblp.org/rec/conf/uss/ChapmanBB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/EgeleWCB14, author = {Manuel Egele and Maverick Woo and Peter Chapman and David Brumley}, editor = {Kevin Fu and Jaeyeon Jung}, title = {Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components}, booktitle = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA, USA, August 20-22, 2014}, pages = {303--317}, publisher = {{USENIX} Association}, year = {2014}, url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/egele}, timestamp = {Mon, 01 Feb 2021 08:43:04 +0100}, biburl = {https://dblp.org/rec/conf/uss/EgeleWCB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/ChapmanSD13, author = {Peter Chapman and Gem Stapleton and Aidan J. Delaney}, title = {On the expressiveness of second-order spider diagrams}, journal = {J. Vis. Lang. Comput.}, volume = {24}, number = {5}, pages = {327--349}, year = {2013}, url = {https://doi.org/10.1016/j.jvlc.2013.07.002}, doi = {10.1016/J.JVLC.2013.07.002}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/vlc/ChapmanSD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/Chapman13, author = {Peter Chapman}, title = {A Locally Nameless Visual Lambda-calculus}, booktitle = {Proceedings of the 19th International Conference on Distributed Multimedia Systems, {DMS} 2013, August 8-10, 2013, Holiday Inn, Brighton, {UK}}, pages = {188--193}, publisher = {Knowledge Systems Institute}, year = {2013}, timestamp = {Sun, 26 Jan 2014 13:45:36 +0100}, biburl = {https://dblp.org/rec/conf/dms/Chapman13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/StapletonHTDBC13, author = {Gem Stapleton and John Howse and Kerry Taylor and Aidan J. Delaney and Jim Burton and Peter Chapman}, editor = {Aldo Gangemi and Michael Gruninger and Karl Hammar and Laurent Lefort and Valentina Presutti and Ansgar Scherp}, title = {Towards Diagrammatic Ontology Patterns}, booktitle = {Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns co-located with 12th International Semantic Web Conference {(ISWC} 2013), Sydney, Australia, October 21, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1188}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1188/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:04 +0100}, biburl = {https://dblp.org/rec/conf/semweb/StapletonHTDBC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/13/StapletonHT0C13, author = {Gem Stapleton and John Howse and Simon J. Thompson and John Taylor and Peter Chapman}, editor = {Amirouche Moktefi and Sun{-}Joo Shin}, title = {On the Completeness of Spider Diagrams Augmented with Constants}, booktitle = {Visual Reasoning with Diagrams}, series = {Studies in Universal Logic}, pages = {101--133}, publisher = {Birkh{\"{a}}user / Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-0348-0600-8\_7}, doi = {10.1007/978-3-0348-0600-8\_7}, timestamp = {Sun, 02 Oct 2022 15:53:04 +0200}, biburl = {https://dblp.org/rec/books/sp/13/StapletonHT0C13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/ChapmanM12, author = {Peter Chapman and Luana Micallef}, editor = {Philip T. Cox and Beryl Plimmer and Peter J. Rodgers}, title = {3rd International Workshop on Euler Diagrams}, booktitle = {Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7352}, pages = {4}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31223-6\_3}, doi = {10.1007/978-3-642-31223-6\_3}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/ChapmanM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/StapletonHCOD12, author = {Gem Stapleton and John Howse and Peter Chapman and Ian Oliver and Aidan J. Delaney}, editor = {Philip T. Cox and Beryl Plimmer and Peter J. Rodgers}, title = {What Can Concept Diagrams Say?}, booktitle = {Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7352}, pages = {291--293}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31223-6\_29}, doi = {10.1007/978-3-642-31223-6\_29}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/StapletonHCOD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/diagrams/2012ed, editor = {Peter Chapman and Luana Micallef}, title = {Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {854}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-854}, urn = {urn:nbn:de:0074-854-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/diagrams/2012ed.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ChapmanE11, author = {Peter Chapman and David Evans}, editor = {Yan Chen and George Danezis and Vitaly Shmatikov}, title = {Automated black-box detection of side-channel vulnerabilities in web applications}, booktitle = {Proceedings of the 18th {ACM} Conference on Computer and Communications Security, {CCS} 2011, Chicago, Illinois, USA, October 17-21, 2011}, pages = {263--274}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2046707.2046737}, doi = {10.1145/2046707.2046737}, timestamp = {Tue, 10 Nov 2020 19:56:39 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ChapmanE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/HowseSTC11, author = {John Howse and Gem Stapleton and Kerry Taylor and Peter Chapman}, editor = {Lora Aroyo and Chris Welty and Harith Alani and Jamie Taylor and Abraham Bernstein and Lalana Kagal and Natasha Fridman Noy and Eva Blomqvist}, title = {Visualizing Ontologies: {A} Case Study}, booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {7031}, pages = {257--272}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25073-6\_17}, doi = {10.1007/978-3-642-25073-6\_17}, timestamp = {Tue, 07 Sep 2021 13:47:52 +0200}, biburl = {https://dblp.org/rec/conf/semweb/HowseSTC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/HuangCE11, author = {Yan Huang and Peter Chapman and David Evans}, editor = {Patrick D. McDaniel}, title = {Privacy-Preserving Applications on Smartphones}, booktitle = {6th {USENIX} Workshop on Hot Topics in Security, HotSec'11, San Francisco, CA, USA, August 9, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/hotsec11/privacy-preserving-applications-smartphones}, timestamp = {Mon, 01 Feb 2021 08:42:56 +0100}, biburl = {https://dblp.org/rec/conf/uss/HuangCE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/ChapmanSHO11, author = {Peter Chapman and Gem Stapleton and John Howse and Ian Oliver}, editor = {Gennaro Costagliola and Amy J. Ko and Allen Cypher and Jeffrey Nichols and Christopher Scaffidi and Caitlin Kelleher and Brad A. Myers}, title = {Deriving sound inference rules for concept diagrams}, booktitle = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011}, pages = {87--94}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/VLHCC.2011.6070384}, doi = {10.1109/VLHCC.2011.6070384}, timestamp = {Sun, 26 Nov 2023 00:57:51 +0100}, biburl = {https://dblp.org/rec/conf/vl/ChapmanSHO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/ChapmanS10, author = {Peter Chapman and Gem Stapleton}, editor = {Ashok K. Goel and Mateja Jamnik and N. Hari Narayanan}, title = {Creating a Second Order Diagrammatic Logic}, booktitle = {Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6170}, pages = {298--300}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14600-8\_34}, doi = {10.1007/978-3-642-14600-8\_34}, timestamp = {Sun, 02 Jun 2019 21:20:33 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/ChapmanS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/ChapmanS10, author = {Peter Chapman and Gem Stapleton}, title = {On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions}, booktitle = {Proceedings of the 16th International Conference on Distributed Multimedia Systems, {DMS} 2010, October 14-16, 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, {USA}}, pages = {283--288}, publisher = {Knowledge Systems Institute}, year = {2010}, timestamp = {Fri, 26 Nov 2010 10:09:52 +0100}, biburl = {https://dblp.org/rec/conf/dms/ChapmanS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vl/ChapmanS10, author = {Peter Chapman and Gem Stapleton}, editor = {Christopher D. Hundhausen and Emmanuel Pietriga and Paloma D{\'{\i}}az and Mary Beth Rosson}, title = {Introducing Second-Order Spider Diagrams for Defining Regular Languages}, booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2010, Legan{\'{e}}s-Madrid, Spain, 21-25 September 2010, Proceedings}, pages = {159--167}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/VLHCC.2010.30}, doi = {10.1109/VLHCC.2010.30}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/ChapmanS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Chapman09, author = {Peter Chapman}, title = {Invertibility in Sequent Calculi}, journal = {Arch. Formal Proofs}, volume = {2009}, year = {2009}, url = {https://www.isa-afp.org/entries/SequentInvertibility.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Chapman09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/ChapmanMU08, author = {Peter Chapman and James McKinna and Christian Urban}, editor = {Serge Autexier and John A. Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk}, title = {Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle}, booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC} 2008, 15th Symposium, Calculemus 2008, 7th International Conference, {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5144}, pages = {38--52}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85110-3\_5}, doi = {10.1007/978-3-540-85110-3\_5}, timestamp = {Mon, 05 Feb 2024 20:35:32 +0100}, biburl = {https://dblp.org/rec/conf/aisc/ChapmanMU08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aslib/Chapman01, author = {Peter Chapman}, title = {Comment Change and the changing face of a regional newspaper library 1990-2000}, journal = {Aslib Proc.}, volume = {53}, number = {2}, pages = {55--57}, year = {2001}, url = {https://doi.org/10.1108/EUM0000000007037}, doi = {10.1108/EUM0000000007037}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aslib/Chapman01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/WebsterCS99, author = {Jane Webster and Peter Chapman and Sanjeebhan Selvarajah}, title = {Engagement in Multimedia Training Systems}, booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, {USA}}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/HICSS.1999.772808}, doi = {10.1109/HICSS.1999.772808}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/WebsterCS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.