Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarBibTeX records: Philip T. Cox
@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 
, founded at 
, founded at 
last updated on 2019-02-16 23:24 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
