Julian A. Padget

204 papers A* 5A 12B 13C 22Misc 3Journal 49Unranked 92

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Adaptive Modular Agent Architecture for Hybrid Two-Level Reasoning. EMAS Dmitry Gnatyshak, Sergio Álvarez-Napagao, Julian A. Padget, Ulises Cortés
2023	C	`conf`	Addressing the Value Alignment Problem Through Online Institutions. COINE Pablo Noriega, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2023	A	`conf`	Agent-directed Runtime Norm Synthesis. AAMAS Andreasa Morris-Martin, Marina De Vos, Julian A. Padget, Oliver Ray
2023	C	`conf`	Governing Agents on the Web - (Blue Sky Ideas). COINE Victor Charpenay, Matteo Baldoni, Andrei Ciortea, Stephen Cranefield, Julian A. Padget, Munindar P. Singh
2023	J	`jnl`	Trusting the trust machine: Evaluating trust signals of blockchain applications. Int. J. Inf. Manag. Fabiane Völter, Nils Urbach, Julian A. Padget
2023	J	`jnl`	Understanding the Vulnerability of CLIP to Image Compression. CoRR Cangxiong Chen, Vinay P. Namboodiri, Julian A. Padget
2022	C	`conf`	Design Heuristics for Ethical Online Institutions. COINE Pablo Noriega, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2022	J	`jnl`	Governance of Autonomous Agents on the Web: Challenges and Opportunities. CoRR Timotheus Kampik, Adnane Mansour, Olivier Boissier, Sabrina Kirrane, Julian A. Padget, Terry R. Payne, Munindar P. Singh, Valentina Tamma, Antoine Zimmermann
2022	J	`jnl`	Governance of Autonomous Agents on the Web: Challenges and Opportunities. ACM Trans. Internet Techn. Timotheus Kampik, Adnane Mansour, Olivier Boissier, Sabrina Kirrane, Julian A. Padget, Terry R. Payne, Munindar P. Singh, Valentina Tamma, Antoine Zimmermann
2021	J	`jnl`	Ethical Online AI Systems Through Conscientious Design. IEEE Internet Comput. Pablo Noriega, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2021	A*	`conf`	Grid-Functioned Neural Networks. ICML Javier Dehesa, Andrew Vidler, Julian A. Padget, Christof Lutteroth
2020	—	`conf`	A Norm Emergence Framework for Normative MAS - Position Paper. COIN(E)@AAMAS Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2020	J	`jnl`	A Norm Emergence Framework for Normative MAS - Position Paper. CoRR Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2020	J	`jnl`	Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms. ACM Trans. Auton. Adapt. Syst. Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget
2020	A	`conf`	Norm Emergence in Multiagent Systems: A Viewpoint Paper. AAMAS Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2020	A*	`conf`	Touché: Data-Driven Interactive Sword Fighting in Virtual Reality. CHI Javier Dehesa, Andrew Vidler, Christof Lutteroth, Julian A. Padget
2019	J	`jnl`	Norm emergence in multiagent systems: a viewpoint paper. Auton. Agents Multi Agent Syst. Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2019	B	`conf`	ODRL Policy Modelling and Compliance Checking. RuleML+RR Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh
2019	—	`conf`	Towards Data-Driven Sword Fighting Experiences in VR. CHI Extended Abstracts Javier Dehesa, Andrew Vidler, Christof Lutteroth, Julian A. Padget
2019	—	`conf`	Towards a Goal-Oriented Agent-Based Simulation Framework for High-Performance Computing. CCIA Dmitry Gnatyshak, Luis Oliva Felipe, Sergio Álvarez-Napagao, Julian A. Padget, Javier Vázquez-Salceda, Dario Garcia-Gasulla, Ulises Cortés
2019	J	`jnl`	Towards a Goal-oriented Agent-based Simulation framework for High-Performance Computing. CoRR Dmitry Gnatyshak, Luis Oliva Felipe, Sergio Álvarez-Napagao, Julian A. Padget, Javier Vázquez-Salceda, Dario Garcia-Gasulla, Ulises Cortés
2018	J	`jnl`	A computational model for designing energy behaviour change interventions. User Model. User Adapt. Interact. Nataliya M. Mogles, Julian A. Padget, Elizabeth Gabe-Thomas, Ian Walker, JeeHang Lee
2018	A*	`conf`	Deontic Sensors. IJCAI Julian A. Padget, Marina De Vos, Charlie Ann Page
2018	J	`jnl`	Fine-Grained Access Control via Policy-Carrying Data. ACM Trans. Internet Techn. Julian A. Padget, Wamberto Weber Vasconcelos
2018	C	`conf`	Graph-based generation of action-adventure dungeon levels using answer set programming. FDG Thomas Smith, Julian A. Padget, Andrew Vidler
2018	B	`conf`	Using Social Reasoning Framework to Guide Normative Behaviour of Intelligent Virtual Agents. SMC JeeHang Lee, Sang Wan Lee, Julian A. Padget
2017	J	`jnl`	A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks. Int. J. Wirel. Inf. Networks Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos
2017	J	`jnl`	Automated multi-level governance compliance checking. Auton. Agents Multi Agent Syst. Thomas Christopher King, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian A. Padget, M. Birna van Riemsdijk
2017	—	`ed.`	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 COIN@AAMAS/ECAI Stephen Cranefield, Samhar Mahmoud, Julian A. Padget, Ana Paula Rocha
2017	—	`conf`	Identifying Affordances for Modelling Second-Order Emergent Phenomena with the AAMAS Workshops (Visionary Papers) Pablo Noriega, Jordi Sabater-Mir, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2017	J	`jnl`	Online Prediction via Continuous Artificial Prediction Markets. IEEE Intell. Syst. Fatemeh Jahedpari, Talal Rahwan, Sattar Hashemi, Tomasz P. Michalak, Marina De Vos, Julian A. Padget, Wei Lee Woon
2017	J	`jnl`	Practical Reasoning with Norms for Autonomous Software Agents (Full Edition). CoRR Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos
2017	J	`jnl`	Practical reasoning with norms for autonomous software agents. Eng. Appl. Artif. Intell. Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos
2016	—	`conf`	A Manifesto for Conscientious Design of Hybrid Online Social Systems. COIN@AAMAS/ECAI Pablo Noriega, Harko Verhagen, Mark d'Inverno, Julian A. Padget
2016	J	`jnl`	CBA: A cluster-based client/server data aggregation routing protocol. Ad Hoc Networks Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos
2016	C	`conf`	Describing Legal Policies as Story Tropes in Normative Systems. JURIX Matthew Thompson, Julian A. Padget, Ken Satoh
2016	—	`conf`	Design Space Descriptions for Logical Generation of Content. STAIRS Thomas Smith, Julian A. Padget, Andrew Vidler
2016	A*	`conf`	Normative Practical Reasoning via Argumentation and Dialogue. IJCAI Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget
2015	A	`conf`	A Framework for Institutions Governing Institutions. AAMAS Thomas Christopher King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk
2015	—	`conf`	An Interactive, Generative Punch and Judy Show Using Institutions, ASP and Emotional Agents. COIN@AAMAS/IJCAI Matthew Thompson, Julian A. Padget, Steve Battle
2015	—	`conf`	Argumentation-based Normative Practical Reasoning. TAFA Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh
2015	J	`jnl`	Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report. CoRR Fatemeh Jahedpari, Marina De Vos, Sattar Hashemi, Benjamin Hirsch, Julian A. Padget
2015	—	`conf`	Debugging ASP using ILP. ICLP (Technical Communications) Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke
2015	J	`jnl`	Effectiveness of qualitative and quantitative security obligations. J. Inf. Secur. Appl. Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld
2015	J	`jnl`	Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks Shadi Saleh Basurra, Marina De Vos, Julian A. Padget, Yusheng Ji, Tim Lewis, Simon Armour
2015	J	`jnl`	Enhancing the performance of Decoupled Software Pipeline through Backward Slicing. CoRR Esraa Alwan, John ffitch, Julian A. Padget
2015	—	`conf`	Governing Narrative Events With Institutional Norms. CMN Matthew Thompson, Julian A. Padget, Steve Battle
2015	—	`conf`	Implementation of Normative Practical Reasoning with Durative Actions. COIN@AAMAS/IJCAI Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos
2015	—	`conf`	Policy-Carrying Data: A Step Towards Transparent Data Sharing. ANT/SEIT Julian A. Padget, Wamberto Weber Vasconcelos
2015	—	`ed.`	Proceedings of the 8th European Lisp Symposium (ELS 2015), London, England, April 20-21, 2015. ELS Julian A. Padget
2015	—	`conf`	Revising Institutions Governed by Institutions for Compliant Regulations. COIN@AAMAS/IJCAI Thomas Christopher King, Tingting Li, Marina De Vos, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk
2015	C	`conf`	Semantic Descriptions for Logical Content Generation. FDG Thomas Smith, Julian A. Padget
2015	C	`conf`	Telling Non-linear Stories with Interval Temporal Logic. ICIDS Matthew Thompson, Steve Battle, Julian A. Padget
2014	—	`conf`	Designing sensor sets for capturing energy events in buildings. e-Energy Tom Lovett, Elizabeth Gabe-Thomas, Sukumar Natarajan, Matthew Brown, Julian A. Padget
2014	—	`conf`	N-Jason: Run-Time Norm Compliance in AgentSpeak(L). EMAS@AAMAS JeeHang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
2014	—	`conf`	On requirements representation and reasoning using answer set programming. AIRE Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa
2014	—	`conf`	Run-Time Verification of MSMAS Norms Using Event Calculus. SASO Workshops Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
2014	A	`conf`	Run-time norm compliance in BDI agents. AAMAS JeeHang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
2014	—	`conf`	Towards a Framework for Socio-Cognitive Technical Systems. COIN@AAMAS/PRICAI Pablo Noriega, Julian A. Padget, Harko Verhagen, Mark d'Inverno
2013	—	`conf`	'just enough' sensing to ENLITEN: a preliminary demonstration of sensing strategy for the 'energy literacy through an intelligent home energy advisor' (ENLITEN) project. e-Energy Tom Lovett, Elizabeth Gabe-Thomas, Sukumar Natarajan, Eamonn O'Neill, Julian A. Padget
2013	—	`conf`	A Light-Weight Framework for Bridge-Building from Desktop to Cloud. ICSOC Workshops Kewei Duan, Julian A. Padget, Hyunsun Alicia Kim
2013	C	`conf`	A model-based approach to the automatic revision of secondary legislation. ICAIL Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013	—	`conf`	Contextualized Institutions in Virtual Organizations. COIN@AAMAS/PRIMA Tingting Li, Jie Jiang, Huib Aldewereld, Marina De Vos, Virginia Dignum, Julian A. Padget
2013	B	`conf`	Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example. PRIMA Tina Balke, Marina De Vos, Julian A. Padget
2013	A	`conf`	Governing intelligent virtual agent behaviour with norms. AAMAS JeeHang Lee, Tingting Li, Marina De Vos, Julian A. Padget
2013	—	`conf`	HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. ADHOCNETS Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos
2013	J	`jnl`	I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artif. Intell. Law Tina Balke, Marina De Vos, Julian A. Padget
2013	C	`conf`	Legal Conflict Detection in Interacting Legal Systems. JURIX Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013	—	`conf`	Legal Conflict Detection in Interacting Legal Systems. DoCoPe@JURIX Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013	C	`conf`	Obligations to enforce prohibitions: on the adequacy of security policies. SIN Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld
2013	B	`conf`	Social Norm Recommendation for Virtual Agent Societies. PRIMA Bastin Tony Roy Savarimuthu, Julian A. Padget, Maryam Purvis
2013	J	`jnl`	Towards polite virtual agents using social reasoning techniques. Comput. Animat. Virtual Worlds JeeHang Lee, Tingting Li, Julian A. Padget
2013	—	`conf`	Verifying MSMAS Model Using CIFF. MATES Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
2012	J	`jnl`	Agent-based organisational governance of services. Multiagent Grid Syst. Frances M. T. Brazier, Virginia Dignum, Michael N. Huhns, Christian Derksen, Frank Dignum, Tim Lessner, Julian A. Padget, Thomas B. Quillinan, Munindar P. Singh
2012	—	`conf`	An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms. COIN@AAMAS Tina Balke, Marina De Vos, Julian A. Padget
2012	—	`conf`	Composition of engineering web services with universal distributed data-flows framework based on ROA. WS-REST Kewei Duan, Julian A. Padget, Hyunsun Alicia Kim, Hiroshi Hosobe
2012	—	`conf`	Decoupling Cognitive Agents and Virtual Environments. CAVE JeeHang Lee, Vincent Baines, Julian A. Padget
2012	—	`conf`	Detecting Conflicts in Legal Systems. JSAI-isAI Workshops Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget
2012	J	`jnl`	Equivalence Checking of Communicating UML Statechart Diagrams. Int. J. Softw. Eng. Knowl. Eng. Vitus S. W. Lam, Julian A. Padget
2012	—	`conf`	Handling Change in Normative Specifications. DALT Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012	A	`conf`	Handling change in normative specifications. AAMAS Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012	—	`conf`	LOG-IDEAH: ASP for Architectonic Asset Preservation. ICLP (Technical Communications) Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala
2012	J	`jnl`	MSMAS: Modelling Self-managing Multi Agent Systems. Scalable Comput. Pract. Exp. Emad Eldeen Elakehal, Julian A. Padget
2012	C	`conf`	Market intelligence and price adaptation. ICEC Emad Eldeen Elakehal, Julian A. Padget
2012	—	`conf`	Situating COIN in the Cloud - (Invited Paper). COIN@AAMAS Julian A. Padget
2012	—	`conf`	Social-Aware Routing for Wireless Mesh Networks. VTC Fall Shadi Saleh Basurra, Yusheng Ji, Marina De Vos, Julian A. Padget, Tim Lewis, Simon Armour
2012	—	`conf`	System security requirements analysis with answer set programming. RESS Gideon D. Bibu, Nobukazu Yoshioka, Julian A. Padget
2011	Misc	`conf`	A Practical Method for Developing Multi Agent Systems: APMDMAS. IDC Emad Eldeen Elakehal, Julian A. Padget
2011	J	`jnl`	A multi-agent systems approach to call-centre management. Int. J. Parallel Emergent Distributed Syst. Dimitris Traskas, Julian A. Padget
2011	—	`conf`	An agent-based infrastructure for energy profile capture and management. ICNSC Julian A. Padget, Harpreet Riat, Benedikt Forchhammer, Martijn Warnier, Frances M. T. Brazier, Sukumar Natarajan
2011	J	`jnl`	Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Gener. Comput. Syst. Tina Balke, Marina De Vos, Julian A. Padget
2011	—	`conf`	Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. COIN@AAMAS&WI-IAT Tina Balke, Marina De Vos, Julian A. Padget
2011	—	`conf`	Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. Web Intelligence/IAT Workshops Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas
2011	J	`jnl`	Normative design using inductive learning CoRR Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011	J	`jnl`	Normative design using inductive learning. Theory Pract. Log. Program. Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011	A	`conf`	On-line reasoning for institutionally-situated BDI agents. AAMAS Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas
2010	—	`conf`	A Probabilistic Mechanism for Agent Discovery and Pairing Using Domain-Specific Data. COIN@AAMAS&MALLOW Dimitris Traskas, Julian A. Padget, John Tansley
2010	Misc	`conf`	ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems. SYNASC Javier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, Manel Palau, Paul Sergeant, Kees Nieuwenhuis
2010	A	`conf`	ALIVE: an agent-based framework for dynamic and robust service-oriented applications. AAMAS Javier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, M. Palau Roig
2010	J	`jnl`	Adaptable, Organization-Aware, Service-Oriented Computing. IEEE Intell. Syst. Huib Aldewereld, Julian A. Padget, Wamberto Weber Vasconcelos, Javier Vázquez-Salceda, Paul Sergeant, Athanasios Staikopoulos
2010	—	`ed.`	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 COIN@AAMAS&IJCAI&MALLOW Julian A. Padget, Alexander Artikis, Wamberto Weber Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T. Matson, Axel Polleres
2010	—	`conf`	Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops Marina De Vos, Julian A. Padget, Ken Satoh
2010	—	`conf`	Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010	—	`conf`	Norm Refinement and Design through Inductive Learning. MALLOW Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010	C	`conf`	Organizing services for a changing environment. iiWAS Frank Dignum, Julian A. Padget, Wamberto Weber Vasconcelos
2010	J	`jnl`	Template-Based Adaptation of Semantic Web Services with Model-Driven Engineering. IEEE Trans. Serv. Comput. Athanasios Staikopoulos, Owen Cliffe, Razvan Popescu, Julian A. Padget, Siobhán Clarke
2010	—	`conf`	Using a Normative Framework to Explore the Prototyping of Wireless Grids. COIN@AAMAS&MALLOW Tina Balke, Marina De Vos, Julian A. Padget, Frank H. P. Fitzek
2009	—	`conf`	ALIVE: A Framework for Flexible and Adaptive Service Coordination. ESAW Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, I. Gomez, S. Hidalgo, Sergio Álvarez-Napagao, Juan Carlos Nieves, M. Palau Roig, Luigi Ceccaroni, Huib Aldewereld, Virginia Dignum, Frank Dignum, Loris Penserini, Julian A. Padget, Marina De Vos, D. Andreou, Owen Cliffe, Athanasios Staikopoulos, Razvan Popescu, Siobhán Clarke, Paul Sergeant, Chris Reed, Thomas B. Quillinan, Kees Nieuwenhuis
2009	B	`conf`	AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. LPNMR Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget
2009	—	`conf`	Combining Organisational and Coordination Theory with Model Driven Approaches to Develop Dynamic, Flexible, Distributed Business Systems. DigiBiz Javier Vázquez-Salceda, Luigi Ceccaroni, Frank Dignum, Wamberto Weber Vasconcelos, Julian A. Padget, Siobhán Clarke, Paul Sergeant, Kees Nieuwenhuis
2009	B	`conf`	Dynamic Service Reconfiguration and Enactment using an Open Matching Architecture. ICAART Sander van Splunter, Frances M. T. Brazier, Julian A. Padget, Omer F. Rana
2009	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Julian A. Padget
2009	—	`conf`	Engineering Agent Organisations in a Business Environment. ESAW Dimitris Traskas, Julian A. Padget
2009	—	`conf`	Inst CLIMA Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget
2009	—	`conf`	Introductory Essay of COIN@MALLOW'009. MALLOW Julian A. Padget, Axel Polleres
2009	B	`conf`	Modelling Normative Frameworks Using Answer Set Programing. LPNMR Owen Cliffe, Marina De Vos, Julian A. Padget
2009	—	`conf`	Norms, Organisations and Semantic Web Services: The ALIVE Approach. MALLOW Sergio Álvarez-Napagao, Owen Cliffe, Julian A. Padget, Javier Vázquez-Salceda
2009	C	`conf`	Organizing web services to develop dynamic, flexible, distributed systems. iiWAS Frank Dignum, Virginia Dignum, Julian A. Padget, Javier Vázquez-Salceda
2009	—	`ed.`	Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 MALLOW Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge
2009	J	`jnl`	Sendero: An Extended, Agent-Based Implementation of Kauffman's NKCS Model. J. Artif. Soc. Soc. Simul. Julian A. Padget, Richard Vidgen, James Mitchell, Amy Marshall, Rick Mellor
2008	B	`conf`	ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget
2008	—	`ed.`	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 COIN Jaime Simão Sichman, Julian A. Padget, Sascha Ossowski, Pablo Noriega
2008	—	`conf`	Engineering large-scale distributed auctions. AAMAS (3) Peter Gradwell, Michel A. Oey, Reinier J. Timmer, Frances M. T. Brazier, Julian A. Padget
2008	—	`conf`	Maintaining and using Provenance Data in Computer Music. ICMC John ffitch, Julian A. Padget
2008	—	`conf`	Pan-supplier stock control in a virtual warehouse. AAMAS (Industry Track) Emad Eldeen Elakehal, Julian A. Padget
2007	C	`conf`	A comparison of distributed and centralised agent based bundling systems. ICEC Peter Gradwell, Julian A. Padget
2007	—	`conf`	Composition with sound Web Services Andworkflows. ICMC John ffitch, James Mitchell, Julian A. Padget
2007	—	`conf`	Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN Owen Cliffe, Marina De Vos, Julian A. Padget
2007	—	`conf`	Matchmaking Support for Dynamic Workflow Composition. eScience Neil Chapman, Simone A. Ludwig, William Naylor, Julian A. Padget, Omer F. Rana
2006	—	`conf`	Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA Owen Cliffe, Marina De Vos, Julian A. Padget
2006	—	`ed.`	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 AAMAS Workshops Olivier Boissier, Julian A. Padget, Virginia Dignum, Gabriela Lindemann, Eric T. Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda
2006	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
2006	—	`conf`	From Untyped to Polymorphically Typed Objects in Mathematical Web Services. MKM William Naylor, Julian A. Padget
2006	J	`jnl`	Issues in Multiagent Resource Allocation. Informatica (Slovenia) Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian A. Padget, Steve Phelps, Juan A. Rodríguez-Aguilar, Paulo Sousa
2006	J	`jnl`	Matchmaking Framework for Mathematical Web Services. J. Grid Comput. Simone A. Ludwig, Omer F. Rana, Julian A. Padget, William Naylor
2006	—	`conf`	Mathematical Service Discovery. Grid-Based Problem Solving Environments Julian A. Padget, Omer F. Rana
2006	J	`jnl`	Mathematical Service Discovery: Architecture, Implementation and Performance. Scalable Comput. Pract. Exp. Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget
2006	C	`ed.`	Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006 EUMAS Barbara Dunin-Keplicz, Andrea Omicini, Julian A. Padget
2006	—	`conf`	Specifying and Reasoning About Multiple Institutions. COIN@AAMAS/ECAI Owen Cliffe, Marina De Vos, Julian A. Padget
2006	J	`jnl`	Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses. J. Biomed. Informatics Maged N. Kamel Boulos, Qiang Cai, Julian A. Padget, Gerard Rushton
2005	A	`conf`	Agent-based matchmaking of mathematical web services. AAMAS Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget
2005	C	`conf`	An integrated environment for communicating UML statechart diagrams. AICCSA Vitus S. W. Lam, Julian A. Padget
2005	B	`conf`	Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. IFM Vitus S. W. Lam, Julian A. Padget
2005	A	`conf`	Consistency Checking of Statechart Diagrams of a Class Hierarchy. ECOOP Vitus S. W. Lam, Julian A. Padget
2005	J	`jnl`	E-Government and E-Democracy in Latin America. IEEE Intell. Syst. Julian A. Padget
2005	—	`conf`	LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. DALT Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham
2005	C	`conf`	Markets vs Auctions: Approaches to Distributed. EUMAS Peter Gradwell, Julian A. Padget
2005	J	`jnl`	Markets vs auctions: Approaches to distributed combinatorial resource scheduling. Multiagent Grid Syst. Peter Gradwell, Julian A. Padget
2005	Misc	`conf`	Matchmaking of Mathematical Web Services. PPAM Simone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget
2005	A	`conf`	Mathematical matchmaker for numeric and symbolic services. AAMAS Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget
2005	—	`conf`	Semantic Matching for Mathematical Services. MKM William Naylor, Julian A. Padget
2005	—	`conf`	Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops Owen Cliffe, Marina De Vos, Julian A. Padget
2005	C	`conf`	Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. EUMAS Owen Cliffe, Marina De Vos, Julian A. Padget
2005	C	`conf`	T-LAIMA: Answer Set Programming for Modelling Agents with Trust. EUMAS Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham
2005	—	`conf`	The Virtual Electronic POEM (VEP) Project. ICMC Vincenzo Lombardo, Andrea Arghinenti, Fabrizio Nunnari, Andrea Valle, Heinrich H. Vogel, John P. Fitch, Richard W. Dobson, Julian A. Padget, Kees Tazelaar, Stefan Weinzierl, Sebastian Benser, Stefan Kersten, Roman Starosolski, Wojciech Borczyk, Wojciech Pytlik, Slawomir Niedbala
2004	C	`conf`	Automatic Mapping of OWL Ontologies into Java. SEKE Aditya Kalyanpur, Daniel Jiménez Pastor, Steve Battle, Julian A. Padget
2004	B	`conf`	Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. CEC Vitus S. W. Lam, Julian A. Padget
2004	—	`conf`	Mathematics on the (Semantic) NET. ESWS Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget
2004	—	`conf`	Ride a Cock-Horse .... WEDELMUSIC John ffitch, Julian A. Padget
2004	—	`conf`	Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. ECBS Vitus S. W. Lam, Julian A. Padget
2003	—	`conf`	Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. HCC Vitus S. W. Lam, Julian A. Padget
2003	J	`jnl`	Formalizing an electronic institution for the distribution of human tissues. Artif. Intell. Medicine Javier Vázquez-Salceda, Julian A. Padget, Ulises Cortés, Antonio López-Navidad, Francisco Caballero
2003	J	`jnl`	Integrating the organ and tissue allocation processes through an Agent-Mediated Electronic Institution. Res. Comput. Sci. Antonio López-Navidad, Francisco Caballero, Julian A. Padget, Javier Vázquez-Salceda, Ulises Cortés
2003	B	`conf`	MONET: service discovery and composition for mathematical problems. CCGRID Marc-Laurent Aird, Walter Barbera-Medina, Julian A. Padget
2003	—	`conf`	On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. Software Engineering Research and Practice Vitus S. W. Lam, Julian A. Padget
2003	J	`jnl`	The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution. AI Commun. Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget, Antonio López-Navidad, Francisco Caballero
2003	—	`conf`	Towards HARMONIA: automatic generation of e-organisations from institution specifications. OAS Daniel Jiménez Pastor, Julian A. Padget
2002	—	`ed.`	Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers AMEC Julian A. Padget, Onn Shehory, David C. Parkes, Norman M. Sadeh, William E. Walsh
2002	—	`conf`	Integrating the Organ and Tissue Allocation Processes through an Agent-Mediated Electronic Institution. CCIA Javier Vázquez-Salceda, Ulises Cortés, Julian A. Padget
2002	—	`conf`	Learning to Play and Perform on Synthetic Instruments. ICMC John ffitch, Julian A. Padget
2002	—	`conf`	Skeletal Jade Components for the Construction of Institutions. AMEC Oliver Vickers, Julian A. Padget
2001	—	`conf`	Formalization of UML Statechart Diagrams in the p-Calculus. Australian Software Engineering Conference Vitus S. W. Lam, Julian A. Padget
2001	—	`conf`	Formalizing a Language for Institutions and Norms. ATAL Marc Esteva, Julian A. Padget, Carles Sierra
1999	—	`conf`	Auctions without Auctioneers: Distributed Auction Protocols. Agent Mediated Electronic Commerce (IJCAI Workshop) Marc Esteva, Julian A. Padget
1999	—	`ed.`	Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing Collaboration between Human and Artificial Societies Julian A. Padget
1999	—	`conf`	Towards Meta-Agent Protocols. Collaboration between Human and Artificial Societies Andreas Kind, Julian A. Padget
1998	—	`conf`	A pi-calculus Model of a Spanish Fish Market - Preliminary Report. AMET Julian A. Padget, Russell J. Bradford
1998	C	`conf`	Multi-lingual threading. PDP Andreas Kind, Julian A. Padget
1997	—	`conf`	FM96.5 A Java-based Electronic Auction House. PAAM Juan A. Rodríguez-Aguilar, Pablo Noriega, Carles Sierra, Julian A. Padget
1995	C	`conf`	Coordinating heterogeneous parallelism. PDP Duncan J. Batey, Julian A. Padget
1995	—	`conf`	Foundations for a Virtual Multicomputer - Progress Report. PSLS Julian A. Padget
1993	J	`jnl`	An Overview of EULISP. LISP Symb. Comput. Julian A. Padget, Greg Nuyens, Harry Bretthauer
1993	J	`jnl`	EULISP Threads: A Concurrency Toolbox. LISP Symb. Comput. Neil Berrington, Peter A. Broadbery, David De Roure, Julian A. Padget
1993	J	`jnl`	Guaranteeing Unpredictability. Comput. J. Neil Berrington, David De Roure, Julian A. Padget
1993	A	`conf`	Object-Oriented Execution of OPS5 Production Systems. OOPSLA Mohammed Hosni Odeh, Julian A. Padget
1993	J	`jnl`	Plurals: A SIMD Extension to EuLisp. LISP Symb. Comput. Simon C. Merrall, Julian A. Padget
1992	—	`conf`	Architecture Independence and Coordination. Parallel Symbolic Computing Julian A. Padget, Duncan J. Batey, Simon C. Merrall
1992	—	`conf`	Collections and Garbage Collection. IWMM Simon C. Merrall, Julian A. Padget
1992	—	`conf`	Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
1991	—	`conf`	A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. JTASPEFT/WSA Christian Queinnec, Julian A. Padget
1991	J	`jnl`	Concurrent Object-Oriented Programming in Lisp. Comput. J. Julian A. Padget, Russell J. Bradford, John P. Fitch
1991	—	`conf`	Mixing Concurrency Abstractions and Classes. Research Directions in High-Level Parallel Programming Languages Julian A. Padget, Peter A. Broadbery, David Hutchinson
1990	B	`conf`	Univariate Power Series Expansions in REDUCE. ISSAC Julian A. Padget, A. Barnes
1988	—	`conf`	The Use of Symbolic Computation in Geometric Modelling. IMA Conference on the Mathematics of Surfaces Andrew F. Wallis, Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget
1987	—	`conf`	Applications of computer algebra in solid modelling. EUROCAL Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis
1986	—	`conf`	Desiderata for the Standardization of LISP. LISP and Functional Programming Julian A. Padget
1986	—	`conf`	Enlarging the REDUCE domain of computation. SYMSAC Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer
1986	—	`conf`	Experience with an Uncommon LISP. LISP and Functional Programming Cyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian A. Padget
1985	A*	`conf`	Closurize and Concentrate. POPL Julian A. Padget, John P. Fitch
1985	—	`conf`	Current Developments in LISP. European Conference on Computer Algebra (1) Julian A. Padget
1985	—	`conf`	HEUGCD: How Elementary Upperbounds Generated Cheaper Data. European Conference on Computer Algebra (2) James H. Davenport, Julian A. Padget
1984	—	`conf`	A Pure and Really Simple Initial Functional Algebraic Language. EUROSAM John P. Fitch, Julian A. Padget
1983	—	`conf`	The ecology of LISP or the case for the preservation of the environment. EUROCAL Julian A. Padget
1982	—	`conf`	Escaping from Intermediate Expression Swell: A Continuing Saga. EUROCAM Julian A. Padget