BibTeX records: Julian Padget

download as .bib file

@article{DBLP:journals/toit/PadgetV17,
  author    = {Julian A. Padget and
               Wamberto Weber Vasconcelos},
  title     = {Fine-Grained Access Control via Policy-Carrying Data},
  journal   = {{ACM} Trans. Internet Techn.},
  volume    = {18},
  number    = {3},
  pages     = {31:1--31:24},
  year      = {2018},
  url       = {https://doi.org/10.1145/3133324},
  doi       = {10.1145/3133324},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toit/PadgetV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umuai/MoglesPGWL18,
  author    = {Nataliya Mogles and
               Julian Padget and
               Elizabeth Gabe{-}Thomas and
               Ian Walker and
               Jeehang Lee},
  title     = {A computational model for designing energy behaviour change interventions},
  journal   = {User Model. User-Adapt. Interact.},
  volume    = {28},
  number    = {1},
  pages     = {1--34},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11257-017-9199-9},
  doi       = {10.1007/s11257-017-9199-9},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/umuai/MoglesPGWL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdg/SmithPV18,
  author    = {Thomas Smith and
               Julian Padget and
               Andrew Vidler},
  title     = {Graph-based generation of action-adventure dungeon levels using answer
               set programming},
  booktitle = {Proceedings of the 13th International Conference on the Foundations
               of Digital Games, {FDG} 2018, Malm{\"{o}}, Sweden, August 07-10,
               2018},
  pages     = {52:1--52:10},
  year      = {2018},
  crossref  = {DBLP:conf/fdg/2018},
  url       = {https://doi.org/10.1145/3235765.3235817},
  doi       = {10.1145/3235765.3235817},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdg/SmithPV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PadgetVP18,
  author    = {Julian Padget and
               Marina De Vos and
               Charlie Ann Page},
  title     = {Deontic Sensors},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden.},
  pages     = {475--481},
  year      = {2018},
  crossref  = {DBLP:conf/ijcai/2018},
  url       = {https://doi.org/10.24963/ijcai.2018/66},
  doi       = {10.24963/ijcai.2018/66},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/PadgetVP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LeeLP18,
  author    = {Jeehang Lee and
               Sang Wan Lee and
               Julian Padget},
  title     = {Using Social Reasoning Framework to Guide Normative Behaviour of Intelligent
               Virtual Agents},
  booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
               {SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
  pages     = {2466--2471},
  year      = {2018},
  crossref  = {DBLP:conf/smc/2018},
  url       = {https://doi.org/10.1109/SMC.2018.00423},
  doi       = {10.1109/SMC.2018.00423},
  timestamp = {Thu, 24 Jan 2019 11:00:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/smc/LeeLP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/KingVDJLPR17,
  author    = {Thomas Christopher King and
               Marina De Vos and
               Virginia Dignum and
               Catholijn M. Jonker and
               Tingting Li and
               Julian Padget and
               M. Birna van Riemsdijk},
  title     = {Automated multi-level governance compliance checking},
  journal   = {Autonomous Agents and Multi-Agent Systems},
  volume    = {31},
  number    = {6},
  pages     = {1283--1343},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10458-017-9363-y},
  doi       = {10.1007/s10458-017-9363-y},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/aamas/KingVDJLPR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/ShamsVPV17,
  author    = {Zohreh Shams and
               Marina De Vos and
               Julian Padget and
               Wamberto Weber Vasconcelos},
  title     = {Practical reasoning with norms for autonomous software agents},
  journal   = {Eng. Appl. of {AI}},
  volume    = {65},
  pages     = {388--399},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.engappai.2017.07.021},
  doi       = {10.1016/j.engappai.2017.07.021},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eaai/ShamsVPV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/JahedpariRHMVPW17,
  author    = {Fatemeh Jahedpari and
               Talal Rahwan and
               Sattar Hashemi and
               Tomasz P. Michalak and
               Marina De Vos and
               Julian Padget and
               Wei Lee Woon},
  title     = {Online Prediction via Continuous Artificial Prediction Markets},
  journal   = {{IEEE} Intelligent Systems},
  volume    = {32},
  number    = {1},
  pages     = {61--68},
  year      = {2017},
  url       = {https://doi.org/10.1109/MIS.2017.12},
  doi       = {10.1109/MIS.2017.12},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/expert/JahedpariRHMVPW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwin/ArdakaniPV17,
  author    = {Saeid Pourroostaei Ardakani and
               Julian Padget and
               Marina De Vos},
  title     = {A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor
               Networks},
  journal   = {{IJWIN}},
  volume    = {24},
  number    = {1},
  pages     = {27--41},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10776-016-0327-y},
  doi       = {10.1007/s10776-016-0327-y},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijwin/ArdakaniPV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NoriegaSVPd17,
  author    = {Pablo Noriega and
               Jordi Sabater{-}Mir and
               Harko Verhagen and
               Julian Padget and
               Mark d'Inverno},
  title     = {Identifying Affordances for Modelling Second-Order Emergent Phenomena
               with the \emph{WIT} Framework},
  booktitle = {Autonomous Agents and Multiagent Systems - {AAMAS} 2017 Workshops,
               Visionary Papers, S{\~{a}}o Paulo, Brazil, May 8-12, 2017, Revised
               Selected Papers},
  pages     = {208--227},
  year      = {2017},
  crossref  = {DBLP:conf/atal/2017v},
  url       = {https://doi.org/10.1007/978-3-319-71679-4\_14},
  doi       = {10.1007/978-3-319-71679-4\_14},
  timestamp = {Tue, 17 Jul 2018 07:47:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/NoriegaSVPd17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2016coin,
  editor    = {Stephen Cranefield and
               Samhar Mahmoud and
               Julian Padget and
               Ana Paula Rocha},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {XII} - {COIN} 2016 International Workshops, COIN@AAMAS, Singapore,
               Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August
               30, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10315},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66595-5},
  doi       = {10.1007/978-3-319-66595-5},
  isbn      = {978-3-319-66594-8},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2016coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ShamsVPV17,
  author    = {Zohreh Shams and
               Marina De Vos and
               Julian Padget and
               Wamberto Weber Vasconcelos},
  title     = {Practical Reasoning with Norms for Autonomous Software Agents (Full
               Edition)},
  journal   = {CoRR},
  volume    = {abs/1701.08306},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.08306},
  archivePrefix = {arXiv},
  eprint    = {1701.08306},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ShamsVPV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/ArdakaniPV16,
  author    = {Saeid Pourroostaei Ardakani and
               Julian Padget and
               Marina De Vos},
  title     = {{CBA:} {A} cluster-based client/server data aggregation routing protocol},
  journal   = {Ad Hoc Networks},
  volume    = {50},
  pages     = {68--87},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.adhoc.2016.05.009},
  doi       = {10.1016/j.adhoc.2016.05.009},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/adhoc/ArdakaniPV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NoriegaVdP16,
  author    = {Pablo Noriega and
               Harko Verhagen and
               Mark d'Inverno and
               Julian Padget},
  title     = {A Manifesto for Conscientious Design of Hybrid Online Social Systems},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {XII} - {COIN} 2016 International Workshops, COIN@AAMAS, Singapore,
               Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August
               30, 2016, Revised Selected Papers},
  pages     = {60--78},
  year      = {2016},
  crossref  = {DBLP:conf/atal/2016coin},
  url       = {https://doi.org/10.1007/978-3-319-66595-5\_4},
  doi       = {10.1007/978-3-319-66595-5\_4},
  timestamp = {Wed, 30 Aug 2017 15:38:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/NoriegaVdP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShamsVOP16,
  author    = {Zohreh Shams and
               Marina De Vos and
               Nir Oren and
               Julian Padget},
  title     = {Normative Practical Reasoning via Argumentation and Dialogue},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {1244--1250},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/180},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/ShamsVOP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/ThompsonPS16,
  author    = {Matthew Thompson and
               Julian Padget and
               Ken Satoh},
  title     = {Describing Legal Policies as Story Tropes in Normative Systems},
  booktitle = {Legal Knowledge and Information Systems - {JURIX} 2016: The Twenty-Ninth
               Annual Conference},
  pages     = {207--210},
  year      = {2016},
  crossref  = {DBLP:conf/jurix/2016},
  url       = {https://doi.org/10.3233/978-1-61499-726-9-207},
  doi       = {10.3233/978-1-61499-726-9-207},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/ThompsonPS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/SmithPV16,
  author    = {Thomas Smith and
               Julian Padget and
               Andrew Vidler},
  title     = {Design Space Descriptions for Logical Generation of Content},
  booktitle = {{STAIRS} 2016 - Proceedings of the Eighth European Starting {AI} Researcher
               Symposium, The Hague, The Netherlands, August 29-30, 2016},
  pages     = {209--214},
  year      = {2016},
  crossref  = {DBLP:conf/stairs/2016},
  url       = {https://doi.org/10.3233/978-1-61499-682-8-209},
  doi       = {10.3233/978-1-61499-682-8-209},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stairs/SmithPV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/BasurraVPJLA15,
  author    = {Shadi Saleh Basurra and
               Marina De Vos and
               Julian Padget and
               Yusheng Ji and
               Tim Lewis and
               Simon Armour},
  title     = {Energy efficient zone based routing protocol for MANETs},
  journal   = {Ad Hoc Networks},
  volume    = {25},
  pages     = {16--37},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.adhoc.2014.09.010},
  doi       = {10.1016/j.adhoc.2014.09.010},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/adhoc/BasurraVPJLA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/PietersPDDA15,
  author    = {Wolter Pieters and
               Julian Padget and
               Francien Dechesne and
               Virginia Dignum and
               Huib Aldewereld},
  title     = {Effectiveness of qualitative and quantitative security obligations},
  journal   = {J. Inf. Sec. Appl.},
  volume    = {22},
  pages     = {3--16},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jisa.2014.07.003},
  doi       = {10.1016/j.jisa.2014.07.003},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/istr/PietersPDDA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/PadgetV15,
  author    = {Julian Padget and
               Wamberto Weber Vasconcelos},
  title     = {Policy-Carrying Data: {A} Step Towards Transparent Data Sharing},
  booktitle = {Proceedings of the 6th International Conference on Ambient Systems,
               Networks and Technologies {(ANT} 2015), the 5th International Conference
               on Sustainable Energy Information Technology (SEIT-2015), London,
               UK, June 2-5, 2015},
  pages     = {59--66},
  year      = {2015},
  crossref  = {DBLP:conf/ant/2015},
  url       = {https://doi.org/10.1016/j.procs.2015.05.020},
  doi       = {10.1016/j.procs.2015.05.020},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ant/PadgetV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KingLVJPR15,
  author    = {Thomas Christopher King and
               Tingting Li and
               Marina De Vos and
               Catholijn M. Jonker and
               Julian Padget and
               M. Birna van Riemsdijk},
  title     = {Revising Institutions Governed by Institutions for Compliant Regulations},
  booktitle = {Coordination, Organizations, Institutions, and Normes in Agent Systems
               {XI} - {COIN} 2015 International Workshops, COIN@AAMAS, Istanbul,
               Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26,
               2015, Revised Selected Papers},
  pages     = {191--208},
  year      = {2015},
  crossref  = {DBLP:conf/atal/2015coin},
  url       = {https://doi.org/10.1007/978-3-319-42691-4\_11},
  doi       = {10.1007/978-3-319-42691-4\_11},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/KingLVJPR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ShamsVPV15,
  author    = {Zohreh Shams and
               Marina De Vos and
               Julian Padget and
               Wamberto Weber Vasconcelos},
  title     = {Implementation of Normative Practical Reasoning with Durative Actions},
  booktitle = {Coordination, Organizations, Institutions, and Normes in Agent Systems
               {XI} - {COIN} 2015 International Workshops, COIN@AAMAS, Istanbul,
               Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26,
               2015, Revised Selected Papers},
  pages     = {335--353},
  year      = {2015},
  crossref  = {DBLP:conf/atal/2015coin},
  url       = {https://doi.org/10.1007/978-3-319-42691-4\_19},
  doi       = {10.1007/978-3-319-42691-4\_19},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/ShamsVPV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ThompsonPB15,
  author    = {Matthew Thompson and
               Julian Padget and
               Steve Battle},
  title     = {An Interactive, Generative Punch and Judy Show Using Institutions,
               {ASP} and Emotional Agents},
  booktitle = {Coordination, Organizations, Institutions, and Normes in Agent Systems
               {XI} - {COIN} 2015 International Workshops, COIN@AAMAS, Istanbul,
               Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26,
               2015, Revised Selected Papers},
  pages     = {396--417},
  year      = {2015},
  crossref  = {DBLP:conf/atal/2015coin},
  url       = {https://doi.org/10.1007/978-3-319-42691-4\_22},
  doi       = {10.1007/978-3-319-42691-4\_22},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/ThompsonPB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KingLVDJPR15,
  author    = {Thomas Christopher King and
               Tingting Li and
               Marina De Vos and
               Virginia Dignum and
               Catholijn M. Jonker and
               Julian Padget and
               M. Birna van Riemsdijk},
  title     = {A Framework for Institutions Governing Institutions},
  booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
               and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  pages     = {473--481},
  year      = {2015},
  crossref  = {DBLP:conf/atal/2015},
  url       = {http://dl.acm.org/citation.cfm?id=2772940},
  timestamp = {Fri, 15 May 2015 16:18:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/KingLVDJPR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmn/ThompsonPB15,
  author    = {Matthew Thompson and
               Julian Padget and
               Steve Battle},
  title     = {Governing Narrative Events With Institutional Norms},
  booktitle = {6th Workshop on Computational Models of Narrative, {CMN} 2015, May
               26-28, 2015, Atlanta, GA, {USA}},
  pages     = {142--151},
  year      = {2015},
  crossref  = {DBLP:conf/cmn/2015},
  url       = {https://doi.org/10.4230/OASIcs.CMN.2015.142},
  doi       = {10.4230/OASIcs.CMN.2015.142},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmn/ThompsonPB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdg/SmithP15,
  author    = {Thomas Smith and
               Julian Padget},
  title     = {Semantic Descriptions for Logical Content Generation},
  booktitle = {Proceedings of the 10th International Conference on the Foundations
               of Digital Games, {FDG} 2015, Pacific Grove, CA, USA, June 22-25,
               2015},
  year      = {2015},
  crossref  = {DBLP:conf/fdg/2015},
  url       = {http://www.fdg2015.org/papers/fdg2015\_doccon\_02.pdf},
  timestamp = {Sat, 18 Jun 2016 11:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdg/SmithP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icids/ThompsonBP15,
  author    = {Matthew Thompson and
               Steve Battle and
               Julian Padget},
  title     = {Telling Non-linear Stories with Interval Temporal Logic},
  booktitle = {Interactive Storytelling - 8th International Conference on Interactive
               Digital Storytelling, {ICIDS} 2015, Copenhagen, Denmark, November
               30 - December 4, 2015, Proceedings},
  pages     = {370--373},
  year      = {2015},
  crossref  = {DBLP:conf/icids/2015},
  url       = {https://doi.org/10.1007/978-3-319-27036-4\_39},
  doi       = {10.1007/978-3-319-27036-4\_39},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icids/ThompsonBP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiVPSB15,
  author    = {Tingting Li and
               Marina De Vos and
               Julian Padget and
               Ken Satoh and
               Tina Balke},
  title     = {Debugging {ASP} using {ILP}},
  booktitle = {Proceedings of the Technical Communications of the 31st International
               Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
               31 - September 4, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/iclp/2015tc},
  url       = {http://ceur-ws.org/Vol-1433/tc\_26.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/LiVPSB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tafa/ShamsVOPS15,
  author    = {Zohreh Shams and
               Marina De Vos and
               Nir Oren and
               Julian Padget and
               Ken Satoh},
  title     = {Argumentation-based Normative Practical Reasoning},
  booktitle = {Theory and Applications of Formal Argumentation - Third International
               Workshop, {TAFA} 2015, Buenos Aires, Argentina, July 25-26, 2015,
               Revised Selected Papers},
  pages     = {226--242},
  year      = {2015},
  crossref  = {DBLP:conf/tafa/2015},
  url       = {https://doi.org/10.1007/978-3-319-28460-6\_14},
  doi       = {10.1007/978-3-319-28460-6\_14},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tafa/ShamsVOPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlwanfP15,
  author    = {Esraa Alwan and
               John ffitch and
               Julian Padget},
  title     = {Enhancing the performance of Decoupled Software Pipeline through Backward
               Slicing},
  journal   = {CoRR},
  volume    = {abs/1501.06743},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.06743},
  archivePrefix = {arXiv},
  eprint    = {1501.06743},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlwanfP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JahedpariVHHP15,
  author    = {Fatemeh Jahedpari and
               Marina De Vos and
               Sattar Hashemi and
               Benjamin Hirsch and
               Julian Padget},
  title     = {Artificial Prediction Markets for Online Prediction of Continuous
               Variables-A Preliminary Report},
  journal   = {CoRR},
  volume    = {abs/1508.02681},
  year      = {2015},
  url       = {http://arxiv.org/abs/1508.02681},
  archivePrefix = {arXiv},
  eprint    = {1508.02681},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JahedpariVHHP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NoriegaPVd14,
  author    = {Pablo Noriega and
               Julian Padget and
               Harko Verhagen and
               Mark d'Inverno},
  title     = {Towards a Framework for Socio-Cognitive Technical Systems},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {X} - {COIN} 2014 International Workshops, COIN@AAMAS, Paris, France,
               May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4,
               2014, Revised Selected Papers},
  pages     = {164--181},
  year      = {2014},
  crossref  = {DBLP:conf/atal/2014coin},
  url       = {https://doi.org/10.1007/978-3-319-25420-3\_11},
  doi       = {10.1007/978-3-319-25420-3\_11},
  timestamp = {Thu, 15 Jun 2017 21:43:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/NoriegaPVd14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeePLDA14,
  author    = {Jeehang Lee and
               Julian Padget and
               Brian Logan and
               Daniela Dybalova and
               Natasha Alechina},
  title     = {Run-time norm compliance in {BDI} agents},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages     = {1581--1582},
  year      = {2014},
  crossref  = {DBLP:conf/atal/2014},
  url       = {http://dl.acm.org/citation.cfm?id=2616072},
  timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LeePLDA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/LeePLDA14,
  author    = {Jeehang Lee and
               Julian Padget and
               Brian Logan and
               Daniela Dybalova and
               Natasha Alechina},
  title     = {N-Jason: Run-Time Norm Compliance in AgentSpeak(L)},
  booktitle = {Engineering Multi-Agent Systems - Second International Workshop, {EMAS}
               2014, Paris, France, May 5-6, 2014, Revised Selected Papers},
  pages     = {367--387},
  year      = {2014},
  crossref  = {DBLP:conf/dalt/2014},
  url       = {https://doi.org/10.1007/978-3-319-14484-9\_19},
  doi       = {10.1007/978-3-319-14484-9\_19},
  timestamp = {Wed, 14 Nov 2018 10:55:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/LeePLDA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/LovettGNBP14,
  author    = {Tom Lovett and
               Elizabeth Gabe{-}Thomas and
               Sukumar Natarajan and
               Matthew Brown and
               Julian Padget},
  title     = {Designing sensor sets for capturing energy events in buildings},
  booktitle = {The Fifth International Conference on Future Energy Systems, e-Energy
               '14, Cambridge, United Kingdom - June 11 - 13, 2014},
  pages     = {229--230},
  year      = {2014},
  crossref  = {DBLP:conf/eenergy/2014},
  url       = {https://doi.org/10.1145/2602044.2602080},
  doi       = {10.1145/2602044.2602080},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eenergy/LovettGNBP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PadgetESI14,
  author    = {Julian Padget and
               Emad Eldeen Elakehal and
               Ken Satoh and
               Fuyuki Ishikawa},
  title     = {On requirements representation and reasoning using answer set programming},
  booktitle = {{IEEE} 1st International Workshop on Artificial Intelligence for Requirements
               Engineering, {AIRE} 2014, 26 August, 2014, Karlskrona, Sweden},
  pages     = {35--42},
  year      = {2014},
  crossref  = {DBLP:conf/re/2014aire},
  url       = {https://doi.org/10.1109/AIRE.2014.6894854},
  doi       = {10.1109/AIRE.2014.6894854},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/re/PadgetESI14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ElakehalMP14,
  author    = {Emad Eldeen Elakehal and
               Marco Montali and
               Julian Padget},
  title     = {Run-Time Verification of {MSMAS} Norms Using Event Calculus},
  booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  pages     = {110--115},
  year      = {2014},
  crossref  = {DBLP:conf/saso/2014w},
  url       = {https://doi.org/10.1109/SASOW.2014.31},
  doi       = {10.1109/SASOW.2014.31},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saso/ElakehalMP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/BalkeVP13,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget},
  title     = {{I-ABM:} combining institutional frameworks and agent-based modelling
               for the design of enforcement policies},
  journal   = {Artif. Intell. Law},
  volume    = {21},
  number    = {4},
  pages     = {371--398},
  year      = {2013},
  url       = {https://doi.org/10.1007/s10506-013-9143-1},
  doi       = {10.1007/s10506-013-9143-1},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ail/BalkeVP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvca/LeeLP13,
  author    = {Jeehang Lee and
               Tingting Li and
               Julian A. Padget},
  title     = {Towards polite virtual agents using social reasoning techniques},
  journal   = {Journal of Visualization and Computer Animation},
  volume    = {24},
  number    = {3-4},
  pages     = {335--343},
  year      = {2013},
  url       = {https://doi.org/10.1002/cav.1517},
  doi       = {10.1002/cav.1517},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jvca/LeeLP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhocnets/ArdakaniPV13,
  author    = {Saeid Pourroostaei Ardakani and
               Julian Padget and
               Marina De Vos},
  title     = {{HRTS:} {A} Hierarchical Reactive Time Synchronization Protocol for
               Wireless Sensor Networks},
  booktitle = {Ad Hoc Networks - 5th International {ICST} Conference, {ADHOCNETS}
               2013, Barcelona, Spain, October 2013, Revised Selected Papers},
  pages     = {47--62},
  year      = {2013},
  crossref  = {DBLP:conf/adhocnets/2013},
  url       = {https://doi.org/10.1007/978-3-319-04105-6\_4},
  doi       = {10.1007/978-3-319-04105-6\_4},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adhocnets/ArdakaniPV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LiJAVDP13,
  author    = {Tingting Li and
               Jie Jiang and
               Huib Aldewereld and
               Marina De Vos and
               Virginia Dignum and
               Julian Padget},
  title     = {Contextualized Institutions in Virtual Organizations},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {IX} - {COIN} 2013 International Workshops, COIN@AAMAS, St. Paul,
               MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3,
               2013, Revised Selected Papers},
  pages     = {136--154},
  year      = {2013},
  crossref  = {DBLP:conf/atal/2013coin},
  url       = {https://doi.org/10.1007/978-3-319-07314-9\_8},
  doi       = {10.1007/978-3-319-07314-9\_8},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LiJAVDP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeeLVP13,
  author    = {Jeehang Lee and
               Tingting Li and
               Marina De Vos and
               Julian A. Padget},
  title     = {Governing intelligent virtual agent behaviour with norms},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  pages     = {1205--1206},
  year      = {2013},
  crossref  = {DBLP:conf/atal/2013},
  url       = {http://dl.acm.org/citation.cfm?id=2485144},
  timestamp = {Sat, 29 Jun 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LeeLVP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/LovettGNOP13,
  author    = {Tom Lovett and
               Elizabeth Gabe{-}Thomas and
               Sukumar Natarajan and
               Eamonn O'Neill and
               Julian A. Padget},
  title     = {'just enough' sensing to {ENLITEN:} a preliminary demonstration of
               sensing strategy for the 'energy literacy through an intelligent home
               energy advisor' {(ENLITEN)} project},
  booktitle = {The Fourth International Conference on Future Energy Systems, e-Energy
               '13, Berkeley, CA, USA, May 22-24, 2013},
  pages     = {279--280},
  year      = {2013},
  crossref  = {DBLP:conf/eenergy/2013},
  url       = {https://doi.org/10.1145/2487166.2487206},
  doi       = {10.1145/2487166.2487206},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eenergy/LovettGNOP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/LiBVPS13,
  author    = {Tingting Li and
               Tina Balke and
               Marina De Vos and
               Julian A. Padget and
               Ken Satoh},
  title     = {A model-based approach to the automatic revision of secondary legislation},
  booktitle = {International Conference on Artificial Intelligence and Law, {ICAIL}
               '13, Rome, Italy, June 10-14, 2013},
  pages     = {202--206},
  year      = {2013},
  crossref  = {DBLP:conf/icail/2013},
  url       = {https://doi.org/10.1145/2514601.2514627},
  doi       = {10.1145/2514601.2514627},
  timestamp = {Tue, 06 Nov 2018 16:58:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icail/LiBVPS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/DuanPK13,
  author    = {Kewei Duan and
               Julian Padget and
               H. Alicia Kim},
  title     = {A Light-Weight Framework for Bridge-Building from Desktop to Cloud},
  booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
               SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
               Revised Selected Papers},
  pages     = {308--323},
  year      = {2013},
  crossref  = {DBLP:conf/icsoc/2013w},
  url       = {https://doi.org/10.1007/978-3-319-06859-6\_28},
  doi       = {10.1007/978-3-319-06859-6\_28},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/DuanPK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/LiBVPS13,
  author    = {Tingting Li and
               Tina Balke and
               Marina De Vos and
               Julian Padget and
               Ken Satoh},
  title     = {Legal Conflict Detection in Interacting Legal Systems},
  booktitle = {Legal Knowledge and Information Systems - {JURIX} 2013: The Twenty-Sixth
               Annual Conference, December 11-13, 2013, University of Bologna, Italy},
  pages     = {107--116},
  year      = {2013},
  crossref  = {DBLP:conf/jurix/2013},
  url       = {https://doi.org/10.3233/978-1-61499-359-9-107},
  doi       = {10.3233/978-1-61499-359-9-107},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/LiBVPS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/LiBVPS13a,
  author    = {Tingting Li and
               Tina Balke and
               Marina De Vos and
               Julian Padget and
               Ken Satoh},
  title     = {Legal Conflict Detection in Interacting Legal Systems},
  booktitle = {Proceedings of the First {JURIX} Doctoral Consortium and Poster Sessions
               in conjunction with the 26th International Conference on Legal Knowledge
               and Information Systems, {JURIX} 2013, Bologna, Italy, December 11-13,
               2013.},
  year      = {2013},
  crossref  = {DBLP:conf/jurix/2013docope},
  url       = {http://ceur-ws.org/Vol-1105/poster1.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/LiBVPS13a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/ElakehalMP13,
  author    = {Emad Eldeen Elakehal and
               Marco Montali and
               Julian A. Padget},
  title     = {Verifying {MSMAS} Model Using {CIFF}},
  booktitle = {Multiagent System Technologies - 11th German Conference, {MATES} 2013,
               Koblenz, Germany, September 16-20, 2013. Proceedings},
  pages     = {44--58},
  year      = {2013},
  crossref  = {DBLP:conf/mates/2013},
  url       = {https://doi.org/10.1007/978-3-642-40776-5\_7},
  doi       = {10.1007/978-3-642-40776-5\_7},
  timestamp = {Wed, 24 May 2017 08:27:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mates/ElakehalMP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BalkeVP13,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget},
  title     = {Evaluating the Cost of Enforcement by Agent-Based Simulation: {A}
               Wireless Mobile Grid Example},
  booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
               International Conference, Dunedin, New Zealand, December 1-6, 2013.
               Proceedings},
  pages     = {21--36},
  year      = {2013},
  crossref  = {DBLP:conf/prima/2013},
  url       = {https://doi.org/10.1007/978-3-642-44927-7\_3},
  doi       = {10.1007/978-3-642-44927-7\_3},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prima/BalkeVP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SavarimuthuPP13,
  author    = {Bastin Tony Roy Savarimuthu and
               Julian Padget and
               Maryam Purvis},
  title     = {Social Norm Recommendation for Virtual Agent Societies},
  booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
               International Conference, Dunedin, New Zealand, December 1-6, 2013.
               Proceedings},
  pages     = {308--323},
  year      = {2013},
  crossref  = {DBLP:conf/prima/2013},
  url       = {https://doi.org/10.1007/978-3-642-44927-7\_21},
  doi       = {10.1007/978-3-642-44927-7\_21},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prima/SavarimuthuPP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/PietersPDDA13,
  author    = {Wolter Pieters and
               Julian Padget and
               Francien Dechesne and
               Virginia Dignum and
               Huib Aldewereld},
  title     = {Obligations to enforce prohibitions: on the adequacy of security policies},
  booktitle = {The 6th International Conference on Security of Information and Networks,
               {SIN} '13, Aksaray, Turkey, November 26-28, 2013},
  pages     = {54--61},
  year      = {2013},
  crossref  = {DBLP:conf/sin/2013},
  url       = {https://doi.org/10.1145/2523514.2523526},
  doi       = {10.1145/2523514.2523526},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sin/PietersPDDA13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LamP12,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Equivalence Checking of Communicating {UML} Statechart Diagrams},
  journal   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {22},
  number    = {2},
  pages     = {265--304},
  year      = {2012},
  url       = {https://doi.org/10.1142/S0218194012500076},
  doi       = {10.1142/S0218194012500076},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijseke/LamP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/BrazierDHDDLPQS12,
  author    = {Frances M. T. Brazier and
               Virginia Dignum and
               Michael N. Huhns and
               Christian Derksen and
               Frank Dignum and
               Tim Lessner and
               Julian A. Padget and
               Thomas B. Quillinan and
               Munindar P. Singh},
  title     = {Agent-based organisational governance of services},
  journal   = {Multiagent and Grid Systems},
  volume    = {8},
  number    = {1},
  pages     = {3--18},
  year      = {2012},
  url       = {https://doi.org/10.3233/MGS-2012-0187},
  doi       = {10.3233/MGS-2012-0187},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mags/BrazierDHDDLPQS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/ElakehalP12,
  author    = {Emad Eldeen Elakehal and
               Julian A. Padget},
  title     = {{MSMAS:} Modelling Self-managing Multi Agent Systems},
  journal   = {Scalable Computing: Practice and Experience},
  volume    = {13},
  number    = {2},
  year      = {2012},
  url       = {http://www.scpe.org/index.php/scpe/article/view/774},
  timestamp = {Sun, 25 Nov 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scpe/ElakehalP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/ElakehalP12,
  author    = {Emad Eldeen Elakehal and
               Julian A. Padget},
  title     = {Market intelligence and price adaptation},
  booktitle = {Fourteenth International Conference on Electronic Commerce, {ICEC}
               '12, Singapore, August 7-8, 2012},
  pages     = {9--16},
  year      = {2012},
  crossref  = {DBLP:conf/ACMicec/2012},
  url       = {https://doi.org/10.1145/2346536.2346538},
  doi       = {10.1145/2346536.2346538},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ACMicec/ElakehalP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/AthakraviCRVPS12,
  author    = {Duangtida Athakravi and
               Domenico Corapi and
               Alessandra Russo and
               Marina De Vos and
               Julian A. Padget and
               Ken Satoh},
  title     = {Handling change in normative specifications},
  booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
               {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
  pages     = {1369--1370},
  year      = {2012},
  crossref  = {DBLP:conf/atal/2012},
  url       = {http://dl.acm.org/citation.cfm?id=2344010},
  timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aamas/AthakraviCRVPS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Padget12,
  author    = {Julian A. Padget},
  title     = {Situating {COIN} in the Cloud - (Invited Paper)},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VIII} - 14th International Workshop, {COIN} 2012, Held Co-located
               with {AAMAS} 2012, Valencia, Spain, June 5, 2012, Revised Selected
               Papers},
  pages     = {1--16},
  year      = {2012},
  crossref  = {DBLP:conf/atal/2012coin},
  url       = {https://doi.org/10.1007/978-3-642-37756-3\_1},
  doi       = {10.1007/978-3-642-37756-3\_1},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/Padget12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeeBP12,
  author    = {Jeehang Lee and
               Vincent Baines and
               Julian A. Padget},
  title     = {Decoupling Cognitive Agents and Virtual Environments},
  booktitle = {Cognitive Agents for Virtual Environments - First International Workshop,
               {CAVE} 2012, Held at {AAMAS} 2012, Valencia, Spain, June 4, 2012,
               Revised Selected Papers},
  pages     = {17--36},
  year      = {2012},
  crossref  = {DBLP:conf/atal/2012cave},
  url       = {https://doi.org/10.1007/978-3-642-36444-0\_2},
  doi       = {10.1007/978-3-642-36444-0\_2},
  timestamp = {Fri, 02 Nov 2018 09:34:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LeeBP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BalkeVP12,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget},
  title     = {An Agent-Based Simulation Approach to Comparative Analysis of Enforcement
               Mechanisms},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VIII} - 14th International Workshop, {COIN} 2012, Held Co-located
               with {AAMAS} 2012, Valencia, Spain, June 5, 2012, Revised Selected
               Papers},
  pages     = {53--70},
  year      = {2012},
  crossref  = {DBLP:conf/atal/2012coin},
  url       = {https://doi.org/10.1007/978-3-642-37756-3\_4},
  doi       = {10.1007/978-3-642-37756-3\_4},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/BalkeVP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AthakraviCRVPS12,
  author    = {Duangtida Athakravi and
               Domenico Corapi and
               Alessandra Russo and
               Marina De Vos and
               Julian A. Padget and
               Ken Satoh},
  title     = {Handling Change in Normative Specifications},
  booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
               Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
               Papers},
  pages     = {1--19},
  year      = {2012},
  crossref  = {DBLP:conf/dalt/2012},
  url       = {https://doi.org/10.1007/978-3-642-37890-4\_1},
  doi       = {10.1007/978-3-642-37890-4\_1},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/AthakraviCRVPS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NovelliVPD12,
  author    = {Viviana Novelli and
               Marina De Vos and
               Julian A. Padget and
               Dina D'Ayala},
  title     = {{LOG-IDEAH:} {ASP} for Architectonic Asset Preservation},
  booktitle = {Technical Communications of the 28th International Conference on Logic
               Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  pages     = {393--403},
  year      = {2012},
  crossref  = {DBLP:conf/iclp/2012},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2012.393},
  doi       = {10.4230/LIPIcs.ICLP.2012.393},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/NovelliVPD12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/LiBVSP12,
  author    = {Tingting Li and
               Tina Balke and
               Marina De Vos and
               Ken Satoh and
               Julian A. Padget},
  title     = {Detecting Conflicts in Legal Systems},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops,
               LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1,
               2012, Revised Selected Papers},
  pages     = {174--189},
  year      = {2012},
  crossref  = {DBLP:conf/jsai/2012},
  url       = {https://doi.org/10.1007/978-3-642-39931-2\_13},
  doi       = {10.1007/978-3-642-39931-2\_13},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jsai/LiBVSP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BibuYP12,
  author    = {Gideon D. Bibu and
               Nobukazu Yoshioka and
               Julian Padget},
  title     = {System security requirements analysis with answer set programming},
  booktitle = {Second {IEEE} International Workshop on Requirements Engineering for
               Systems, Services, and Systems-of-Systems, {RESS} 2012, Chicago, IL,
               USA, September 25, 2012},
  pages     = {10--13},
  year      = {2012},
  crossref  = {DBLP:conf/re/2012ress},
  url       = {https://doi.org/10.1109/RES4.2012.6347689},
  doi       = {10.1109/RES4.2012.6347689},
  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/re/BibuYP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rest/DuanPKH12,
  author    = {Kewei Duan and
               Julian Padget and
               H. Alicia Kim and
               Hiroshi Hosobe},
  title     = {Composition of engineering web services with universal distributed
               data-flows framework based on {ROA}},
  booktitle = {Third International Workshop on RESTful Design, {WS-REST} '12, Lyon,
               France, April 16, 2012},
  pages     = {41--48},
  year      = {2012},
  crossref  = {DBLP:conf/rest/2012},
  url       = {https://doi.org/10.1145/2307819.2307830},
  doi       = {10.1145/2307819.2307830},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rest/DuanPKH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/BasurraJVPLA12,
  author    = {Shadi Saleh Basurra and
               Yusheng Ji and
               Marina De Vos and
               Julian A. Padget and
               Tim Lewis and
               Simon Armour},
  title     = {Social-Aware Routing for Wireless Mesh Networks},
  booktitle = {Proceedings of the 76th {IEEE} Vehicular Technology Conference, {VTC}
               Fall 2012, Quebec City, QC, Canada, September 3-6, 2012},
  pages     = {1--5},
  year      = {2012},
  crossref  = {DBLP:conf/vtc/2012f},
  url       = {https://doi.org/10.1109/VTCFall.2012.6399244},
  doi       = {10.1109/VTCFall.2012.6399244},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vtc/BasurraJVPLA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BalkeVP11,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget},
  title     = {Analysing energy-incentivized cooperation in next generation mobile
               networks using normative frameworks and an agent-based simulation},
  journal   = {Future Generation Comp. Syst.},
  volume    = {27},
  number    = {8},
  pages     = {1092--1102},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.future.2011.04.006},
  doi       = {10.1016/j.future.2011.04.006},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fgcs/BalkeVP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/TraskasP11,
  author    = {Dimitris Traskas and
               Julian A. Padget},
  title     = {A multi-agent systems approach to call-centre management},
  journal   = {{IJPEDS}},
  volume    = {26},
  number    = {5},
  pages     = {347--367},
  year      = {2011},
  url       = {https://doi.org/10.1080/17445761003720228},
  doi       = {10.1080/17445761003720228},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/paapp/TraskasP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CorapiRVPS11,
  author    = {Domenico Corapi and
               Alessandra Russo and
               Marina De Vos and
               Julian A. Padget and
               Ken Satoh},
  title     = {Normative design using inductive learning},
  journal   = {{TPLP}},
  volume    = {11},
  number    = {4-5},
  pages     = {783--799},
  year      = {2011},
  url       = {https://doi.org/10.1017/S1471068411000305},
  doi       = {10.1017/S1471068411000305},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/CorapiRVPS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BalkeVP11,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget},
  title     = {Normative Run-Time Reasoning for Institutionally-Situated {BDI} Agents},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent System
               VII, {COIN} 2011 International Workshops, COIN@AAMAS 2011, Taipei,
               Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011,
               Revised Selected Papers},
  pages     = {129--148},
  year      = {2011},
  crossref  = {DBLP:conf/atal/2011coin},
  url       = {https://doi.org/10.1007/978-3-642-35545-5\_8},
  doi       = {10.1007/978-3-642-35545-5\_8},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/BalkeVP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BalkeVPT11,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget and
               Dimitris Traskas},
  title     = {On-line reasoning for institutionally-situated {BDI} agents},
  booktitle = {10th International Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
  pages     = {1109--1110},
  year      = {2011},
  crossref  = {DBLP:conf/atal/2011},
  url       = {http://portal.acm.org/citation.cfm?id=2034442\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
  timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/BalkeVPT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/BalkeVPT11,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget and
               Dimitris Traskas},
  title     = {Normative Run-Time Reasoning for Institutionally-Situated {BDI} Agents},
  booktitle = {Proceedings of the 2011 {IEEE/WIC/ACM} International Joint Conference
               on Web Intelligence and Intelligent Agent Technology - Workshops,
               {WI-IAT} 2011, Campus Scientifique de la Doua, Lyon, France, August
               22-27, 2011},
  pages     = {1--4},
  year      = {2011},
  crossref  = {DBLP:conf/iat/2011w},
  url       = {https://doi.org/10.1109/WI-IAT.2011.49},
  doi       = {10.1109/WI-IAT.2011.49},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iat/BalkeVPT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/PadgetRFWBN11,
  author    = {Julian A. Padget and
               Harpreet Riat and
               Benedikt Forchhammer and
               Martijn Warnier and
               Frances M. T. Brazier and
               Sukumar Natarajan},
  title     = {An agent-based infrastructure for energy profile capture and management},
  booktitle = {Proceedings of the {IEEE} International Conference on Networking,
               Sensing and Control, {ICNSC} 2011, Delft, The Netherlands, 11-13 April
               2011},
  pages     = {50--55},
  year      = {2011},
  crossref  = {DBLP:conf/icnsc/2011},
  url       = {https://doi.org/10.1109/ICNSC.2011.5874876},
  doi       = {10.1109/ICNSC.2011.5874876},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icnsc/PadgetRFWBN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/ElakehalP11,
  author    = {Emad Eldeen Elakehal and
               Julian A. Padget},
  title     = {A Practical Method for Developing Multi Agent Systems: {APMDMAS}},
  booktitle = {Intelligent Distributed Computing {V} - Proceedings of the 5th International
               Symposium on Intelligent Distributed Computing - {IDC} 2011, Delft,
               The Netherlands - October 2011},
  pages     = {11--20},
  year      = {2011},
  crossref  = {DBLP:conf/idc/2011},
  url       = {https://doi.org/10.1007/978-3-642-24013-3\_3},
  doi       = {10.1007/978-3-642-24013-3\_3},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/idc/ElakehalP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4967,
  author    = {Domenico Corapi and
               Alessandra Russo and
               Marina De Vos and
               Julian A. Padget and
               Ken Satoh},
  title     = {Normative design using inductive learning},
  journal   = {CoRR},
  volume    = {abs/1107.4967},
  year      = {2011},
  url       = {http://arxiv.org/abs/1107.4967},
  archivePrefix = {arXiv},
  eprint    = {1107.4967},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-4967},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/AldewereldPVVSS10,
  author    = {Huib Aldewereld and
               Julian A. Padget and
               Wamberto Weber Vasconcelos and
               Javier V{\'{a}}zquez{-}Salceda and
               Paul Sergeant and
               Athanasios Staikopoulos},
  title     = {Adaptable, Organization-Aware, Service-Oriented Computing},
  journal   = {{IEEE} Intelligent Systems},
  volume    = {25},
  number    = {4},
  pages     = {26--35},
  year      = {2010},
  url       = {https://doi.org/10.1109/MIS.2010.93},
  doi       = {10.1109/MIS.2010.93},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/expert/AldewereldPVVSS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/StaikopoulosCPPC10,
  author    = {Athanasios Staikopoulos and
               Owen Cliffe and
               Razvan Popescu and
               Julian A. Padget and
               Siobh{\'{a}}n Clarke},
  title     = {Template-Based Adaptation of Semantic Web Services with Model-Driven
               Engineering},
  journal   = {{IEEE} Trans. Services Computing},
  volume    = {3},
  number    = {2},
  pages     = {116--130},
  year      = {2010},
  url       = {https://doi.org/10.1109/TSC.2010.30},
  doi       = {10.1109/TSC.2010.30},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsc/StaikopoulosCPPC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CorapiVPRS10,
  author    = {Domenico Corapi and
               Marina De Vos and
               Julian A. Padget and
               Alessandra Russo and
               Ken Satoh},
  title     = {Norm Refinement and Design through Inductive Learning},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
               Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
               Selected Papers},
  pages     = {77--94},
  year      = {2010},
  crossref  = {DBLP:conf/atal/2010coin},
  url       = {https://doi.org/10.1007/978-3-642-21268-0\_5},
  doi       = {10.1007/978-3-642-21268-0\_5},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/CorapiVPRS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BalkeVPF10,
  author    = {Tina Balke and
               Marina De Vos and
               Julian A. Padget and
               Frank H. P. Fitzek},
  title     = {Using a Normative Framework to Explore the Prototyping of Wireless
               Grids},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
               Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
               Selected Papers},
  pages     = {95--113},
  year      = {2010},
  crossref  = {DBLP:conf/atal/2010coin},
  url       = {https://doi.org/10.1007/978-3-642-21268-0\_6},
  doi       = {10.1007/978-3-642-21268-0\_6},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/BalkeVPF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/TraskasPT10,
  author    = {Dimitris Traskas and
               Julian A. Padget and
               John Tansley},
  title     = {A Probabilistic Mechanism for Agent Discovery and Pairing Using Domain-Specific
               Data},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
               Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
               Selected Papers},
  pages     = {192--209},
  year      = {2010},
  crossref  = {DBLP:conf/atal/2010coin},
  url       = {https://doi.org/10.1007/978-3-642-21268-0\_11},
  doi       = {10.1007/978-3-642-21268-0\_11},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/TraskasPT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Vazquez-SalcedaVPDCR10,
  author    = {Javier V{\'{a}}zquez{-}Salceda and
               Wamberto Weber Vasconcelos and
               Julian A. Padget and
               Frank Dignum and
               Siobh{\'{a}}n Clarke and
               M. Palau Roig},
  title     = {{ALIVE:} an agent-based framework for dynamic and robust service-oriented
               applications},
  booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
               {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages     = {1637--1638},
  year      = {2010},
  crossref  = {DBLP:conf/atal/2010},
  url       = {https://dl.acm.org/citation.cfm?id=1838518},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/Vazquez-SalcedaVPDCR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/DignumPV10,
  author    = {Frank Dignum and
               Julian A. Padget and
               Wamberto Weber Vasconcelos},
  title     = {Organizing services for a changing environment},
  booktitle = {iiWAS'2010 - The 12th International Conference on Information Integration
               and Web-based Applications and Services, 8-10 November 2010, Paris,
               France},
  pages     = {16},
  year      = {2010},
  crossref  = {DBLP:conf/iiwas/2010},
  url       = {https://doi.org/10.1145/1967486.1967492},
  doi       = {10.1145/1967486.1967492},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iiwas/DignumPV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/VosPS10,
  author    = {Marina De Vos and
               Julian A. Padget and
               Ken Satoh},
  title     = {Legal Modelling and Reasoning Using Institutions},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops,
               LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised
               Selected Papers},
  pages     = {129--140},
  year      = {2010},
  crossref  = {DBLP:conf/jsai/2010},
  url       = {https://doi.org/10.1007/978-3-642-25655-4\_12},
  doi       = {10.1007/978-3-642-25655-4\_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jsai/VosPS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/CorapiVPRS10,
  author    = {Domenico Corapi and
               Marina De Vos and
               Julian A. Padget and
               Alessandra Russo and
               Ken Satoh},
  title     = {Norm Refinement and Design through Inductive Learning},
  booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
               Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
               2, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/mallow/2010},
  url       = {http://ceur-ws.org/Vol-627/coin\_3.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/CorapiVPRS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Vazquez-SalcedaVPDCPSN10,
  author    = {Javier V{\'{a}}zquez{-}Salceda and
               Wamberto Weber Vasconcelos and
               Julian A. Padget and
               Frank Dignum and
               Siobh{\'{a}}n Clarke and
               Manel Palau and
               Paul Sergeant and
               Kees Nieuwenhuis},
  title     = {{ALIVE:} {A} Model-Driven Framework to Develop Dynamic, Flexible,
               Distributed Service-Oriented Systems},
  booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
               2010},
  pages     = {485--492},
  year      = {2010},
  crossref  = {DBLP:conf/synasc/2010},
  url       = {https://doi.org/10.1109/SYNASC.2010.71},
  doi       = {10.1109/SYNASC.2010.71},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/Vazquez-SalcedaVPDCPSN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2009coin,
  editor    = {Julian A. Padget and
               Alexander Artikis and
               Wamberto Weber Vasconcelos and
               Kostas Stathis and
               Viviane Torres da Silva and
               Eric T. Matson and
               Axel Polleres},
  title     = {Coordination, Organizations, Institutions and Norms in Agent Systems
               V, {COIN} 2009 International Workshops. COIN@AAMAS 2009, Budapest,
               Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW
               2009, Turin, Italy, September 2009. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6069},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14962-7},
  doi       = {10.1007/978-3-642-14962-7},
  isbn      = {978-3-642-14961-0},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2009coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jasss/PadgetVMMM09,
  author    = {Julian Padget and
               Richard Vidgen and
               James Mitchell and
               Amy Marshall and
               Rick Mellor},
  title     = {Sendero: An Extended, Agent-Based Implementation of Kauffman's {NKCS}
               Model},
  journal   = {J. Artificial Societies and Social Simulation},
  volume    = {12},
  number    = {4},
  year      = {2009},
  url       = {http://jasss.soc.surrey.ac.uk/12/4/8.html},
  timestamp = {Wed, 21 Mar 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jasss/PadgetVMMM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyP09,
  author    = {Olivier Danvy and
               Julian A. Padget},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {22},
  number    = {1},
  pages     = {1},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10990-009-9041-0},
  doi       = {10.1007/s10990-009-9041-0},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/DanvyP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/HoptonCVP09,
  author    = {Luke Hopton and
               Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {Inst\emph{QL}: {A} Query Language for Virtual Institutions Using Answer
               Set Programming},
  booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
               {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
               and Invited Papers},
  pages     = {102--121},
  year      = {2009},
  crossref  = {DBLP:conf/clima/2009},
  url       = {https://doi.org/10.1007/978-3-642-16867-3\_6},
  doi       = {10.1007/978-3-642-16867-3\_6},
  timestamp = {Tue, 20 Feb 2018 18:30:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/clima/HoptonCVP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/digibiz/Vazquez-SalcedaCDVPCSN09,
  author    = {Javier V{\'{a}}zquez{-}Salceda and
               Luigi Ceccaroni and
               Frank Dignum and
               Wamberto Weber Vasconcelos and
               Julian A. Padget and
               Siobh{\'{a}}n Clarke and
               Paul Sergeant and
               Kees Nieuwenhuis},
  title     = {Combining Organisational and Coordination Theory with Model Driven
               Approaches to Develop Dynamic, Flexible, Distributed Business Systems},
  booktitle = {Digital Business - First Iternational {ICST} Conference, DigiBiz 2009,
               London, UK, June 17-19, 2009, Revised Selected Papers},
  pages     = {175--184},
  year      = {2009},
  crossref  = {DBLP:conf/digibiz/2009},
  url       = {https://doi.org/10.1007/978-3-642-11532-5\_20},
  doi       = {10.1007/978-3-642-11532-5\_20},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/digibiz/Vazquez-SalcedaCDVPCSN09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/TraskasP09,
  author    = {Dimitris Traskas and
               Julian A. Padget},
  title     = {Engineering Agent Organisations in a Business Environment},
  booktitle = {Engineering Societies in the Agents World X, 10th International Workshop,
               {ESAW} 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings},
  pages     = {49--64},
  year      = {2009},
  crossref  = {DBLP:conf/esaw/2009},
  url       = {https://doi.org/10.1007/978-3-642-10203-5\_5},
  doi       = {10.1007/978-3-642-10203-5\_5},
  timestamp = {Fri, 02 Jun 2017 20:47:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esaw/TraskasP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/LamVGCCNVPCGHANRCADDPPVACSPCSRQN09,
  author    = {Joey Sik Chun Lam and
               Wamberto Weber Vasconcelos and
               Frank Guerin and
               David Corsar and
               Alison Chorley and
               Timothy J. Norman and
               Javier V{\'{a}}zquez{-}Salceda and
               Sofia Panagiotidi and
               Roberto Confalonieri and
               I. Gomez and
               S. Hidalgo and
               Sergio {\'{A}}lvarez{-}Napagao and
               Juan Carlos Nieves and
               M. Palau Roig and
               Luigi Ceccaroni and
               Huib Aldewereld and
               Virginia Dignum and
               Frank Dignum and
               Loris Penserini and
               Julian A. Padget and
               Marina De Vos and
               D. Andreou and
               Owen Cliffe and
               Athanasios Staikopoulos and
               Razvan Popescu and
               Siobh{\'{a}}n Clarke and
               Paul Sergeant and
               Chris Reed and
               Thomas B. Quillinan and
               Kees Nieuwenhuis},
  title     = {{ALIVE:} {A} Framework for Flexible and Adaptive Service Coordination},
  booktitle = {Engineering Societies in the Agents World X, 10th International Workshop,
               {ESAW} 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings},
  pages     = {236--239},
  year      = {2009},
  crossref  = {DBLP:conf/esaw/2009},
  url       = {https://doi.org/10.1007/978-3-642-10203-5\_21},
  doi       = {10.1007/978-3-642-10203-5\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esaw/LamVGCCNVPCGHANRCADDPPVACSPCSRQN09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SplunterBPR09,
  author    = {Sander van Splunter and
               Frances M. T. Brazier and
               Julian A. Padget and
               Omer F. Rana},
  title     = {Dynamic Service Reconfiguration and Enactment using an Open Matching
               Architecture},
  booktitle = {{ICAART} 2009 - Proceedings of the International Conference on Agents
               and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  pages     = {533--539},
  year      = {2009},
  crossref  = {DBLP:conf/icaart/2009},
  timestamp = {Tue, 19 May 2009 15:52:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/SplunterBPR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/DignumDPV09,
  author    = {Frank Dignum and
               Virginia Dignum and
               Julian A. Padget and
               Javier V{\'{a}}zquez{-}Salceda},
  title     = {Organizing web services to develop dynamic, flexible, distributed
               systems},
  booktitle = {iiWAS'2009 - The Eleventh International Conference on Information
               Integration and Web-based Applications and Services, 14-16 December
               2009, Kuala Lumpur, Malaysia},
  pages     = {225--234},
  year      = {2009},
  crossref  = {DBLP:conf/iiwas/2009},
  url       = {https://doi.org/10.1145/1806338.1806383},
  doi       = {10.1145/1806338.1806383},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iiwas/DignumDPV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HoptonCVP09,
  author    = {Luke Hopton and
               Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {{AQL:} {A} Query Language for Action Domains Modelled Using Answer
               Set Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  pages     = {437--443},
  year      = {2009},
  crossref  = {DBLP:conf/lpnmr/2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6\_39},
  doi       = {10.1007/978-3-642-04238-6\_39},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/HoptonCVP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CliffeVP09,
  author    = {Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {Modelling Normative Frameworks Using Answer Set Programing},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  pages     = {548--553},
  year      = {2009},
  crossref  = {DBLP:conf/lpnmr/2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6\_56},
  doi       = {10.1007/978-3-642-04238-6\_56},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/CliffeVP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/Alvarez-NapagaoCPV09,
  author    = {Sergio {\'{A}}lvarez{-}Napagao and
               Owen Cliffe and
               Julian A. Padget and
               Javier V{\'{a}}zquez{-}Salceda},
  title     = {Norms, Organisations and Semantic Web Services: The {ALIVE} Approach},
  booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
               Federated Workshops, Turin, Italy, September 7-10, 2009},
  year      = {2009},
  crossref  = {DBLP:conf/mallow/2009},
  url       = {http://ceur-ws.org/Vol-494/coinpaper9.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/Alvarez-NapagaoCPV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/PadgetP09,
  author    = {Julian A. Padget and
               Axel Polleres},
  title     = {Introductory Essay of COIN@MALLOW'009},
  booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
               Federated Workshops, Turin, Italy, September 7-10, 2009},
  year      = {2009},
  crossref  = {DBLP:conf/mallow/2009},
  url       = {http://ceur-ws.org/Vol-494/coinintroductoryessay.pdf},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/PadgetP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mallow/2009,
  editor    = {Matteo Baldoni and
               Cristina Baroglio and
               Jamal Bentahar and
               Guido Boella and
               Massimo Cossentino and
               Mehdi Dastani and
               Barbara Dunin{-}Keplicz and
               Giancarlo Fortino and
               Marie Pierre Gleizes and
               Jo{\~{a}}o Leite and
               Viviana Mascardi and
               Julian A. Padget and
               Juan Pav{\'{o}}n and
               Axel Polleres and
               Amal El Fallah{-}Seghrouchni and
               Paolo Torroni and
               Rineke Verbrugge},
  title     = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
               Federated Workshops, Turin, Italy, September 7-10, 2009},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {494},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-494},
  urn       = {urn:nbn:de:0074-494-3},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/El-AkehalP08,
  author    = {Emad Eldeen Elakehal and
               Julian A. Padget},
  title     = {Pan-supplier stock control in a virtual warehouse},
  booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Industry
               and Applications Track Proceedings},
  pages     = {11--18},
  year      = {2008},
  crossref  = {DBLP:conf/atal/2008ind},
  url       = {https://dl.acm.org/citation.cfm?id=1402798},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/El-AkehalP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GradwellOTBP08,
  author    = {Peter Gradwell and
               Michel A. Oey and
               Reinier J. Timmer and
               Frances M. T. Brazier and
               Julian A. Padget},
  title     = {Engineering large-scale distributed auctions},
  booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
               3},
  pages     = {1311--1314},
  year      = {2008},
  crossref  = {DBLP:conf/atal/2008-3},
  url       = {https://dl.acm.org/citation.cfm?id=1402859},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/GradwellOTBP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CliffeVBP08,
  author    = {Owen Cliffe and
               Marina De Vos and
               Martin Brain and
               Julian A. Padget},
  title     = {{ASPVIZ:} Declarative Visualisation and Animation Using Answer Set
               Programming},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {724--728},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2\_65},
  doi       = {10.1007/978-3-540-89982-2\_65},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/CliffeVBP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/ffitchP08,
  author    = {John ffitch and
               Julian Padget},
  title     = {Maintaining and using Provenance Data in Computer Music},
  booktitle = {Proceedings of the 2008 International Computer Music Conference, {ICMC}
               2008, Belfast, Ireland, August 24-29, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/icmc/2008},
  url       = {http://hdl.handle.net/2027/spo.bbp2372.2008.072},
  timestamp = {Wed, 03 Feb 2016 13:44:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/ffitchP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2007coin,
  editor    = {Jaime Sim{\~{a}}o Sichman and
               Julian A. Padget and
               Sascha Ossowski and
               Pablo Noriega},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               III, {COIN} 2007, International Workshops COIN@AAMAS 2007, Honolulu,
               HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4,
               2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4870},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79003-7},
  doi       = {10.1007/978-3-540-79003-7},
  isbn      = {978-3-540-79002-0},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2007coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/GradwellP07,
  author    = {Peter Gradwell and
               Julian A. Padget},
  title     = {A comparison of distributed and centralised agent based bundling systems},
  booktitle = {Proceedings of the 9th International Conference on Electronic Commerce:
               The Wireless World of Electronic Commerce, 2007, University of Minnesota,
               Minneapolis, MN, USA, August 19-22, 2007},
  pages     = {25--34},
  year      = {2007},
  crossref  = {DBLP:conf/ACMicec/2007},
  url       = {https://doi.org/10.1145/1282100.1282108},
  doi       = {10.1145/1282100.1282108},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ACMicec/GradwellP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CliffeVP07,
  author    = {Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {Embedding Landmarks and Scenes in a Computational Model of Institutions},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               III, {COIN} 2007, International Workshops COIN@AAMAS 2007, Honolulu,
               HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4,
               2007, Revised Selected Papers},
  pages     = {41--57},
  year      = {2007},
  crossref  = {DBLP:conf/atal/2007coin},
  url       = {https://doi.org/10.1007/978-3-540-79003-7\_4},
  doi       = {10.1007/978-3-540-79003-7\_4},
  timestamp = {Wed, 14 Nov 2018 10:51:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/CliffeVP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/ChapmanLNPR07,
  author    = {Neil Chapman and
               Simone A. Ludwig and
               William Naylor and
               Julian A. Padget and
               Omer F. Rana},
  title     = {Matchmaking Support for Dynamic Workflow Composition},
  booktitle = {Third International Conference on e-Science and Grid Computing, e-Science
               2007, 10-13 December 2007, Bangalore, India},
  pages     = {371--378},
  year      = {2007},
  crossref  = {DBLP:conf/eScience/2007},
  url       = {https://doi.org/10.1109/E-SCIENCE.2007.48},
  doi       = {10.1109/E-SCIENCE.2007.48},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eScience/ChapmanLNPR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/ffitchMP07,
  author    = {John ffitch and
               James Mitchell and
               Julian Padget},
  title     = {Composition with sound Web Services Andworkflows},
  booktitle = {Proceedings of the 2007 International Computer Music Conference, {ICMC}
               2007, Copenhagen, Denmark, August 27-31, 2007},
  year      = {2007},
  crossref  = {DBLP:conf/icmc/2007},
  url       = {http://hdl.handle.net/2027/spo.bbp2372.2007.091},
  timestamp = {Thu, 04 Feb 2016 16:18:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/ffitchMP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/LudwigRPN06,
  author    = {Simone A. Ludwig and
               Omer F. Rana and
               Julian A. Padget and
               William Naylor},
  title     = {Matchmaking Framework for Mathematical Web Services},
  journal   = {J. Grid Comput.},
  volume    = {4},
  number    = {1},
  pages     = {33--48},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10723-005-9019-z},
  doi       = {10.1007/s10723-005-9019-z},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/grid/LudwigRPN06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/ChevaleyreDELLMPPRS06,
  author    = {Yann Chevaleyre and
               Paul E. Dunne and
               Ulle Endriss and
               J{\'{e}}r{\^{o}}me Lang and
               Michel Lema{\^{\i}}tre and
               Nicolas Maudet and
               Julian A. Padget and
               Steve Phelps and
               Juan A. Rodr{\'{\i}}guez{-}Aguilar and
               Paulo Sousa},
  title     = {Issues in Multiagent Resource Allocation},
  journal   = {Informatica (Slovenia)},
  volume    = {30},
  number    = {1},
  pages     = {3--31},
  year      = {2006},
  url       = {http://www.informatica.si/index.php/informatica/article/view/70},
  timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/informaticaSI/ChevaleyreDELLMPPRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/BoulosCPR06,
  author    = {Maged N. Kamel Boulos and
               Qiang Cai and
               Julian A. Padget and
               Gerard Rushton},
  title     = {Using software agents to preserve individual health data confidentiality
               in micro-scale geographical analyses},
  journal   = {Journal of Biomedical Informatics},
  volume    = {39},
  number    = {2},
  pages     = {160--170},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.jbi.2005.06.003},
  doi       = {10.1016/j.jbi.2005.06.003},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jbi/BoulosCPR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyMPT06,
  author    = {Olivier Danvy and
               Oege de Moor and
               Julian A. Padget and
               Peter Thiemann},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {19},
  number    = {1},
  pages     = {5},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10990-006-8607-3},
  doi       = {10.1007/s10990-006-8607-3},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/DanvyMPT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/LudwigRNP06,
  author    = {Simone A. Ludwig and
               Omer F. Rana and
               William Naylor and
               Julian A. Padget},
  title     = {Mathematical Service Discovery: Architecture, Implementation and Performance},
  journal   = {Scalable Computing: Practice and Experience},
  volume    = {7},
  number    = {2},
  year      = {2006},
  url       = {http://www.scpe.org/index.php/scpe/article/view/364},
  timestamp = {Fri, 02 Mar 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scpe/LudwigRNP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CliffeVP06,
  author    = {Owen Cliffe and
               Marina De Vos and
               Julian Padget},
  title     = {Specifying and Reasoning About Multiple Institutions},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {II} - {AAMAS} 2006 and {ECAI} 2006 International Workshops, {COIN}
               2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28,
               2006. Revised Selected Papers},
  pages     = {67--85},
  year      = {2006},
  crossref  = {DBLP:conf/atal/2006coin},
  url       = {https://doi.org/10.1007/978-3-540-74459-7\_5},
  doi       = {10.1007/978-3-540-74459-7\_5},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/CliffeVP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CliffeVP06,
  author    = {Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {Answer Set Programming for Representing and Reasoning About Virtual
               Institutions},
  booktitle = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
               {CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
               Invited Papers},
  pages     = {60--79},
  year      = {2006},
  crossref  = {DBLP:conf/clima/2006},
  url       = {https://doi.org/10.1007/978-3-540-69619-3\_4},
  doi       = {10.1007/978-3-540-69619-3\_4},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clima/CliffeVP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-5/PadgetR06,
  author    = {Julian Padget and
               Omer F. Rana},
  title     = {Mathematical Service Discovery},
  booktitle = {Grid-Based Problem Solving Environments - {IFIP} {TC2/} {WG} 2.5 Working
               Conference on Grid-Based Problem Solving Environments: Implications
               for Development and Deployment of Numerical Software July 17-21, 2006,
               Prescott, Arizona, {USA}},
  pages     = {351--368},
  year      = {2006},
  crossref  = {DBLP:conf/ifip2-5/2006},
  url       = {https://doi.org/10.1007/978-0-387-73659-4\_20},
  doi       = {10.1007/978-0-387-73659-4\_20},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2-5/PadgetR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/NaylorP06,
  author    = {William Naylor and
               Julian A. Padget},
  title     = {From Untyped to Polymorphically Typed Objects in Mathematical Web
               Services},
  booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  pages     = {222--236},
  year      = {2006},
  crossref  = {DBLP:conf/mkm/2006},
  url       = {https://doi.org/10.1007/11812289\_18},
  doi       = {10.1007/11812289\_18},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/NaylorP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2005w,
  editor    = {Olivier Boissier and
               Julian A. Padget and
               Virginia Dignum and
               Gabriela Lindemann and
               Eric T. Matson and
               Sascha Ossowski and
               Jaime Sim{\~{a}}o Sichman and
               Javier V{\'{a}}zquez{-}Salceda},
  title     = {Coordination, Organizations, Institutions, and Norms in Multi-Agent
               Systems, {AAMAS} 2005 International Workshops on Agents, Norms and
               Institutions for Regulated Multi-Agent Systems, {ANIREM} 2005, and
               Organizations in Multi-Agent Systems, {OOOP} 2005, Utrecht, The Netherlands,
               July 25-26, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3913},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11775331},
  doi       = {10.1007/11775331},
  isbn      = {3-540-35173-6},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2005w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eumas/2006,
  editor    = {Barbara Dunin{-}Keplicz and
               Andrea Omicini and
               Julian A. Padget},
  title     = {Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06,
               Lisbon, Portugal, December 14-15, 2006},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {223},
  publisher = {CEUR-WS.org},
  year      = {2006},
  url       = {http://ceur-ws.org/Vol-223},
  urn       = {urn:nbn:de:0074-223-5},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/Padget05,
  author    = {Julian A. Padget},
  title     = {E-Government and E-Democracy in Latin America},
  journal   = {{IEEE} Intelligent Systems},
  volume    = {20},
  number    = {1},
  pages     = {94--96},
  year      = {2005},
  url       = {https://doi.org/10.1109/MIS.2005.5},
  doi       = {10.1109/MIS.2005.5},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/expert/Padget05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/GradwellP05,
  author    = {Peter Gradwell and
               Julian A. Padget},
  title     = {Markets vs auctions: Approaches to distributed combinatorial resource
               scheduling},
  journal   = {Multiagent and Grid Systems},
  volume    = {1},
  number    = {4},
  pages     = {251--262},
  year      = {2005},
  url       = {http://content.iospress.com/articles/multiagent-and-grid-systems/mgs00023},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mags/GradwellP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/LamP05,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {An integrated environment for communicating {UML} statechart diagrams},
  booktitle = {2005 {ACS} / {IEEE} International Conference on Computer Systems and
               Applications {(AICCSA} 2005), January 3-6, 2005, Cairo, Egypt},
  pages     = {111},
  year      = {2005},
  crossref  = {DBLP:conf/aiccsa/2005},
  url       = {https://doi.org/10.1109/AICCSA.2005.1387100},
  doi       = {10.1109/AICCSA.2005.1387100},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/LamP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CliffeVP05,
  author    = {Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {Specifying and Analysing Agent-Based Social Institutions Using Answer
               Set Programming},
  booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent
               Systems, {AAMAS} 2005 International Workshops on Agents, Norms and
               Institutions for Regulated Multi-Agent Systems, {ANIREM} 2005, and
               Organizations in Multi-Agent Systems, {OOOP} 2005, Utrecht, The Netherlands,
               July 25-26, 2005, Revised Selected Papers},
  pages     = {99--113},
  year      = {2005},
  crossref  = {DBLP:conf/atal/2005w},
  url       = {https://doi.org/10.1007/11775331\_7},
  doi       = {10.1007/11775331\_7},
  timestamp = {Thu, 01 Jun 2017 18:59:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/CliffeVP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LudwigRNP05,
  author    = {Simone A. Ludwig and
               Omer F. Rana and
               William Naylor and
               Julian A. Padget},
  title     = {Mathematical matchmaker for numeric and symbolic services},
  booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  pages     = {133--134},
  year      = {2005},
  crossref  = {DBLP:conf/atal/2005},
  url       = {https://doi.org/10.1145/1082473.1082819},
  doi       = {10.1145/1082473.1082819},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LudwigRNP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LudwigRNP05a,
  author    = {Simone A. Ludwig and
               Omer F. Rana and
               William Naylor and
               Julian A. Padget},
  title     = {Agent-based matchmaking of mathematical web services},
  booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  pages     = {1277--1278},
  year      = {2005},
  crossref  = {DBLP:conf/atal/2005},
  url       = {https://doi.org/10.1145/1082473.1082731},
  doi       = {10.1145/1082473.1082731},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LudwigRNP05a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/VosCPBCN05,
  author    = {Marina De Vos and
               Tom Crick and
               Julian A. Padget and
               Martin Brain and
               Owen Cliffe and
               Jonathan Needham},
  title     = {{LAIMA:} {A} Multi-agent Platform Using Ordered Choice Logic Programming},
  booktitle = {Declarative Agent Languages and Technologies III, Third International
               Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
               and Revised Papers},
  pages     = {72--88},
  year      = {2005},
  crossref  = {DBLP:conf/dalt/2005},
  url       = {https://doi.org/10.1007/11691792\_5},
  doi       = {10.1007/11691792\_5},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/VosCPBCN05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LamP05,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Consistency Checking of Statechart Diagrams of a Class Hierarchy},
  booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
               Glasgow, UK, July 25-29, 2005, Proceedings},
  pages     = {412--427},
  year      = {2005},
  crossref  = {DBLP:conf/ecoop/2005},
  url       = {https://doi.org/10.1007/11531142\_18},
  doi       = {10.1007/11531142\_18},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/LamP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/VosCWCPN05,
  author    = {Marina De Vos and
               Owen Cliffe and
               Richard Watson and
               Tom Crick and
               Julian A. Padget and
               Jonathan Needham},
  title     = {{T-LAIMA:} Answer Set Programming for Modelling Agents with Trust},
  booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
               Systems, Brussels, Belgium, December 7-8, 2005},
  pages     = {126--136},
  year      = {2005},
  crossref  = {DBLP:conf/eumas/2005},
  timestamp = {Fri, 16 Dec 2005 09:58:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/VosCWCPN05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/CliffeVP05,
  author    = {Owen Cliffe and
               Marina De Vos and
               Julian A. Padget},
  title     = {Specifying and Analysing Agent-based Social Institutions using Answer
               Set Programming},
  booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
               Systems, Brussels, Belgium, December 7-8, 2005},
  pages     = {476--477},
  year      = {2005},
  crossref  = {DBLP:conf/eumas/2005},
  timestamp = {Fri, 16 Dec 2005 09:58:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/CliffeVP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/GradwellP05,
  author    = {Peter Gradwell and
               Julian A. Padget},
  title     = {Markets vs Auctions: Approaches to Distributed},
  booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
               Systems, Brussels, Belgium, December 7-8, 2005},
  pages     = {487--488},
  year      = {2005},
  crossref  = {DBLP:conf/eumas/2005},
  timestamp = {Fri, 16 Dec 2005 09:58:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/GradwellP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/LombardoANVVFDP05,
  author    = {Vincenzo Lombardo and
               Andrea Arghinenti and
               Fabrizio Nunnari and
               Andrea Valle and
               Heinrich H. Vogel and
               John P. Fitch and
               Richard W. Dobson and
               Julian Padget and
               Kees Tazelaar and
               Stefan Weinzierl and
               Sebastian Benser and
               Stefan Kersten and
               Roman Starosolski and
               Wojciech Borczyk and
               Wojciech Pytlik and
               Slawomir Niedbala},
  title     = {The Virtual Electronic {POEM} {(VEP)} Project},
  booktitle = {Proceedings of the 2005 International Computer Music Conference, {ICMC}
               2005, Barcelona, Spain, September 4-10, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/icmc/2005},
  url       = {http://hdl.handle.net/2027/spo.bbp2372.2005.153},
  timestamp = {Thu, 18 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/LombardoANVVFDP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LamP05,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Consistency Checking of Sequence Diagrams and Statechart Diagrams
               Using the pi-Calculus},
  booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
               Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  pages     = {347--365},
  year      = {2005},
  crossref  = {DBLP:conf/ifm/2005},
  url       = {https://doi.org/10.1007/11589976\_20},
  doi       = {10.1007/11589976\_20},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/LamP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/NaylorP05,
  author    = {William Naylor and
               Julian A. Padget},
  title     = {Semantic Matching for Mathematical Services},
  booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
               2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  pages     = {174--189},
  year      = {2005},
  crossref  = {DBLP:conf/mkm/2005},
  url       = {https://doi.org/10.1007/11618027\_12},
  doi       = {10.1007/11618027\_12},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/NaylorP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/LudwigNRP05,
  author    = {Simone A. Ludwig and
               William Naylor and
               Omer F. Rana and
               Julian A. Padget},
  title     = {Matchmaking of Mathematical Web Services},
  booktitle = {Parallel Processing and Applied Mathematics, 6th International Conference,
               {PPAM} 2005, Poznan, Poland, September 11-14, 2005, Revised Selected
               Papers},
  pages     = {809--816},
  year      = {2005},
  crossref  = {DBLP:conf/ppam/2005},
  url       = {https://doi.org/10.1007/11752578\_97},
  doi       = {10.1007/11752578\_97},
  timestamp = {Mon, 21 Aug 2017 16:43:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppam/LudwigNRP05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LamP04,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Symbolic Model Checking of {UML} Statechart Diagrams with an Integrated
               Approach},
  booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
               Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages     = {337--347},
  year      = {2004},
  crossref  = {DBLP:conf/ecbs/2004},
  url       = {https://doi.org/10.1109/ECBS.2004.1316717},
  doi       = {10.1109/ECBS.2004.1316717},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/LamP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/CaprottiDDP04,
  author    = {Olga Caprotti and
               James H. Davenport and
               Mike Dewar and
               Julian A. Padget},
  title     = {Mathematics on the (Semantic) {NET}},
  booktitle = {The Semantic Web: Research and Applications, First European Semantic
               Web Symposium, {ESWS} 2004, Heraklion, Crete, Greece, May 10-12, 2004,
               Proceedings},
  pages     = {213--224},
  year      = {2004},
  crossref  = {DBLP:conf/esws/2004},
  url       = {https://doi.org/10.1007/978-3-540-25956-5\_15},
  doi       = {10.1007/978-3-540-25956-5\_15},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esws/CaprottiDDP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KalyanpurPBP04,
  author    = {Aditya Kalyanpur and
               Daniel Jim{\'{e}}nez Pastor and
               Steve Battle and
               Julian A. Padget},
  title     = {Automatic Mapping of {OWL} Ontologies into Java},
  booktitle = {Proceedings of the Sixteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2004), Banff, Alberta,
               Canada, June 20-24, 2004},
  pages     = {98--103},
  year      = {2004},
  crossref  = {DBLP:conf/seke/2004},
  timestamp = {Tue, 09 Oct 2018 17:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/seke/KalyanpurPBP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/LamP04,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Formal Specification and Verification of the {SET/A} Protocol with
               an Integrated Approach},
  booktitle = {2004 {IEEE} International Conference on E-Commerce Technology {(CEC}
               2004), 6-9 July 2004, San Diego, CA, {USA}},
  pages     = {229--235},
  year      = {2004},
  crossref  = {DBLP:conf/wecwis/2004},
  url       = {https://doi.org/10.1109/ICECT.2004.1319738},
  doi       = {10.1109/ICECT.2004.1319738},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wecwis/LamP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wedelmusic/FitchP04,
  author    = {John ffitch and
               Julian A. Padget},
  title     = {Ride a Cock-Horse ...},
  booktitle = {4th International Conference on {WEB} Delivering of Music {(WEDELMUSIC}
               2004), 13-15 September 2004, Barcelona, Spain},
  pages     = {136--143},
  year      = {2004},
  crossref  = {DBLP:conf/wedelmusic/2004},
  url       = {https://doi.org/10.1109/WDM.2004.1358110},
  doi       = {10.1109/WDM.2004.1358110},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wedelmusic/FitchP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Vazquez-SalcedaCPLC03,
  author    = {Javier V{\'{a}}zquez{-}Salceda and
               Ulises Cort{\'{e}}s and
               Julian A. Padget and
               Antonio L{\'{o}}pez{-}Navidad and
               Francisco Caballero},
  title     = {The organ allocation process: a natural extension of the Carrel Agent-Mediated
               Electronic Institution},
  journal   = {{AI} Commun.},
  volume    = {16},
  number    = {3},
  pages     = {153--165},
  year      = {2003},
  url       = {http://content.iospress.com/articles/ai-communications/aic285},
  timestamp = {Fri, 15 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/Vazquez-SalcedaCPLC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/Vazquez-SalcedaPCLC03,
  author    = {Javier V{\'{a}}zquez{-}Salceda and
               Julian A. Padget and
               Ulises Cort{\'{e}}s and
               Antonio L{\'{o}}pez{-}Navidad and
               Francisco Caballero},
  title     = {Formalizing an electronic institution for the distribution of human
               tissues},
  journal   = {Artificial Intelligence in Medicine},
  volume    = {27},
  number    = {3},
  pages     = {233--258},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0933-3657(03)00005-8},
  doi       = {10.1016/S0933-3657(03)00005-8},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/artmed/Vazquez-SalcedaPCLC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/AirdMP03,
  author    = {Marc{-}Laurent Aird and
               Walter Barbera{-}Medina and
               Julian Padget},
  title     = {{MONET:} service discovery and composition for mathematical problems},
  booktitle = {3rd {IEEE} International Symposium on Cluster Computing and the Grid
               (CCGrid 2003), 12-15 May 2003, Tokyo, Japan},
  pages     = {678--685},
  year      = {2003},
  crossref  = {DBLP:conf/ccgrid/2003},
  url       = {https://doi.org/10.1109/CCGRID.2003.1199433},
  doi       = {10.1109/CCGRID.2003.1199433},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccgrid/AirdMP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oas/PastorP03,
  author    = {Daniel Jim{\'{e}}nez Pastor and
               Julian A. Padget},
  title     = {Towards {HARMONIA:} automatic generation of e-organisations from institution
               specifications},
  booktitle = {Ontologies in Agent Systems 2003, Proceedings of the Workshop on Ontologies
               in Agent Systems {(OAS} 2003) at the 2nd International Joint Conference
               on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia,
               July 15, 2003},
  pages     = {31--38},
  year      = {2003},
  crossref  = {DBLP:conf/oas/2003},
  url       = {http://ceur-ws.org/Vol-73/oas03-jimenez.pdf},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oas/PastorP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/LamP03,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {On Execution Semantics of {UML} Statechart Diagrams Using the pi-Calculus},
  booktitle = {Proceedings of the International Conference on Software Engineering
               Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
               Nevada, USA, Volume 2},
  pages     = {877--882},
  year      = {2003},
  crossref  = {DBLP:conf/serp/2003-2},
  timestamp = {Tue, 14 Oct 2003 13:56:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serp/LamP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/LamP03,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Analyzing equivalences of {UML} statechart diagrams by structural
               congruence and open bisimulations},
  booktitle = {2003 {IEEE} Symposium on Human Centric Computing Languages and Environments
               {(HCC} 2003), 28-31 October 2003, Auckland, New Zealand},
  pages     = {137--144},
  year      = {2003},
  crossref  = {DBLP:conf/vl/2003},
  url       = {https://doi.org/10.1109/HCC.2003.1260217},
  doi       = {10.1109/HCC.2003.1260217},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/LamP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amec/VickersP02,
  author    = {Oliver Vickers and
               Julian A. Padget},
  title     = {Skeletal Jade Components for the Construction of Institutions},
  booktitle = {Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems,
               {AAMAS} 2002 Workshop on Agent Mediated Electronic Commerce, Bologna,
               Italy, July 16, 2002, Revised Papers},
  pages     = {307--324},
  year      = {2002},
  crossref  = {DBLP:conf/amec/2002},
  url       = {https://doi.org/10.1007/3-540-36378-5\_19},
  doi       = {10.1007/3-540-36378-5\_19},
  timestamp = {Fri, 02 Nov 2018 09:40:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amec/VickersP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/Vazquez-SalcedaCP02,
  author    = {Javier V{\'{a}}zquez{-}Salceda and
               Ulises Cort{\'{e}}s and
               Julian A. Padget},
  title     = {Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated
               Electronic Institution},
  booktitle = {Topics in Artificial Intelligence, 5th Catalonian Conference on AI,
               {CCIA} 2002, Castell{\'{o}}n, Spain, October 24-25, 2002, Proceedings},
  pages     = {309--321},
  year      = {2002},
  crossref  = {DBLP:conf/ccia/2002},
  url       = {https://doi.org/10.1007/3-540-36079-4\_27},
  doi       = {10.1007/3-540-36079-4\_27},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/Vazquez-SalcedaCP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/ffitchP02,
  author    = {John ffitch and
               Julian Padget},
  title     = {Learning to Play and Perform on Synthetic Instruments},
  booktitle = {Proceedings of the 2002 International Computer Music Conference, {ICMC}
               2002, Gothenburg, Sweden, September 16-21, 2002},
  year      = {2002},
  crossref  = {DBLP:conf/icmc/2002},
  url       = {http://hdl.handle.net/2027/spo.bbp2372.2002.088},
  timestamp = {Tue, 16 Feb 2016 14:03:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/ffitchP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amec/2002,
  editor    = {Julian A. Padget and
               Onn Shehory and
               David C. Parkes and
               Norman M. Sadeh and
               William E. Walsh},
  title     = {Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems,
               {AAMAS} 2002 Workshop on Agent Mediated Electronic Commerce, Bologna,
               Italy, July 16, 2002, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2531},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36378-5},
  doi       = {10.1007/3-540-36378-5},
  isbn      = {3-540-00327-4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amec/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LamP01,
  author    = {Vitus S. W. Lam and
               Julian A. Padget},
  title     = {Formalization of {UML} Statechart Diagrams in the p-Calculus},
  booktitle = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
               August 2001, Canberra, Australia},
  pages     = {213--223},
  year      = {2001},
  crossref  = {DBLP:conf/aswec/2001},
  url       = {https://doi.org/10.1109/ASWEC.2001.948515},
  doi       = {10.1109/ASWEC.2001.948515},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/LamP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EstevaPS01,
  author    = {Marc Esteva and
               Julian A. Padget and
               Carles Sierra},
  title     = {Formalizing a Language for Institutions and Norms},
  booktitle = {Intelligent Agents VIII, 8th International Workshop, {ATAL} 2001 Seattle,
               WA, USA, August 1-3, 2001, Revised Papers},
  pages     = {348--366},
  year      = {2001},
  crossref  = {DBLP:conf/atal/2001},
  url       = {https://doi.org/10.1007/3-540-45448-9\_26},
  doi       = {10.1007/3-540-45448-9\_26},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/EstevaPS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/collaboration/KindP99,
  author    = {Andreas Kind and
               Julian A. Padget},
  title     = {Towards Meta-Agent Protocols},
  booktitle = {Collaboration between Human and Artificial Societies, Coordination
               and Agent-Based Distributed Computing},
  pages     = {30--42},
  year      = {1999},
  crossref  = {DBLP:conf/collaboration/1999},
  url       = {https://doi.org/10.1007/10703260\_2},
  doi       = {10.1007/10703260\_2},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/collaboration/KindP99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EstevaP99,
  author    = {Marc Esteva and
               Julian A. Padget},
  title     = {Auctions without Auctioneers: Distributed Auction Protocols},
  booktitle = {Agent Mediated Electronic Commerce II, Towards Next-Generation Agent-Based
               Electronic Commerce Systems, {IJCAI} 1999 Workshop},
  pages     = {220--238},
  year      = {1999},
  crossref  = {DBLP:conf/amec/1999},
  url       = {https://doi.org/10.1007/10720026\_12},
  doi       = {10.1007/10720026\_12},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/EstevaP99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/collaboration/1999,
  editor    = {Julian A. Padget},
  title     = {Collaboration between Human and Artificial Societies, Coordination
               and Agent-Based Distributed Computing},
  series    = {Lecture Notes in Computer Science},
  volume    = {1624},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/10703260},
  doi       = {10.1007/10703260},
  isbn      = {3-540-66930-2},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/collaboration/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amet/PadgetB98,
  author    = {Julian A. Padget and
               Russell J. Bradford},
  title     = {A pi-calculus Model of a Spanish Fish Market - Preliminary Report},
  booktitle = {Agent Mediated Electronic Commerce, First International Workshop on
               Agent Mediated Electronic Trading, AMET-98, Minneapolis, MN, USA,
               May 10th, 1998, Selected Papers},
  pages     = {166--188},
  year      = {1998},
  crossref  = {DBLP:conf/amet/1998},
  url       = {https://doi.org/10.1007/3-540-48835-9\_10},
  doi       = {10.1007/3-540-48835-9\_10},
  timestamp = {Thu, 01 Jun 2017 18:58:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amet/PadgetB98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/KindP98,
  author    = {Andreas Kind and
               Julian A. Padget},
  title     = {Multi-lingual threading},
  booktitle = {{PDP}},
  pages     = {431--437},
  year      = {1998},
  url       = {https://doi.org/10.1109/EMPDP.1998.647230},
  doi       = {10.1109/EMPDP.1998.647230},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdp/KindP98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BateyP95,
  author    = {Duncan J. Batey and
               Julian A. Padget},
  title     = {Coordinating heterogeneous parallelism},
  booktitle = {3rd Euromicro Workshop on Parallel and Distributed Processing {(PDP}
               '95), January 25-27, 1995, San Remo, Italy},
  pages     = {339--347},
  year      = {1995},
  crossref  = {DBLP:conf/pdp/1995},
  url       = {https://doi.org/10.1109/EMPDP.1995.389189},
  doi       = {10.1109/EMPDP.1995.389189},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdp/BateyP95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psls/Padget95,
  author    = {Julian A. Padget},
  title     = {Foundations for a Virtual Multicomputer - Progress Report},
  booktitle = {Parallel Symbolic Languages and Systems, International Workshop PSLS'95,
               Beaune, France, October 2-4, 1995, Proceedings},
  pages     = {336--343},
  year      = {1995},
  crossref  = {DBLP:conf/psls/1995},
  url       = {https://doi.org/10.1007/BFb0023072},
  doi       = {10.1007/BFb0023072},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psls/Padget95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BerringtonRP93,
  author    = {Neil Berrington and
               David De Roure and
               Julian A. Padget},
  title     = {Guaranteeing Unpredictability},
  journal   = {Comput. J.},
  volume    = {36},
  number    = {8},
  pages     = {723--733},
  year      = {1993},
  url       = {https://doi.org/10.1093/comjnl/36.8.723},
  doi       = {10.1093/comjnl/36.8.723},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/BerringtonRP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/PadgetNB93,
  author    = {Julian A. Padget and
               Greg Nuyens and
               Harry Bretthauer},
  title     = {An Overview of {EULISP}},
  journal   = {Lisp and Symbolic Computation},
  volume    = {6},
  number    = {1-2},
  pages     = {9--98},
  year      = {1993},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/PadgetNB93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BerringtonBRP93,
  author    = {Neil Berrington and
               Peter A. Broadbery and
               David De Roure and
               Julian A. Padget},
  title     = {{EULISP} Threads: {A} Concurrency Toolbox},
  journal   = {Lisp and Symbolic Computation},
  volume    = {6},
  number    = {1-2},
  pages     = {177--200},
  year      = {1993},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/BerringtonBRP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MerrallP93,
  author    = {Simon C. Merrall and
               Julian A. Padget},
  title     = {Plurals: {A} {SIMD} Extension to EuLisp},
  journal   = {Lisp and Symbolic Computation},
  volume    = {6},
  number    = {1-2},
  pages     = {201--220},
  year      = {1993},
  timestamp = {Thu, 26 Jun 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/MerrallP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OdehP93,
  author    = {Mohammed Hosni Odeh and
               Julian A. Padget},
  title     = {Object-Oriented Execution of {OPS5} Production Systems},
  booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
               Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA,
               September 26 - October 1, 1993, Proceedings.},
  pages     = {178--190},
  year      = {1993},
  crossref  = {DBLP:conf/oopsla/1993},
  url       = {https://doi.org/10.1145/165854.165886},
  doi       = {10.1145/165854.165886},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/OdehP93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/MerrallP92,
  author    = {Simon C. Merrall and
               Julian A. Padget},
  title     = {Collections and Garbage Collection},
  booktitle = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
               September 17-19, 1992, Proceedings},
  pages     = {473--489},
  year      = {1992},
  crossref  = {DBLP:conf/iwmm/1992},
  url       = {https://doi.org/10.1007/BFb0017208},
  doi       = {10.1007/BFb0017208},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/MerrallP92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psc/PadgetBM92,
  author    = {Julian A. Padget and
               Duncan J. Batey and
               Simon C. Merrall},
  title     = {Architecture Independence and Coordination},
  booktitle = {Parallel Symbolic Computing: Languages, Systems, and Applications,
               US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
  pages     = {287--299},
  year      = {1992},
  crossref  = {DBLP:conf/psc/1992},
  url       = {https://doi.org/10.1007/BFb0018658},
  doi       = {10.1007/BFb0018658},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psc/PadgetBM92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psc/ItoNPSY92,
  author    = {Takayasu Ito and
               Rishiyur S. Nikhil and
               Julian A. Padget and
               Norihisa Suzuki and
               Taiichi Yuasa},
  title     = {Massively Parallel Architectures and Symbolic Computation (panel)},
  booktitle = {Parallel Symbolic Computing: Languages, Systems, and Applications,
               US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
  pages     = {408--416},
  year      = {1992},
  crossref  = {DBLP:conf/psc/1992},
  url       = {https://doi.org/10.1007/BFb0018668},
  doi       = {10.1007/BFb0018668},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psc/ItoNPSY92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/PadgetBF91,
  author    = {Julian A. Padget and
               Russell J. Bradford and
               John P. Fitch},
  title     = {Concurrent Object-Oriented Programming in Lisp},
  journal   = {Comput. J.},
  volume    = {34},
  number    = {4},
  pages     = {311--319},
  year      = {1991},
  url       = {https://doi.org/10.1093/comjnl/34.4.311},
  doi       = {10.1093/comjnl/34.4.311},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/PadgetBF91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlppp/PadgetBH91,
  author    = {Julian A. Padget and
               Peter A. Broadbery and
               David Hutchinson},
  title     = {Mixing Concurrency Abstractions and Classes},
  booktitle = {Research Directions in High-Level Parallel Programming Languages,
               Mont Saint-Michel, France, June 17-19, 1991, Procedings},
  pages     = {174--186},
  year      = {1991},
  crossref  = {DBLP:conf/hlppp/1991},
  url       = {https://doi.org/10.1007/3-540-55160-3\_42},
  doi       = {10.1007/3-540-55160-3\_42},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hlppp/PadgetBH91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/QueinnecP91,
  author    = {Christian Queinnec and
               Julian A. Padget},
  title     = {A Proposal for a Modular Lisp with Macros and Dynamic Evaluation},
  booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
               de Recherche en Informatique (LaBRI), Proceedings},
  pages     = {1--8},
  year      = {1991},
  crossref  = {DBLP:conf/sas/1991},
  timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/QueinnecP91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PadgetB90,
  author    = {Julian A. Padget and
               A. Barnes},
  title     = {Univariate Power Series Expansions in {REDUCE}},
  booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
  pages     = {82--87},
  year      = {1990},
  crossref  = {DBLP:conf/issac/1990},
  url       = {https://doi.org/10.1145/96877.96899},
  doi       = {10.1145/96877.96899},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/PadgetB90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ima-ms/WallisBDMP88,
  author    = {Andrew F. Wallis and
               Adrian Bowyer and
               James H. Davenport and
               Philip S. Milne and
               Julian A. Padget},
  title     = {The Use of Symbolic Computation in Geometric Modelling},
  booktitle = {Proceedings of the 3rd {IMA} Conference on the Mathematics of Surfaces,
               Keble College, Oxford, UK, September 19-21, 1988},
  pages     = {199--206},
  year      = {1988},
  crossref  = {DBLP:conf/ima-ms/1988},
  timestamp = {Wed, 20 Jun 2018 17:52:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ima-ms/WallisBDMP88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BowyerDMPW87,
  author    = {Adrian Bowyer and
               James H. Davenport and
               Philip S. Milne and
               Julian A. Padget and
               Andrew F. Wallis},
  title     = {Applications of computer algebra in solid modelling},
  booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
               June 2-5, 1987, Proceedings},
  pages     = {244--245},
  year      = {1987},
  crossref  = {DBLP:conf/eurocal/1987},
  url       = {https://doi.org/10.1007/3-540-51517-8\_122},
  doi       = {10.1007/3-540-51517-8\_122},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/BowyerDMPW87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordHPS86,
  author    = {Russell J. Bradford and
               Anthony C. Hearn and
               Julian A. Padget and
               Eberhard Schr{\"{u}}fer},
  title     = {Enlarging the {REDUCE} domain of computation},
  booktitle = {{SYMSAC} 1986, Proceedings of the Symposium on Symbolic and Algebraic
               Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986},
  pages     = {100--106},
  year      = {1986},
  crossref  = {DBLP:conf/issac/1986},
  url       = {https://doi.org/10.1145/32439.32460},
  doi       = {10.1145/32439.32460},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/BradfordHPS86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/AlbergaBMDP86,
  author    = {Cyril N. Alberga and
               Chris Bosman{-}Clark and
               Martin Mikelsons and
               Mary S. Van Deusen and
               Julian A. Padget},
  title     = {Experience with an Uncommon {LISP}},
  booktitle = {{LISP} and Functional Programming},
  pages     = {39--53},
  year      = {1986},
  timestamp = {Mon, 16 Dec 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/AlbergaBMDP86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Padgeta86,
  author    = {Julian A. Padget},
  title     = {Desiderata for the Standardization of {LISP}},
  booktitle = {{LISP} and Functional Programming},
  pages     = {54--66},
  year      = {1986},
  timestamp = {Fri, 27 Oct 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/Padgeta86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/DavenportP85,
  author    = {James H. Davenport and
               Julian A. Padget},
  title     = {{HEUGCD:} How Elementary Upperbounds Generated Cheaper Data},
  booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
               April 1-3, 1985, Proceedings Volume 2: Research Contributions},
  pages     = {18--28},
  year      = {1985},
  crossref  = {DBLP:conf/eurocal/1985-2},
  url       = {https://doi.org/10.1007/3-540-15984-3\_231},
  doi       = {10.1007/3-540-15984-3\_231},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/DavenportP85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Padget85,
  author    = {Julian A. Padget},
  title     = {Current Developments in {LISP}},
  booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
               April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  pages     = {45--57},
  year      = {1985},
  crossref  = {DBLP:conf/eurocal/1985-1},
  url       = {https://doi.org/10.1007/3-540-15983-5\_4},
  doi       = {10.1007/3-540-15983-5\_4},
  timestamp = {Fri, 19 May 2017 12:26:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/Padget85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PadgetF85,
  author    = {Julian A. Padget and
               John P. Fitch},
  title     = {Closurize and Concentrate},
  booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
               of Programming Languages, New Orleans, Louisiana, USA, January 1985},
  pages     = {255--265},
  year      = {1985},
  crossref  = {DBLP:conf/popl/1985},
  url       = {https://doi.org/10.1145/318593.318656},
  doi       = {10.1145/318593.318656},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/PadgetF85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Padget84,
  author    = {Julian A. Padget},
  title     = {The preservation of the environment},
  school    = {University of Bath, Somerset, {UK}},
  year      = {1984},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.349569},
  timestamp = {Mon, 10 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ethos/Padget84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/FitchP84,
  author    = {John P. Fitch and
               Julian A. Padget},
  title     = {A Pure and Really Simple Initial Functional Algebraic Language},
  booktitle = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
               Cambridge, England, UK, July 9-11, 1984, Proceedings},
  number    = {Computation},
  pages     = {148--158},
  year      = {1984},
  crossref  = {DBLP:conf/eurosam/1984},
  url       = {https://doi.org/10.1007/BFb0032838},
  doi       = {10.1007/BFb0032838},
  timestamp = {Tue, 19 Jun 2018 19:28:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurosam/FitchP84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Padget83,
  author    = {Julian A. Padget},
  title     = {The ecology of {LISP} or the case for the preservation of the environment},
  booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
               London, England, March 28-30, 1983, Proceedings},
  pages     = {91--100},
  year      = {1983},
  crossref  = {DBLP:conf/eurocal/1983},
  url       = {https://doi.org/10.1007/3-540-12868-9\_94},
  doi       = {10.1007/3-540-12868-9\_94},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/Padget83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Padget82,
  author    = {Julian A. Padget},
  title     = {Escaping from Intermediate Expression Swell: {A} Continuing Saga},
  booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
               Marseille, France, 5-7 April, 1982, Proceedings},
  pages     = {256--262},
  year      = {1982},
  crossref  = {DBLP:conf/eurocal/1982},
  url       = {https://doi.org/10.1007/3-540-11607-9\_30},
  doi       = {10.1007/3-540-11607-9\_30},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/Padget82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdg/2018,
  editor    = {Steve Dahlskog and
               Sebastian Deterding and
               Jos{\'{e}} M. Font and
               Mitu Khandaker and
               Carl Magnus Olsson and
               Sebastian Risi and
               Christoph Salge},
  title     = {Proceedings of the 13th International Conference on the Foundations
               of Digital Games, {FDG} 2018, Malm{\"{o}}, Sweden, August 07-10,
               2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3235765},
  timestamp = {Wed, 17 Oct 2018 12:42:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdg/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2018,
  editor    = {J{\'{e}}r{\^{o}}me Lang},
  title     = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden},
  publisher = {ijcai.org},
  year      = {2018},
  url       = {http://www.ijcai.org/proceedings/2018/},
  isbn      = {978-0-9992411-2-7},
  timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smc/2018,
  title     = {{IEEE} International Conference on Systems, Man, and Cybernetics,
               {SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8615119},
  isbn      = {978-1-5386-6650-0},
  timestamp = {Thu, 24 Jan 2019 11:00:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/smc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2017v,
  editor    = {Gita Sukthankar and
               Juan A. Rodr{\'{\i}}guez{-}Aguilar},
  title     = {Autonomous Agents and Multiagent Systems - {AAMAS} 2017 Workshops,
               Visionary Papers, S{\~{a}}o Paulo, Brazil, May 8-12, 2017, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10643},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71679-4},
  doi       = {10.1007/978-3-319-71679-4},
  isbn      = {978-3-319-71678-7},
  timestamp = {Tue, 17 Jul 2018 07:47:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2017v},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jurix/2016,
  editor    = {Floris Bex and
               Serena Villata},
  title     = {Legal Knowledge and Information Systems - {JURIX} 2016: The Twenty-Ninth
               Annual Conference},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {294},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-725-2},
  timestamp = {Mon, 28 Nov 2016 13:57:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stairs/2016,
  editor    = {David Pearce and
               Helena Sofia Pinto},
  title     = {{STAIRS} 2016 - Proceedings of the Eighth European Starting {AI} Researcher
               Symposium, The Hague, The Netherlands, August 29-30, 2016},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {284},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-681-1},
  timestamp = {Tue, 30 Aug 2016 11:24:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stairs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ant/2015,
  editor    = {Elhadi M. Shakshuki},
  title     = {Proceedings of the 6th International Conference on Ambient Systems,
               Networks and Technologies {(ANT} 2015), the 5th International Conference
               on Sustainable Energy Information Technology (SEIT-2015), London,
               UK, June 2-5, 2015},
  series    = {Procedia Computer Science},
  volume    = {52},
  publisher = {Elsevier},
  year      = {2015},
  url       = {http://www.sciencedirect.com/science/journal/18770509/52},
  timestamp = {Thu, 10 Sep 2015 11:26:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ant/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2015coin,
  editor    = {Virginia Dignum and
               Pablo Noriega and
               Murat Sensoy and
               Jaime Sim{\~{a}}o Sichman},
  title     = {Coordination, Organizations, Institutions, and Normes in Agent Systems
               {XI} - {COIN} 2015 International Workshops, COIN@AAMAS, Istanbul,
               Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26,
               2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9628},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42691-4},
  doi       = {10.1007/978-3-319-42691-4},
  isbn      = {978-3-319-42690-7},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2015coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2015,
  editor    = {Gerhard Weiss and
               Pinar Yolum and
               Rafael H. Bordini and
               Edith Elkind},
  title     = {Proceedings of the 2015 International Conference on Autonomous Agents
               and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2772879},
  isbn      = {978-1-4503-3413-6},
  timestamp = {Fri, 15 May 2015 16:18:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmn/2015,
  editor    = {Mark A. Finlayson and
               Ben Miller and
               Antonio Lieto and
               R{\'{e}}mi Ronfard},
  title     = {6th Workshop on Computational Models of Narrative, {CMN} 2015, May
               26-28, 2015, Atlanta, GA, {USA}},
  series    = {{OASICS}},
  volume    = {45},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-93-4},
  isbn      = {978-3-939897-93-4},
  timestamp = {Wed, 19 Aug 2015 14:32:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmn/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdg/2015,
  editor    = {Jos{\'{e}} Pablo Zagal and
               Esther MacCallum{-}Stewart and
               Julian Togelius},
  title     = {Proceedings of the 10th International Conference on the Foundations
               of Digital Games, {FDG} 2015, Pacific Grove, CA, USA, June 22-25,
               2015},
  publisher = {Society for the Advancement of the Science of Digital Games},
  year      = {2015},
  url       = {http://www.fdg2015.org/proceedings.html},
  timestamp = {Sat, 18 Jun 2016 11:19:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fdg/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icids/2015,
  editor    = {Henrik Schoenau{-}Fog and
               Luis Emilio Bruni and
               Sandy Louchart and
               Sarune Baceviciute},
  title     = {Interactive Storytelling - 8th International Conference on Interactive
               Digital Storytelling, {ICIDS} 2015, Copenhagen, Denmark, November
               30 - December 4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9445},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-27036-4},
  doi       = {10.1007/978-3-319-27036-4},
  isbn      = {978-3-319-27035-7},
  timestamp = {Sun, 21 May 2017 00:20:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icids/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2015tc,
  editor    = {Marina De Vos and
               Thomas Eiter and
               Yuliya Lierler and
               Francesca Toni},
  title     = {Proceedings of the Technical Communications of the 31st International
               Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
               31 - September 4, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1433},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1433},
  urn       = {urn:nbn:de:0074-1433-4},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2015tc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tafa/2015,
  editor    = {Elizabeth Black and
               Sanjay Modgil and
               Nir Oren},
  title     = {Theory and Applications of Formal Argumentation - Third International
               Workshop, {TAFA} 2015, Buenos Aires, Argentina, July 25-26, 2015,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9524},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-28460-6},
  doi       = {10.1007/978-3-319-28460-6},
  isbn      = {978-3-319-28459-0},
  timestamp = {Sat, 16 Sep 2017 12:11:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tafa/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2014coin,
  editor    = {Aditya Ghose and
               Nir Oren and
               Pankaj R. Telang and
               John Thangarajah},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {X} - {COIN} 2014 International Workshops, COIN@AAMAS, Paris, France,
               May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4,
               2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9372},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25420-3},
  doi       = {10.1007/978-3-319-25420-3},
  isbn      = {978-3-319-25419-7},
  timestamp = {Thu, 15 Jun 2017 21:43:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2014coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2014,
  editor    = {Ana L. C. Bazzan and
               Michael N. Huhns and
               Alessio Lomuscio and
               Paul Scerri},
  title     = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '14, Paris, France, May 5-9, 2014},
  publisher = {{IFAAMAS/ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2615731},
  isbn      = {978-1-4503-2738-1},
  timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2014,
  editor    = {Fabiano Dalpiaz and
               J{\"{u}}rgen Dix and
               M. Birna van Riemsdijk},
  title     = {Engineering Multi-Agent Systems - Second International Workshop, {EMAS}
               2014, Paris, France, May 5-6, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8758},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-14484-9},
  doi       = {10.1007/978-3-319-14484-9},
  isbn      = {978-3-319-14483-2},
  timestamp = {Wed, 14 Nov 2018 10:55:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eenergy/2014,
  editor    = {Jon Crowcroft and
               Richard V. Penty and
               Jean{-}Yves Le Boudex and
               Prashant J. Shenoy},
  title     = {The Fifth International Conference on Future Energy Systems, e-Energy
               '14, Cambridge, United Kingdom - June 11 - 13, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2602044},
  isbn      = {978-1-4503-2819-7},
  timestamp = {Mon, 06 Nov 2017 16:49:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eenergy/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/2014aire,
  editor    = {Nelly Bencomo and
               Jane Cleland{-}Huang and
               Jin Guo and
               Rachel Harrison},
  title     = {{IEEE} 1st International Workshop on Artificial Intelligence for Requirements
               Engineering, {AIRE} 2014, 26 August, 2014, Karlskrona, Sweden},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6887463},
  isbn      = {978-1-4799-6355-3},
  timestamp = {Mon, 09 May 2016 13:06:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/re/2014aire},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saso/2014w,
  title     = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7055964},
  isbn      = {978-1-4799-6378-2},
  timestamp = {Thu, 05 Nov 2015 11:51:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saso/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhocnets/2013,
  editor    = {Abdelhamid Mellouk and
               Mostafa Hashem Sherif and
               Jun Li and
               Paolo Bellavista},
  title     = {Ad Hoc Networks - 5th International {ICST} Conference, {ADHOCNETS}
               2013, Barcelona, Spain, October 2013, Revised Selected Papers},
  series    = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
               and Telecommunications Engineering},
  volume    = {129},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-04105-6},
  doi       = {10.1007/978-3-319-04105-6},
  isbn      = {978-3-319-04104-9},
  timestamp = {Mon, 29 May 2017 13:41:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/adhocnets/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2013coin,
  editor    = {Tina Balke and
               Frank Dignum and
               M. Birna van Riemsdijk and
               Amit K. Chopra},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {IX} - {COIN} 2013 International Workshops, COIN@AAMAS, St. Paul,
               MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3,
               2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8386},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07314-9},
  doi       = {10.1007/978-3-319-07314-9},
  isbn      = {978-3-319-07313-2},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2013coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2013,
  editor    = {Maria L. Gini and
               Onn Shehory and
               Takayuki Ito and
               Catholijn M. Jonker},
  title     = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  publisher = {{IFAAMAS}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2484920},
  isbn      = {978-1-4503-1993-5},
  timestamp = {Fri, 28 Jun 2013 12:19:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eenergy/2013,
  editor    = {David E. Culler and
               Catherine Rosenberg and
               Srinivasan Keshav and
               Jim Kurose},
  title     = {The Fourth International Conference on Future Energy Systems, e-Energy
               '13, Berkeley, CA, USA, May 22-24, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2487166},
  isbn      = {978-1-4503-2052-8},
  timestamp = {Wed, 05 Jun 2013 08:48:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eenergy/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icail/2013,
  editor    = {Enrico Francesconi and
               Bart Verheij},
  title     = {International Conference on Artificial Intelligence and Law, {ICAIL}
               '13, Rome, Italy, June 10-14, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2514601},
  doi       = {10.1145/2514601},
  isbn      = {978-1-4503-2080-1},
  timestamp = {Tue, 06 Nov 2018 16:58:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icail/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2013w,
  editor    = {Alessio Lomuscio and
               Surya Nepal and
               Fabio Patrizi and
               Boualem Benatallah and
               Ivona Brandic},
  title     = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
               SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8377},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06859-6},
  doi       = {10.1007/978-3-319-06859-6},
  isbn      = {978-3-319-06858-9},
  timestamp = {Fri, 19 May 2017 01:25:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2013w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jurix/2013,
  editor    = {Kevin D. Ashley},
  title     = {Legal Knowledge and Information Systems - {JURIX} 2013: The Twenty-Sixth
               Annual Conference, December 11-13, 2013, University of Bologna, Italy},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {259},
  publisher = {{IOS} Press},
  year      = {2013},
  isbn      = {978-1-61499-358-2},
  timestamp = {Tue, 18 Feb 2014 21:28:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jurix/2013docope,
  editor    = {Monica Palmirani and
               Giovanni Sartor},
  title     = {Proceedings of the First {JURIX} Doctoral Consortium and Poster Sessions
               in conjunction with the 26th International Conference on Legal Knowledge
               and Information Systems, {JURIX} 2013, Bologna, Italy, December 11-13,
               2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1105},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1105},
  urn       = {urn:nbn:de:0074-1105-0},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/2013docope},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mates/2013,
  editor    = {Matthias Klusch and
               Matthias Thimm and
               Marcin Paprzycki},
  title     = {Multiagent System Technologies - 11th German Conference, {MATES} 2013,
               Koblenz, Germany, September 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8076},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40776-5},
  doi       = {10.1007/978-3-642-40776-5},
  isbn      = {978-3-642-40775-8},
  timestamp = {Wed, 24 May 2017 08:27:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mates/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prima/2013,
  editor    = {Guido Boella and
               Edith Elkind and
               Bastin Tony Roy Savarimuthu and
               Frank Dignum and
               Martin K. Purvis},
  title     = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
               International Conference, Dunedin, New Zealand, December 1-6, 2013.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8291},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-44927-7},
  doi       = {10.1007/978-3-642-44927-7},
  isbn      = {978-3-642-44926-0},
  timestamp = {Fri, 19 May 2017 01:25:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/prima/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sin/2013,
  editor    = {Atilla El{\c{c}}i and
               Manoj Singh Gaur and
               Mehmet A. Orgun and
               Oleg B. Makarevich},
  title     = {The 6th International Conference on Security of Information and Networks,
               {SIN} '13, Aksaray, Turkey, November 26-28, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2523514},
  isbn      = {978-1-4503-2498-4},
  timestamp = {Thu, 09 Jan 2014 10:19:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sin/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ACMicec/2012,
  editor    = {Robert J. Kauffman and
               Martin Bichler and
               Hoong Chuin Lau and
               Yinping Yang and
               Christopher C. Yang},
  title     = {Fourteenth International Conference on Electronic Commerce, {ICEC}
               '12, Singapore, August 7-8, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2346536},
  isbn      = {978-1-4503-1197-7},
  timestamp = {Thu, 16 Aug 2012 08:22:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ACMicec/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2012,
  editor    = {Wiebe van der Hoek and
               Lin Padgham and
               Vincent Conitzer and
               Michael Winikoff},
  title     = {International Conference on Autonomous Agents and Multiagent Systems,
               {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
  publisher = {{IFAAMAS}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2343576},
  timestamp = {Sun, 09 Sep 2012 12:23:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2012coin,
  editor    = {Huib Aldewereld and
               Jaime Sim{\~{a}}o Sichman},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VIII} - 14th International Workshop, {COIN} 2012, Held Co-located
               with {AAMAS} 2012, Valencia, Spain, June 5, 2012, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7756},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37756-3},
  doi       = {10.1007/978-3-642-37756-3},
  isbn      = {978-3-642-37755-6},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2012coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2012cave,
  editor    = {Frank Dignum and
               Cyril Brom and
               Koen V. Hindriks and
               Martin D. Beer and
               Deborah Richards},
  title     = {Cognitive Agents for Virtual Environments - First International Workshop,
               {CAVE} 2012, Held at {AAMAS} 2012, Valencia, Spain, June 4, 2012,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7764},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36444-0},
  doi       = {10.1007/978-3-642-36444-0},
  isbn      = {978-3-642-36443-3},
  timestamp = {Fri, 02 Nov 2018 09:34:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2012cave},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2012,
  editor    = {Matteo Baldoni and
               Louise A. Dennis and
               Viviana Mascardi and
               Wamberto Weber Vasconcelos},
  title     = {Declarative Agent Languages and Technologies {X} - 10th International
               Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7784},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37890-4},
  doi       = {10.1007/978-3-642-37890-4},
  isbn      = {978-3-642-37889-8},
  timestamp = {Fri, 19 May 2017 01:26:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2012,
  editor    = {Agostino Dovier and
               V{\'{\i}}tor Santos Costa},
  title     = {Technical Communications of the 28th International Conference on Logic
               Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  series    = {LIPIcs},
  volume    = {17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12008},
  isbn      = {978-3-939897-43-9},
  timestamp = {Thu, 05 Dec 2013 17:22:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2012,
  editor    = {Yoichi Motomura and
               Alastair Butler and
               Daisuke Bekki},
  title     = {New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops,
               LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1,
               2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7856},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39931-2},
  doi       = {10.1007/978-3-642-39931-2},
  isbn      = {978-3-642-39930-5},
  timestamp = {Wed, 24 May 2017 08:28:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jsai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/2012ress,
  title     = {Second {IEEE} International Workshop on Requirements Engineering for
               Systems, Services, and Systems-of-Systems, {RESS} 2012, Chicago, IL,
               USA, September 25, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6336879},
  isbn      = {978-1-4673-4377-0},
  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/re/2012ress},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rest/2012,
  editor    = {Rosa Alarc{\'{o}}n and
               Cesare Pautasso and
               Erik Wilde},
  title     = {Third International Workshop on RESTful Design, {WS-REST} '12, Lyon,
               France, April 16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2307819},
  isbn      = {978-1-4503-1190-8},
  timestamp = {Sun, 18 Nov 2012 11:13:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rest/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vtc/2012f,
  title     = {Proceedings of the 76th {IEEE} Vehicular Technology Conference, {VTC}
               Fall 2012, Quebec City, QC, Canada, September 3-6, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6391320},
  isbn      = {978-1-4673-1880-8},
  timestamp = {Tue, 08 Jan 2013 19:01:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vtc/2012f},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2011coin,
  editor    = {Stephen Cranefield and
               M. Birna van Riemsdijk and
               Javier V{\'{a}}zquez{-}Salceda and
               Pablo Noriega},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent System
               VII, {COIN} 2011 International Workshops, COIN@AAMAS 2011, Taipei,
               Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35545-5},
  doi       = {10.1007/978-3-642-35545-5},
  isbn      = {978-3-642-35544-8},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2011coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2011,
  editor    = {Liz Sonenberg and
               Peter Stone and
               Kagan Tumer and
               Pinar Yolum},
  title     = {10th International Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
  publisher = {{IFAAMAS}},
  year      = {2011},
  isbn      = {978-0-9826571-5-7},
  timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iat/2011w,
  editor    = {Jomi Fred H{\"{u}}bner and
               Jean{-}Marc Petit and
               Einoshin Suzuki},
  title     = {Proceedings of the 2011 {IEEE/WIC/ACM} International Joint Conference
               on Web Intelligence and Intelligent Agent Technology - Workshops,
               {WI-IAT} 2011, Campus Scientifique de la Doua, Lyon, France, August
               22-27, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6036728},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iat/2011w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnsc/2011,
  title     = {Proceedings of the {IEEE} International Conference on Networking,
               Sensing and Control, {ICNSC} 2011, Delft, The Netherlands, 11-13 April
               2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5781738},
  isbn      = {978-1-4244-9570-2},
  timestamp = {Tue, 09 Jun 2015 17:52:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnsc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/idc/2011,
  editor    = {Frances M. T. Brazier and
               Kees Nieuwenhuis and
               Gregor Pavlin and
               Martijn Warnier and
               Costin Badica},
  title     = {Intelligent Distributed Computing {V} - Proceedings of the 5th International
               Symposium on Intelligent Distributed Computing - {IDC} 2011, Delft,
               The Netherlands - October 2011},
  series    = {Studies in Computational Intelligence},
  volume    = {382},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-24013-3},
  doi       = {10.1007/978-3-642-24013-3},
  isbn      = {978-3-642-24012-6},
  timestamp = {Fri, 26 May 2017 00:49:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/idc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2010coin,
  editor    = {Marina De Vos and
               Nicoletta Fornara and
               Jeremy V. Pitt and
               George A. Vouros},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
               Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6541},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21268-0},
  doi       = {10.1007/978-3-642-21268-0},
  isbn      = {978-3-642-21267-3},
  timestamp = {Tue, 23 May 2017 01:11:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2010coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2010,
  editor    = {Wiebe van der Hoek and
               Gal A. Kaminka and
               Yves Lesp{\'{e}}rance and
               Michael Luck and
               Sandip Sen},
  title     = {9th International Conference on Autonomous Agents and Multiagent Systems
               {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  publisher = {{IFAAMAS}},
  year      = {2010},
  isbn      = {978-0-9826571-1-9},
  timestamp = {Fri, 18 Nov 2011 09:07:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iiwas/2010,
  editor    = {Gabriele Kotsis and
               David Taniar and
               Eric Pardede and
               Imad Saleh and
               Ismail Khalil},
  title     = {iiWAS'2010 - The 12th International Conference on Information Integration
               and Web-based Applications and Services, 8-10 November 2010, Paris,
               France},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0421-4},
  timestamp = {Tue, 03 May 2011 20:12:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iiwas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jsai/2010,
  editor    = {Takashi Onada and
               Daisuke Bekki and
               Eric McCready},
  title     = {New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops,
               LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6797},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25655-4},
  doi       = {10.1007/978-3-642-25655-4},
  isbn      = {978-3-642-25654-7},
  timestamp = {Wed, 24 May 2017 08:28:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jsai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mallow/2010,
  editor    = {Olivier Boissier and
               Amal El Fallah{-}Seghrouchni and
               Salima Hassas and
               Nicolas Maudet},
  title     = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
               Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
               2, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {627},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-627},
  urn       = {urn:nbn:de:0074-627-1},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2010,
  editor    = {Tetsuo Ida and
               Viorel Negru and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {12th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
               2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5714592},
  isbn      = {978-0-7695-4324-6},
  timestamp = {Tue, 13 Jan 2015 18:19:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2009,
  editor    = {J{\"{u}}rgen Dix and
               Michael Fisher and
               Peter Nov{\'{a}}k},
  title     = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
               {CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
               and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6214},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16867-3},
  doi       = {10.1007/978-3-642-16867-3},
  isbn      = {978-3-642-16866-6},
  timestamp = {Tue, 20 Feb 2018 18:30:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/clima/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/digibiz/2009,
  editor    = {Luigi Telesca and
               Katarina Stanoevska{-}Slabeva and
               Veselin Rakocevic},
  title     = {Digital Business - First Iternational {ICST} Conference, DigiBiz 2009,
               London, UK, June 17-19, 2009, Revised Selected Papers},
  series    = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
               and Telecommunications Engineering},
  volume    = {21},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11532-5},
  doi       = {10.1007/978-3-642-11532-5},
  isbn      = {978-3-642-11531-8},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/digibiz/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esaw/2009,
  editor    = {Huib Aldewereld and
               Virginia Dignum and
               Gauthier Picard},
  title     = {Engineering Societies in the Agents World X, 10th International Workshop,
               {ESAW} 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5881},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10203-5},
  doi       = {10.1007/978-3-642-10203-5},
  isbn      = {978-3-642-10202-8},
  timestamp = {Fri, 02 Jun 2017 20:47:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esaw/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaart/2009,
  editor    = {Joaquim Filipe and
               Ana L. N. Fred and
               Bernadette Sharp},
  title     = {{ICAART} 2009 - Proceedings of the International Conference on Agents
               and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  publisher = {{INSTICC} Press},
  year      = {2009},
  isbn      = {978-989-8111-66-1},
  timestamp = {Tue, 19 May 2009 15:52:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icaart/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iiwas/2009,
  editor    = {Gabriele Kotsis and
               David Taniar and
               Eric Pardede and
               Ismail Khalil},
  title     = {iiWAS'2009 - The Eleventh International Conference on Information
               Integration and Web-based Applications and Services, 14-16 December
               2009, Kuala Lumpur, Malaysia},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-660-1},
  timestamp = {Tue, 03 May 2011 20:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iiwas/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2009,
  editor    = {Esra Erdem and
               Fangzhen Lin and
               Torsten Schaub},
  title     = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5753},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6},
  doi       = {10.1007/978-3-642-04238-6},
  isbn      = {978-3-642-04237-9},
  timestamp = {Tue, 19 Dec 2017 00:44:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mallow/2009,
  editor    = {Matteo Baldoni and
               Cristina Baroglio and
               Jamal Bentahar and
               Guido Boella and
               Massimo Cossentino and
               Mehdi Dastani and
               Barbara Dunin{-}Keplicz and
               Giancarlo Fortino and
               Marie Pierre Gleizes and
               Jo{\~{a}}o Leite and
               Viviana Mascardi and
               Julian A. Padget and
               Juan Pav{\'{o}}n and
               Axel Polleres and
               Amal El Fallah{-}Seghrouchni and
               Paolo Torroni and
               Rineke Verbrugge},
  title     = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
               Federated Workshops, Turin, Italy, September 7-10, 2009},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {494},
  publisher = {CEUR-WS.org},
  year      = {2009},
  url       = {http://ceur-ws.org/Vol-494},
  urn       = {urn:nbn:de:0074-494-3},
  timestamp = {Mon, 30 May 2016 16:57:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mallow/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2008ind,
  editor    = {Michael Berger and
               Bernard Burg and
               Satoshi Nishiyama},
  title     = {7th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Industry
               and Applications Track Proceedings},
  publisher = {{IFAAMAS}},
  year      = {2008},
  isbn      = {978-0-9817381-3-0},
  timestamp = {Tue, 19 Aug 2008 08:31:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2008ind},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2008-3,
  editor    = {Lin Padgham and
               David C. Parkes and
               J{\"{o}}rg P. M{\"{u}}ller and
               Simon Parsons},
  title     = {7th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
               3},
  publisher = {{IFAAMAS}},
  year      = {2008},
  isbn      = {978-0-9817381-2-3},
  timestamp = {Thu, 19 Aug 2010 09:47:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2008-3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2},
  doi       = {10.1007/978-3-540-89982-2},
  isbn      = {978-3-540-89981-5},
  timestamp = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmc/2008,
  title     = {Proceedings of the 2008 International Computer Music Conference, {ICMC}
               2008, Belfast, Ireland, August 24-29, 2008},
  publisher = {Michigan Publishing},
  year      = {2008},
  url       = {http://quod.lib.umich.edu/i/icmc/bbp2372.2008},
  timestamp = {Wed, 03 Feb 2016 13:44:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ACMicec/2007,
  editor    = {Maria L. Gini and
               Robert J. Kauffman and
               Donna Sarppo and
               Chrysanthos Dellarocas and
               Frank Dignum},
  title     = {Proceedings of the 9th International Conference on Electronic Commerce:
               The Wireless World of Electronic Commerce, 2007, University of Minnesota,
               Minneapolis, MN, USA, August 19-22, 2007},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {258},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-700-1},
  timestamp = {Mon, 22 Oct 2007 15:02:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ACMicec/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eScience/2007,
  title     = {Third International Conference on e-Science and Grid Computing, e-Science
               2007, 10-13 December 2007, Bangalore, India},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4426856},
  isbn      = {0-7695-3064-8},
  timestamp = {Thu, 06 Nov 2014 17:05:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eScience/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmc/2007,
  title     = {Proceedings of the 2007 International Computer Music Conference, {ICMC}
               2007, Copenhagen, Denmark, August 27-31, 2007},
  publisher = {Michigan Publishing},
  year      = {2007},
  url       = {http://quod.lib.umich.edu/i/icmc/bbp2372.2007},
  timestamp = {Thu, 04 Feb 2016 16:18:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2006coin,
  editor    = {Pablo Noriega and
               Javier V{\'{a}}zquez{-}Salceda and
               Guido Boella and
               Olivier Boissier and
               Virginia Dignum and
               Nicoletta Fornara and
               Eric Matson},
  title     = {Coordination, Organizations, Institutions, and Norms in Agent Systems
               {II} - {AAMAS} 2006 and {ECAI} 2006 International Workshops, {COIN}
               2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28,
               2006. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4386},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74459-7},
  doi       = {10.1007/978-3-540-74459-7},
  isbn      = {978-3-540-74457-3},
  timestamp = {Thu, 01 Jun 2017 18:59:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2006coin},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2006,
  editor    = {Katsumi Inoue and
               Ken Satoh and
               Francesca Toni},
  title     = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
               {CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
               Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4371},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69619-3},
  doi       = {10.1007/978-3-540-69619-3},
  isbn      = {978-3-540-69618-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/clima/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2-5/2006,
  editor    = {Patrick W. Gaffney and
               James C. T. Pool},
  title     = {Grid-Based Problem Solving Environments - {IFIP} {TC2/} {WG} 2.5 Working
               Conference on Grid-Based Problem Solving Environments: Implications
               for Development and Deployment of Numerical Software July 17-21, 2006,
               Prescott, Arizona, {USA}},
  series    = {{IFIP}},
  volume    = {239},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-0-387-73659-4},
  doi       = {10.1007/978-0-387-73659-4},
  isbn      = {978-0-387-73658-7},
  timestamp = {Fri, 26 May 2017 00:49:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2-5/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2006,
  editor    = {Jonathan M. Borwein and
               William M. Farmer},
  title     = {Mathematical Knowledge Management, 5th International Conference, {MKM}
               2006, Wokingham, UK, August 11-12, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4108},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11812289},
  doi       = {10.1007/11812289},
  isbn      = {3-540-37104-4},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2005,
  title     = {2005 {ACS} / {IEEE} International Conference on Computer Systems and
               Applications {(AICCSA} 2005), January 3-6, 2005, Cairo, Egypt},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9525},
  isbn      = {0-7803-8735-X},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2005,
  editor    = {Frank Dignum and
               Virginia Dignum and
               Sven Koenig and
               Sarit Kraus and
               Munindar P. Singh and
               Michael Wooldridge},
  title     = {4th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-094-9},
  timestamp = {Thu, 27 Aug 2009 16:21:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2005,
  editor    = {Matteo Baldoni and
               Ulle Endriss and
               Andrea Omicini and
               Paolo Torroni},
  title     = {Declarative Agent Languages and Technologies III, Third International
               Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
               and Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3904},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691792},
  doi       = {10.1007/11691792},
  isbn      = {3-540-33106-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dalt/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2005,
  editor    = {Andrew P. Black},
  title     = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
               Glasgow, UK, July 25-29, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3586},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11531142},
  doi       = {10.1007/11531142},
  isbn      = {3-540-27992-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eumas/2005,
  editor    = {Marie Pierre Gleizes and
               Gal A. Kaminka and
               Ann Now{\'{e}} and
               Sascha Ossowski and
               Karl Tuyls and
               Katja Verbeeck},
  title     = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent
               Systems, Brussels, Belgium, December 7-8, 2005},
  publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
  year      = {2005},
  timestamp = {Fri, 16 Dec 2005 09:58:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmc/2005,
  title     = {Proceedings of the 2005 International Computer Music Conference, {ICMC}
               2005, Barcelona, Spain, September 4-10, 2005},
  publisher = {Michigan Publishing},
  year      = {2005},
  url       = {http://quod.lib.umich.edu/i/icmc/bbp2372.2005},
  timestamp = {Mon, 08 Feb 2016 16:21:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2005,
  editor    = {Judi Romijn and
               Graeme Smith and
               Jaco van de Pol},
  title     = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
               Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3771},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11589976},
  doi       = {10.1007/11589976},
  isbn      = {3-540-30492-4},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2005,
  editor    = {Michael Kohlhase},
  title     = {Mathematical Knowledge Management, 4th International Conference, {MKM}
               2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3863},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11618027},
  doi       = {10.1007/11618027},
  isbn      = {3-540-31430-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppam/2005,
  editor    = {Roman Wyrzykowski and
               Jack J. Dongarra and
               Norbert Meyer and
               Jerzy Wasniewski},
  title     = {Parallel Processing and Applied Mathematics, 6th International Conference,
               {PPAM} 2005, Poznan, Poland, September 11-14, 2005, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3911},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11752578},
  doi       = {10.1007/11752578},
  isbn      = {3-540-34141-2},
  timestamp = {Mon, 21 Aug 2017 16:43:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppam/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2004,
  title     = {11th {IEEE} International Conference on the Engineering of Computer-Based
               Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9203},
  isbn      = {0-7695-2125-8},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esws/2004,
  editor    = {Christoph Bussler and
               John Davies and
               Dieter Fensel and
               Rudi Studer},
  title     = {The Semantic Web: Research and Applications, First European Semantic
               Web Symposium, {ESWS} 2004, Heraklion, Crete, Greece, May 10-12, 2004,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3053},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b97867},
  doi       = {10.1007/b97867},
  isbn      = {3-540-21999-4},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esws/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seke/2004,
  editor    = {Frank Maurer and
               G{\"{u}}nther Ruhe},
  title     = {Proceedings of the Sixteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2004), Banff, Alberta,
               Canada, June 20-24, 2004},
  year      = {2004},
  url       = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2004\_Proceedings.pdf},
  isbn      = {1-891706-14-4},
  timestamp = {Tue, 09 Oct 2018 17:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/seke/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wecwis/2004,
  title     = {2004 {IEEE} International Conference on E-Commerce Technology {(CEC}
               2004), 6-9 July 2004, San Diego, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9218},
  isbn      = {0-7695-2098-7},
  timestamp = {Thu, 04 Dec 2014 17:19:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wecwis/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wedelmusic/2004,
  title     = {4th International Conference on {WEB} Delivering of Music {(WEDELMUSIC}
               2004), 13-15 September 2004, Barcelona, Spain},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9387},
  isbn      = {0-7695-2157-6},
  timestamp = {Wed, 12 Nov 2014 17:10:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wedelmusic/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccgrid/2003,
  title     = {3rd {IEEE} International Symposium on Cluster Computing and the Grid
               (CCGrid 2003), 12-15 May 2003, Tokyo, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8544},
  isbn      = {0-7695-1919-9},
  timestamp = {Tue, 19 Jan 2016 16:31:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccgrid/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oas/2003,
  editor    = {Stephen Cranefield and
               Timothy W. Finin and
               Valentina A. M. Tamma and
               Steven Willmott},
  title     = {Ontologies in Agent Systems 2003, Proceedings of the Workshop on Ontologies
               in Agent Systems {(OAS} 2003) at the 2nd International Joint Conference
               on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia,
               July 15, 2003},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {73},
  publisher = {CEUR-WS.org},
  year      = {2003},
  url       = {http://ceur-ws.org/Vol-73},
  urn       = {urn:nbn:de:0074-73-9},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oas/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serp/2003-2,
  editor    = {Ban Al{-}Ani and
               Hamid R. Arabnia and
               Youngsong Mun},
  title     = {Proceedings of the International Conference on Software Engineering
               Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
               Nevada, USA, Volume 2},
  publisher = {{CSREA} Press},
  year      = {2003},
  isbn      = {1-932415-20-3},
  timestamp = {Tue, 14 Oct 2003 13:56:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/serp/2003-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2003,
  title     = {2003 {IEEE} Symposium on Human Centric Computing Languages and Environments
               {(HCC} 2003), 28-31 October 2003, Auckland, New Zealand},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8908},
  isbn      = {0-7803-8225-0},
  timestamp = {Mon, 10 Aug 2015 17:53:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amec/2002,
  editor    = {Julian A. Padget and
               Onn Shehory and
               David C. Parkes and
               Norman M. Sadeh and
               William E. Walsh},
  title     = {Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems,
               {AAMAS} 2002 Workshop on Agent Mediated Electronic Commerce, Bologna,
               Italy, July 16, 2002, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2531},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36378-5},
  doi       = {10.1007/3-540-36378-5},
  isbn      = {3-540-00327-4},
  timestamp = {Fri, 02 Nov 2018 09:40:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amec/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2002,
  editor    = {M. Teresa Escrig and
               Francisco Toledo and
               Elisabet Golobardes},
  title     = {Topics in Artificial Intelligence, 5th Catalonian Conference on AI,
               {CCIA} 2002, Castell{\'{o}}n, Spain, October 24-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2504},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36079-4},
  doi       = {10.1007/3-540-36079-4},
  isbn      = {3-540-00011-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmc/2002,
  title     = {Proceedings of the 2002 International Computer Music Conference, {ICMC}
               2002, Gothenburg, Sweden, September 16-21, 2002},
  publisher = {Michigan Publishing},
  year      = {2002},
  url       = {http://quod.lib.umich.edu/i/icmc/bbp2372.2002},
  timestamp = {Tue, 16 Feb 2016 14:03:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswec/2001,
  title     = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
               August 2001, Canberra, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7538},
  isbn      = {0-7695-1254-2},
  timestamp = {Thu, 16 Oct 2014 11:29:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aswec/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2001,
  editor    = {John{-}Jules Ch. Meyer and
               Milind Tambe},
  title     = {Intelligent Agents VIII, 8th International Workshop, {ATAL} 2001 Seattle,
               WA, USA, August 1-3, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2333},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45448-9},
  doi       = {10.1007/3-540-45448-9},
  isbn      = {3-540-43858-0},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/collaboration/1999,
  editor    = {Julian A. Padget},
  title     = {Collaboration between Human and Artificial Societies, Coordination
               and Agent-Based Distributed Computing},
  series    = {Lecture Notes in Computer Science},
  volume    = {1624},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/10703260},
  doi       = {10.1007/10703260},
  isbn      = {3-540-66930-2},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/collaboration/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amec/1999,
  editor    = {Alexandros Moukas and
               Carles Sierra and
               Fredrik Ygge},
  title     = {Agent Mediated Electronic Commerce II, Towards Next-Generation Agent-Based
               Electronic Commerce Systems, {IJCAI} 1999 Workshop},
  series    = {Lecture Notes in Computer Science},
  volume    = {1788},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10720026},
  doi       = {10.1007/10720026},
  isbn      = {3-540-67773-9},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amec/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amet/1998,
  editor    = {Pablo Noriega and
               Carles Sierra},
  title     = {Agent Mediated Electronic Commerce, First International Workshop on
               Agent Mediated Electronic Trading, AMET-98, Minneapolis, MN, USA,
               May 10th, 1998, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1571},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48835-9},
  doi       = {10.1007/3-540-48835-9},
  isbn      = {3-540-65955-2},
  timestamp = {Thu, 01 Jun 2017 18:58:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amet/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdp/1995,
  title     = {3rd Euromicro Workshop on Parallel and Distributed Processing {(PDP}
               '95), January 25-27, 1995, San Remo, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3103},
  isbn      = {0-8186-7031-2},
  timestamp = {Mon, 02 Feb 2015 17:46:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdp/1995},
  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/oopsla/1993,
  editor    = {Timlynn Babitsky and
               Jim Salmons},
  title     = {Conference on Object-Oriented Programming Systems, Languages, and
               Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA,
               September 26 - October 1, 1993, Proceedings},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=165854},
  isbn      = {0-89791-587-9},
  timestamp = {Tue, 11 Jun 2013 13:10:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/1992,
  editor    = {Yves Bekkers and
               Jacques Cohen},
  title     = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
               September 17-19, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {637},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0017181},
  doi       = {10.1007/BFb0017181},
  isbn      = {3-540-55940-X},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psc/1992,
  editor    = {Robert H. Halstead Jr. and
               Takayasu Ito},
  title     = {Parallel Symbolic Computing: Languages, Systems, and Applications,
               US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {748},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/BFb0018643},
  doi       = {10.1007/BFb0018643},
  isbn      = {3-540-57396-8},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psc/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hlppp/1991,
  editor    = {Jean{-}Pierre Ban{\^{a}}tre and
               Daniel Le M{\'{e}}tayer},
  title     = {Research Directions in High-Level Parallel Programming Languages,
               Mont Saint-Michel, France, June 17-19, 1991, Procedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {574},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55160-3},
  doi       = {10.1007/3-540-55160-3},
  isbn      = {3-540-55160-3},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hlppp/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1991,
  editor    = {Michel Billaud and
               Pierre Cast{\'{e}}ran and
               Marc{-}Michel Corsini and
               Kaninda Musumbu and
               Antoine Rauzy},
  title     = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
               de Recherche en Informatique (LaBRI), Proceedings},
  series    = {Series Bigre},
  volume    = {74},
  publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year      = {1991},
  timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1990,
  editor    = {Shunro Watanabe and
               Morio Nagata},
  title     = {Proceedings of the International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
  publisher = {{ACM}},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=96877},
  isbn      = {0-201-54892-5},
  timestamp = {Wed, 16 May 2012 18:01:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ima-ms/1988,
  editor    = {D. C. Handscomb},
  title     = {Proceedings of the 3rd {IMA} Conference on the Mathematics of Surfaces,
               Keble College, Oxford, UK, September 19-21, 1988},
  publisher = {Clarendon Press},
  year      = {1989},
  isbn      = {0-19-853629-1},
  timestamp = {Wed, 20 Jun 2018 17:52:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ima-ms/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1987,
  editor    = {James H. Davenport},
  title     = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
               June 2-5, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {378},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-51517-8},
  doi       = {10.1007/3-540-51517-8},
  isbn      = {3-540-51517-8},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1986,
  editor    = {Bruce W. Char},
  title     = {{SYMSAC} 1986, Proceedings of the Symposium on Symbolic and Algebraic
               Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986},
  publisher = {{ACM}},
  year      = {1986},
  url       = {http://dl.acm.org/citation.cfm?id=32439},
  isbn      = {0-89791-199-7},
  timestamp = {Thu, 14 Feb 2013 17:35:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1985-2,
  editor    = {B. F. Caviness},
  title     = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
               April 1-3, 1985, Proceedings Volume 2: Research Contributions},
  series    = {Lecture Notes in Computer Science},
  volume    = {204},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/3-540-15984-3},
  doi       = {10.1007/3-540-15984-3},
  isbn      = {3-540-15984-3},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/1985-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1985-1,
  editor    = {Bruno Buchberger},
  title     = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
               April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {203},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/3-540-15983-5},
  doi       = {10.1007/3-540-15983-5},
  isbn      = {3-540-15983-5},
  timestamp = {Fri, 19 May 2017 12:26:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/1985-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1985,
  editor    = {Mary S. Van Deusen and
               Zvi Galil and
               Brian K. Reid},
  title     = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
               of Programming Languages, New Orleans, Louisiana, USA, January 1985},
  publisher = {{ACM} Press},
  year      = {1985},
  url       = {http://dl.acm.org/citation.cfm?id=318593},
  isbn      = {0-89791-147-4},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1985},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosam/1984,
  editor    = {John P. Fitch},
  title     = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
               Cambridge, England, UK, July 9-11, 1984, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {174},
  publisher = {Springer},
  year      = {1984},
  url       = {https://doi.org/10.1007/BFb0032823},
  doi       = {10.1007/BFb0032823},
  isbn      = {3-540-13350-X},
  timestamp = {Tue, 19 Jun 2018 19:28:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurosam/1984},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1983,
  editor    = {J. A. van Hulzen},
  title     = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
               London, England, March 28-30, 1983, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {162},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/3-540-12868-9},
  doi       = {10.1007/3-540-12868-9},
  isbn      = {3-540-12868-9},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/1983},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1982,
  editor    = {Jacques Calmet},
  title     = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
               Marseille, France, 5-7 April, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {144},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/3-540-11607-9},
  doi       = {10.1007/3-540-11607-9},
  isbn      = {3-540-11607-9},
  timestamp = {Fri, 19 May 2017 12:26:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurocal/1982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier