BibTeX records: Philip T. Cox

download as .bib file

@article{DBLP:journals/ijseke/BanyasadC13,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {Design and Implementation of an Editor/Interpreter for a Visual Logic
               Programming Language},
  journal   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {23},
  number    = {6},
  pages     = {801--838},
  year      = {2013},
  url       = {https://doi.org/10.1142/S0218194013500216},
  doi       = {10.1142/S0218194013500216},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijseke/BanyasadC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/diagrams/2012,
  editor    = {Philip T. Cox and
               Beryl Plimmer and
               Peter J. Rodgers},
  title     = {Diagrammatic Representation and Inference - 7th International Conference,
               Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7352},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31223-6},
  doi       = {10.1007/978-3-642-31223-6},
  isbn      = {978-3-642-31222-9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/diagrams/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vinci/2012,
  editor    = {Huamin Qu and
               Wei Chen and
               Philip T. Cox and
               Shixia Liu},
  title     = {The International Symposium on Visual Information Communication and
               Interaction, {VINCI} '12, Hangzhou, China - September 27 - 28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2397696},
  isbn      = {978-1-4503-1782-5},
  timestamp = {Fri, 16 Nov 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vinci/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxFH11,
  author    = {Philip T. Cox and
               Andrew Fish and
               John Howse},
  title     = {Special Issue on Visual Languages and Logic: Guest editors' introduction},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {22},
  number    = {1},
  pages     = {1--2},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jvlc.2010.12.002},
  doi       = {10.1016/j.jvlc.2010.12.002},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxFH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BanyasadC11,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {Generating sample looks for geometric objects in a visual design language},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {22},
  number    = {2},
  pages     = {107--119},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jvlc.2010.07.002},
  doi       = {10.1016/j.jvlc.2010.07.002},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/BanyasadC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vinci/CoxG11,
  author    = {Philip T. Cox and
               Simon Gauvin},
  title     = {Controlled dataflow visual programming languages},
  booktitle = {The 2011 Visual Information Communication - International Symposium,
               {VINCI} '11, Hong Kong, China - August 04 - 05, 2011},
  pages     = {9},
  year      = {2011},
  crossref  = {DBLP:conf/vinci/2011},
  url       = {https://doi.org/10.1145/2016656.2016665},
  doi       = {10.1145/2016656.2016665},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vinci/CoxG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vinci/CoxD10,
  author    = {Philip T. Cox and
               Anh Dang},
  title     = {Semantic comparison of structured visual dataflow programs},
  booktitle = {2010 International Symposium on Visual Information Communication,
               {VINCI} '10, Beijing, China - September 28 - 29, 2010},
  pages     = {11},
  year      = {2010},
  crossref  = {DBLP:conf/vinci/2010},
  url       = {https://doi.org/10.1145/1865841.1865856},
  doi       = {10.1145/1865841.1865856},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vinci/CoxD10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxH08,
  author    = {Philip T. Cox and
               John G. Hosking},
  title     = {Special issue on selected papers from {VL/HCC} 2007: Guest Editors'
               introduction},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {19},
  number    = {4},
  pages     = {427--428},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.jvlc.2008.05.001},
  doi       = {10.1016/j.jvlc.2008.05.001},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CoxN08,
  author    = {Philip T. Cox and
               Patrick K. Nicholson},
  title     = {Unification of Arrays in Spreadsheets with Logic Programming},
  booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
               {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008.},
  pages     = {100--115},
  year      = {2008},
  crossref  = {DBLP:conf/padl/2008},
  url       = {https://doi.org/10.1007/978-3-540-77442-6\_8},
  doi       = {10.1007/978-3-540-77442-6\_8},
  timestamp = {Wed, 14 Nov 2018 10:58:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/padl/CoxN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Cox08a,
  author    = {Philip T. Cox},
  title     = {Visual Programming Languages},
  booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
  year      = {2008},
  crossref  = {DBLP:reference/wiley/2008},
  url       = {https://doi.org/10.1002/9780470050118.ecse450},
  doi       = {10.1002/9780470050118.ecse450},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/wiley/Cox08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/Cox07,
  author    = {Philip T. Cox},
  title     = {Special Issue on Selected Papers from {VLC} 2005},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {18},
  number    = {2},
  pages     = {97--98},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.jvlc.2007.02.003},
  doi       = {10.1016/j.jvlc.2007.02.003},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/Cox07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxFH07,
  author    = {Philip T. Cox and
               Andrew Fish and
               John Howse},
  title     = {Visual Languages and Logic},
  booktitle = {2007 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2007), 23-27 September 2007, Coeur d'Alene, Idaho, {USA}},
  pages     = {3},
  year      = {2007},
  crossref  = {DBLP:conf/vl/2007},
  url       = {https://doi.org/10.1109/VLHCC.2007.56},
  doi       = {10.1109/VLHCC.2007.56},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxFH07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Cox07,
  author    = {Philip T. Cox},
  title     = {Enhancing the Programmability of Spreadsheets with Logic Programming},
  booktitle = {2007 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2007), 23-27 September 2007, Coeur d'Alene, Idaho, {USA}},
  pages     = {87--94},
  year      = {2007},
  crossref  = {DBLP:conf/vl/2007},
  url       = {https://doi.org/10.1109/VLHCC.2007.49},
  doi       = {10.1109/VLHCC.2007.49},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/Cox07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxFH07a,
  author    = {Philip T. Cox and
               Andrew Fish and
               John Howse},
  title     = {Introduction},
  booktitle = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
               in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
               of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
               Computing {VL/HCC} 07},
  year      = {2007},
  crossref  = {DBLP:conf/vl/2007vll},
  url       = {http://ceur-ws.org/Vol-274/VLL07/preface.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxFH07a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2007vll,
  editor    = {Philip T. Cox and
               Andrew Fish and
               John Howse},
  title     = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
               in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
               of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
               Computing {VL/HCC} 07},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {274},
  publisher = {CEUR-WS.org},
  year      = {2007},
  url       = {http://ceur-ws.org/Vol-274},
  urn       = {urn:nbn:de:0074-274-5},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2007vll},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanyasadC05,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {Integrating design synthesis and assembly of structured objects in
               a visual design language},
  journal   = {{TPLP}},
  volume    = {5},
  number    = {6},
  pages     = {601--622},
  year      = {2005},
  url       = {https://doi.org/10.1017/S1471068404002285},
  doi       = {10.1017/S1471068404002285},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/BanyasadC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxH05,
  author    = {Philip T. Cox and
               John G. Hosking},
  title     = {Special issue on selected papers from {HCC} 2003},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {16},
  number    = {1-2},
  pages     = {1--2},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.jvlc.2004.09.001},
  doi       = {10.1016/j.jvlc.2004.09.001},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxH05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softvis/CoxGR05,
  author    = {Philip T. Cox and
               Simon Gauvin and
               Andrew Rau{-}Chaplin},
  title     = {Adding parallelism to visual data flow programs},
  booktitle = {Proceedings of the {ACM} 2005 Symposium on Software Visualization,
               St. Louis, Missouri, USA, May 14-15, 2005},
  pages     = {135--144},
  year      = {2005},
  crossref  = {DBLP:conf/softvis/2005},
  url       = {https://doi.org/10.1145/1056018.1056037},
  doi       = {10.1145/1056018.1056037},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/softvis/CoxGR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BanyasadC04,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {An Automatic Layout Algorithm for Lograph},
  booktitle = {2004 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2004), 26-29 September 2004, Rome, Italy},
  pages     = {139--146},
  year      = {2004},
  crossref  = {DBLP:conf/vl/2004},
  url       = {https://doi.org/10.1109/VLHCC.2004.7},
  doi       = {10.1109/VLHCC.2004.7},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/BanyasadC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BestC04,
  author    = {Shawn M. Best and
               Philip T. Cox},
  title     = {Programming an Autonomous Robot Controller by Demonstration Using
               Artificial Neural Networks},
  booktitle = {2004 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2004), 26-29 September 2004, Rome, Italy},
  pages     = {157--159},
  year      = {2004},
  crossref  = {DBLP:conf/vl/2004},
  url       = {https://doi.org/10.1109/VLHCC.2004.42},
  doi       = {10.1109/VLHCC.2004.42},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/BestC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0403033,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {Integrating design synthesis and assembly of structured objects in
               a visual design language},
  journal   = {CoRR},
  volume    = {cs.LO/0403033},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.LO/0403033},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-LO-0403033},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BanyasadC03,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {On translating geometric solids to functional expressions},
  booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 27-29 August 2003,
               Uppsala, Sweden},
  pages     = {44--55},
  year      = {2003},
  crossref  = {DBLP:conf/ppdp/2003},
  url       = {https://doi.org/10.1145/888251.888257},
  doi       = {10.1145/888251.888257},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/BanyasadC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BanyasadC02,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {Solving Design Problems in a Logic-Based Visual Design Environment},
  booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2002), 3-6 September 2002, Arlington,
               VA, {USA}},
  pages     = {90--92},
  year      = {2002},
  crossref  = {DBLP:conf/vl/2002},
  url       = {https://doi.org/10.1109/HCC.2002.1046356},
  doi       = {10.1109/HCC.2002.1046356},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/BanyasadC02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BanyasadC02a,
  author    = {Omid Banyasad and
               Philip T. Cox},
  title     = {Defining Behaviours for Solids in a Visual Design Environment},
  booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2002), 3-6 September 2002, Arlington,
               VA, {USA}},
  pages     = {93--95},
  year      = {2002},
  crossref  = {DBLP:conf/vl/2002},
  url       = {https://doi.org/10.1109/HCC.2002.1046357},
  doi       = {10.1109/HCC.2002.1046357},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/BanyasadC02a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxS01,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {Guest Editors' Introduction: Special Issue on Visual Languages for
               End-user and Domain-specific Programming},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {12},
  number    = {5},
  pages     = {473--474},
  year      = {2001},
  url       = {https://doi.org/10.1006/jvlc.2001.0215},
  doi       = {10.1006/jvlc.2001.0215},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxS01,
  author    = {Philip T. Cox and
               Baoming Song},
  title     = {A Formal Model for Component-Based Software},
  booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
               Italy},
  pages     = {304},
  year      = {2001},
  crossref  = {DBLP:conf/vl/2001},
  url       = {https://doi.org/10.1109/HCC.2001.995278},
  doi       = {10.1109/HCC.2001.995278},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxS00,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {Building Environments for Visual Programming of Robots by Demonstration},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {11},
  number    = {5},
  pages     = {549--571},
  year      = {2000},
  url       = {https://doi.org/10.1006/jvlc.2000.0175},
  doi       = {10.1006/jvlc.2000.0175},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxS00a,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {A Formal Model for Parameterized Solids in a Visual Design Language},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {11},
  number    = {6},
  pages     = {687--710},
  year      = {2000},
  url       = {https://doi.org/10.1006/jvlc.2000.0174},
  doi       = {10.1006/jvlc.2000.0174},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxS00a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxRS98,
  author    = {Philip T. Cox and
               Christopher C. Risley and
               Trevor J. Smedley},
  title     = {Toward Concrete Representation in Visual Languages for Robot Control},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {9},
  number    = {2},
  pages     = {211--239},
  year      = {1998},
  url       = {https://doi.org/10.1006/jvlc.1998.0077},
  doi       = {10.1006/jvlc.1998.0077},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxRS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CoxS98,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {{LSD:} {A} Logic-Based Visual Language for Designing Structured Objects},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {9},
  number    = {5},
  pages     = {509--534},
  year      = {1998},
  url       = {https://doi.org/10.1006/jvlc.1998.0096},
  doi       = {10.1006/jvlc.1998.0096},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/CoxS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxGM98,
  author    = {Philip T. Cox and
               Hugh Glaser and
               Stuart Maclean},
  title     = {A Visual Development Environment for Parallel Applications},
  booktitle = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
               Canada, September 1-4, 1998},
  pages     = {144--151},
  year      = {1998},
  crossref  = {DBLP:conf/vl/1998},
  url       = {https://doi.org/10.1109/VL.1998.706157},
  doi       = {10.1109/VL.1998.706157},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxGM98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxS98,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {Visual Programming for Robot Control},
  booktitle = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
               Canada, September 1-4, 1998},
  pages     = {217--224},
  year      = {1998},
  crossref  = {DBLP:conf/vl/1998},
  url       = {https://doi.org/10.1109/VL.1998.706166},
  doi       = {10.1109/VL.1998.706166},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxS98a,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {A Model for Object Representation and Manipulation in a Visual Design
               Language},
  booktitle = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
               Canada, September 1-4, 1998},
  pages     = {254--261},
  year      = {1998},
  crossref  = {DBLP:conf/vl/1998},
  url       = {https://doi.org/10.1109/VL.1998.706170},
  doi       = {10.1109/VL.1998.706170},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxS98a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/SmedleyC97,
  author    = {Trevor J. Smedley and
               Philip T. Cox},
  title     = {Visual Languages for the Design and Development of Structured Objects},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {8},
  number    = {1},
  pages     = {57--84},
  year      = {1997},
  url       = {https://doi.org/10.1006/jvlc.1996.0028},
  doi       = {10.1006/jvlc.1996.0028},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlc/SmedleyC97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxSGM97,
  author    = {Philip T. Cox and
               Trevor J. Smedley and
               John Garden and
               Mark McManus},
  title     = {Experiences with Visual Programming in a Specific Domain - Visual
               Language Challenge '96},
  booktitle = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
               Italy, September 23-26, 1997},
  pages     = {258--263},
  year      = {1997},
  crossref  = {DBLP:conf/vl/1997},
  url       = {https://doi.org/10.1109/VL.1997.626591},
  doi       = {10.1109/VL.1997.626591},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxSGM97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxS97,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {A Declarative Language for the Design of Structures},
  booktitle = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
               Italy, September 23-26, 1997},
  pages     = {442--449},
  year      = {1997},
  crossref  = {DBLP:conf/vl/1997},
  url       = {https://doi.org/10.1109/VL.1997.626617},
  doi       = {10.1109/VL.1997.626617},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/SmedleyCB96,
  author    = {Trevor J. Smedley and
               Philip T. Cox and
               Shannon L. Byrne},
  title     = {Expanding the utility of spreadsheets through the integration of visual
               programming and user interface objects},
  booktitle = {Proceedings of the workshop on Advanced visual interfaces 1996, Gubbio,
               Italy, May 27-29, 1996},
  pages     = {148--155},
  year      = {1996},
  crossref  = {DBLP:conf/avi/1996},
  url       = {https://doi.org/10.1145/948449.948473},
  doi       = {10.1145/948449.948473},
  timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/avi/SmedleyCB96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxS96,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {A Visual Language for the Design of Structured Graphical Objects},
  booktitle = {Proceedings of the 1996 {IEEE} Symposium on Visual Languages, Boulder,
               Colorado, USA, September 3-6, 1996},
  pages     = {296--303},
  year      = {1996},
  crossref  = {DBLP:conf/vl/1996},
  url       = {https://doi.org/10.1109/VL.1996.545301},
  doi       = {10.1109/VL.1996.545301},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/WildeCCS96,
  author    = {Nicholas P. Wilde and
               Shi{-}Kuo Chang and
               Philip T. Cox and
               David Canfield Smith},
  title     = {VL' 96 Special Event: Perspectives from the Pioneers (Panel)},
  booktitle = {Proceedings of the 1996 {IEEE} Symposium on Visual Languages, Boulder,
               Colorado, USA, September 3-6, 1996},
  pages     = {328--333},
  year      = {1996},
  crossref  = {DBLP:conf/vl/1996},
  url       = {http://doi.ieeecomputersociety.org/10.1109/VL.1996.10003},
  doi       = {10.1109/VL.1996.10003},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/WildeCCS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psls/CoxGL95,
  author    = {Philip T. Cox and
               Hugh Glaser and
               Beno{\^{\i}}t Lanaspre},
  title     = {Distributed Prograph: Extended Abstract},
  booktitle = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
               Beaune, France, October 2-4, 1995, Proceedings},
  pages     = {128--133},
  year      = {1995},
  crossref  = {DBLP:conf/psls/1995},
  url       = {https://doi.org/10.1007/BFb0023058},
  doi       = {10.1007/BFb0023058},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psls/CoxGL95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/CoxS94,
  author    = {Philip T. Cox and
               Trevor J. Smedley},
  title     = {Using Visual Programming to Extend the Power of Spreadsheet},
  booktitle = {Proceedings of the Workshop on Advanced Visual Interfaces, {AVI} 1994,
               Bari, Italy, June 1-4, 1994},
  pages     = {153--161},
  year      = {1994},
  crossref  = {DBLP:conf/avi/1994},
  url       = {https://doi.org/10.1145/192309.192343},
  doi       = {10.1145/192309.192343},
  timestamp = {Tue, 06 Nov 2018 16:58:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/avi/CoxS94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KnillCP93,
  author    = {Emanuel Knill and
               Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {Equality and Abductive Residua for Horn Clauses},
  journal   = {Theor. Comput. Sci.},
  volume    = {120},
  number    = {1},
  pages     = {1--44},
  year      = {1993},
  url       = {https://doi.org/10.1016/0304-3975(93)90243-M},
  doi       = {10.1016/0304-3975(93)90243-M},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/KnillCP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/CoxP92,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {Visual Message Flow Language {MFL} and its Interaface},
  booktitle = {Advanced Visual Interfaces - Proceedings of the International Workshop,
               {AVI} 1992, Rome, Italy, May 27-29, 1992},
  pages     = {348--361},
  year      = {1992},
  crossref  = {DBLP:conf/avi/1992},
  timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/avi/CoxP92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/CoxKP92,
  author    = {Philip T. Cox and
               Emanuel Knill and
               Tomasz Pietrzykowski},
  title     = {Abduction in Logic Programming with Equality},
  booktitle = {{FGCS}},
  pages     = {539--545},
  year      = {1992},
  timestamp = {Mon, 30 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fgcs/CoxKP92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsmall/Cox90,
  author    = {Philip T. Cox},
  title     = {Using Object-Orientation to Implement Logic Programming},
  booktitle = {{SIGSMALL/PC} Symposium},
  pages     = {106--114},
  year      = {1990},
  url       = {https://doi.org/10.1145/99412.99440},
  doi       = {10.1145/99412.99440},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsmall/Cox90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CoxGP89,
  author    = {Philip T. Cox and
               F. R. Giles and
               Tomasz Pietrzykowski},
  title     = {Prograph: a step towards liberating programming from textual conditioning},
  booktitle = {{IEEE} Workshop on Visual Languages, {VL} 1989, Rome, Italy, October
               4-6, 1989},
  pages     = {150--156},
  year      = {1989},
  crossref  = {DBLP:conf/vl/1989},
  url       = {https://doi.org/10.1109/WVL.1989.77057},
  doi       = {10.1109/WVL.1989.77057},
  timestamp = {Fri, 15 Feb 2019 12:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vl/CoxGP89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Cox87,
  author    = {Philip T. Cox},
  title     = {On Determining the Cause of Nonunifiability},
  journal   = {J. Log. Program.},
  volume    = {4},
  number    = {1},
  pages     = {33--58},
  year      = {1987},
  url       = {https://doi.org/10.1016/0743-1066(87)90021-5},
  doi       = {10.1016/0743-1066(87)90021-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/Cox87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CoxP87,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {General Diagnosis by Abductive Inference},
  booktitle = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
               California, USA, August 31 - September 4, 1987},
  pages     = {183--189},
  year      = {1987},
  crossref  = {DBLP:conf/slp/1987},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/CoxP87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CoxP86,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {Incorporating equality into logic programming via surface deduction},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {31},
  pages     = {177--189},
  year      = {1986},
  url       = {https://doi.org/10.1016/0168-0072(86)90069-2},
  doi       = {10.1016/0168-0072(86)90069-2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/CoxP86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CoxP86,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {Causes for Events: Their Computation and Applications},
  booktitle = {8th International Conference on Automated Deduction, Oxford, England,
               July 27 - August 1, 1986, Proceedings},
  pages     = {608--621},
  year      = {1986},
  crossref  = {DBLP:conf/cade/1986},
  url       = {https://doi.org/10.1007/3-540-16780-3\_125},
  doi       = {10.1007/3-540-16780-3\_125},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/CoxP86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CoxP85,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {Surface Deduction: {A} Uniform Mechanism for Logic Programming},
  booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
               USA, July 15-18, 1985},
  pages     = {220--227},
  year      = {1985},
  crossref  = {DBLP:conf/slp/1985},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/CoxP85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoxP84,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {A Complete, Nonredundant Algorithm for Reversed Skolemization},
  journal   = {Theor. Comput. Sci.},
  volume    = {28},
  pages     = {239--261},
  year      = {1984},
  url       = {https://doi.org/10.1016/0304-3975(83)90022-1},
  doi       = {10.1016/0304-3975(83)90022-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/CoxP84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/eh/campbell84/Cox84,
  author    = {Philip T. Cox},
  title     = {Finding Backtrack Points for Intelligent Backtracking},
  booktitle = {Implementations of Prolog},
  pages     = {216--233},
  year      = {1984},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/eh/campbell84/Cox84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/CoxP81,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {Deduction Plans: {A} Basis for Intelligent Backtracking},
  journal   = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume    = {3},
  number    = {1},
  pages     = {52--65},
  year      = {1981},
  url       = {https://doi.org/10.1109/TPAMI.1981.4767050},
  doi       = {10.1109/TPAMI.1981.4767050},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pami/CoxP81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CoxP80,
  author    = {Philip T. Cox and
               Tomasz Pietrzykowski},
  title     = {A Complete, Nonredundant Algorithm for Reversed Skolemization},
  booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
               1980, Proceedings},
  pages     = {374--385},
  year      = {1980},
  crossref  = {DBLP:conf/cade/1980},
  url       = {https://doi.org/10.1007/3-540-10009-1\_28},
  doi       = {10.1007/3-540-10009-1\_28},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/CoxP80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vinci/2011,
  editor    = {Guozhong Dai and
               Huamin Qu and
               Masahito Hirakawa and
               Xiaolong (Luke) Zhang},
  title     = {The 2011 Visual Information Communication - International Symposium,
               {VINCI} '11, Hong Kong, China - August 04 - 05, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2016656},
  isbn      = {978-1-4503-0786-4},
  timestamp = {Mon, 08 Oct 2012 18:46:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vinci/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vinci/2010,
  editor    = {Guozhong Dai and
               Kang Zhang and
               Mao Lin Huang and
               Hongan Wang and
               Xiaoru Yuan and
               Linmi Tao and
               Wei Chen},
  title     = {2010 International Symposium on Visual Information Communication,
               {VINCI} '10, Beijing, China - September 28 - 29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1865841},
  isbn      = {978-1-4503-0436-8},
  timestamp = {Mon, 08 Oct 2012 19:01:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vinci/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2008,
  editor    = {Paul Hudak and
               David Scott Warren},
  title     = {Practical Aspects of Declarative Languages, 10th International Symposium,
               {PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {4902},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-77442-6},
  doi       = {10.1007/978-3-540-77442-6},
  isbn      = {978-3-540-77441-9},
  timestamp = {Wed, 14 Nov 2018 10:58:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/wiley/2008,
  editor    = {Benjamin W. Wah},
  title     = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher = {John Wiley {\&} Sons, Inc.},
  year      = {2008},
  url       = {https://doi.org/10.1002/9780470050118},
  doi       = {10.1002/9780470050118},
  timestamp = {Mon, 13 Mar 2017 15:57:50 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/wiley/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2007,
  title     = {2007 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2007), 23-27 September 2007, Coeur d'Alene, Idaho, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4351306},
  isbn      = {978-0-7695-2987-5},
  timestamp = {Mon, 10 Aug 2015 17:53:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2007vll,
  editor    = {Philip T. Cox and
               Andrew Fish and
               John Howse},
  title     = {Proceedings of the {VLL} 2007 workshop on Visual Languages and Logic
               in Coeur d'Al{\'{e}}ne, Idaho, USA, 23rd September 2007 as part
               of the 2007 {IEEE} Symposium on Visual Languages and Human Centric
               Computing {VL/HCC} 07},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {274},
  publisher = {CEUR-WS.org},
  year      = {2007},
  url       = {http://ceur-ws.org/Vol-274},
  urn       = {urn:nbn:de:0074-274-5},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2007vll},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/softvis/2005,
  editor    = {Thomas L. Naps and
               Wim De Pauw},
  title     = {Proceedings of the {ACM} 2005 Symposium on Software Visualization,
               St. Louis, Missouri, USA, May 14-15, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-073-6},
  timestamp = {Wed, 08 Jun 2005 11:10:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/softvis/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2004,
  title     = {2004 {IEEE} Symposium on Visual Languages and Human-Centric Computing
               {(VL/HCC} 2004), 26-29 September 2004, Rome, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9450},
  isbn      = {0-7803-8696-5},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2003,
  title     = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 27-29 August 2003,
               Uppsala, Sweden},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-705-2},
  timestamp = {Thu, 08 Jan 2004 11:35:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2002,
  title     = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2002), 3-6 September 2002, Arlington,
               VA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8108},
  isbn      = {0-7695-1644-0},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2001,
  title     = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
               Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
               Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7811},
  isbn      = {0-7803-7198-4},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/1998,
  title     = {Proceedings 1998 {IEEE} Symposium on Visual Languages, Nova Scotia,
               Canada, September 1-4, 1998},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5725},
  isbn      = {0-8186-8712-6},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/1997,
  title     = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
               Italy, September 23-26, 1997},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4957},
  isbn      = {0-8186-8144-6},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/avi/1996,
  editor    = {Tiziana Catarci and
               Maria Francesca Costabile and
               Stefano Levialdi and
               Giuseppe Santucci},
  title     = {Proceedings of the workshop on Advanced visual interfaces 1996, Gubbio,
               Italy, May 27-29, 1996},
  publisher = {{ACM} Press},
  year      = {1996},
  url       = {https://doi.org/10.1145/948449},
  doi       = {10.1145/948449},
  isbn      = {0-89791-834-7},
  timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/avi/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/1996,
  title     = {Proceedings of the 1996 {IEEE} Symposium on Visual Languages, Boulder,
               Colorado, USA, September 3-6, 1996},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3922},
  isbn      = {0-8186-7508-X},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psls/1995,
  editor    = {Takayasu Ito and
               Robert H. Halstead Jr. and
               Christian Queinnec},
  title     = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
               Beaune, France, October 2-4, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1068},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0023052},
  doi       = {10.1007/BFb0023052},
  isbn      = {3-540-61143-6},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psls/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/avi/1994,
  editor    = {Maria Francesca Costabile and
               Tiziana Catarci and
               Stefano Levialdi and
               Giuseppe Santucci},
  title     = {Proceedings of the Workshop on Advanced Visual Interfaces, {AVI} 1994,
               Bari, Italy, June 1-4, 1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {https://doi.org/10.1145/192309},
  doi       = {10.1145/192309},
  isbn      = {0-89791-733-2},
  timestamp = {Tue, 06 Nov 2018 16:58:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/avi/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/avi/1992,
  editor    = {Tiziana Catarci and
               Maria Francesca Costabile and
               Stefano Levialdi},
  title     = {Advanced Visual Interfaces - Proceedings of the International Workshop,
               {AVI} 1992, Rome, Italy, May 27-29, 1992},
  series    = {World Scientific Series in Computer Science},
  volume    = {36},
  publisher = {World Scientific},
  year      = {1992},
  url       = {https://doi.org/10.1142/1789},
  doi       = {10.1142/1789},
  isbn      = {981-02-1123-6},
  timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/avi/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/1989,
  title     = {{IEEE} Workshop on Visual Languages, {VL} 1989, Rome, Italy, October
               4-6, 1989},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=266},
  isbn      = {0-8186-2002-1},
  timestamp = {Fri, 15 Feb 2019 12:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vl/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1987,
  title     = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
               California, USA, August 31 - September 4, 1987},
  publisher = {{IEEE-CS}},
  year      = {1987},
  isbn      = {0-8186-0799-8},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1986,
  editor    = {J{\"{o}}rg H. Siekmann},
  title     = {8th International Conference on Automated Deduction, Oxford, England,
               July 27 - August 1, 1986, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {230},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/3-540-16780-3},
  doi       = {10.1007/3-540-16780-3},
  isbn      = {3-540-16780-3},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1985,
  title     = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
               USA, July 15-18, 1985},
  publisher = {{IEEE-CS}},
  year      = {1985},
  isbn      = {0-8186-0636-3},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1985},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1980,
  editor    = {Wolfgang Bibel and
               Robert A. Kowalski},
  title     = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
               1980, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {87},
  publisher = {Springer},
  year      = {1980},
  url       = {https://doi.org/10.1007/3-540-10009-1},
  doi       = {10.1007/3-540-10009-1},
  isbn      = {3-540-10009-1},
  timestamp = {Fri, 19 May 2017 12:26:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1980},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier