Research

Items by Padget, Julian

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 207.

Book/s

Aldewereld, H., Boissier, O., Dignum, V., Noriega, P. and Padget, J., eds., 2016. Social Coordination Frameworks for Social Technical Systems. Springer International Publishing. (Law, Governance and Technology Series; 30)

Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., Torres da Silva, V., Matson, E. and Polleres, A., eds., 2010. Coordination, Organizations, Institutions and Norms in Agent Systems V. Springer. (Lecture Notes in Artificial Intelligence; 6069)

Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds., 2008. Coordination, Organizations, Institutions, and Norms in Agent Systems III. Springer. (Lecture Notes in Artificial Intelligence; 4870)

Dunin-Keplicz, B., Omicini, A. and Padget, J., eds., 2006. Proceedings of 4th European Multi-Agent Systems Workshop.Vol. 223. CEUR.

Padget, J., Neira, R. and Díaz de León, J. L., 2004. e-Government and e-Democracy: Progress and Challenges. Instituto Politécnico Nactional.

Padget, J., ed., 1999. Collaboration between Human and Artifical Societies. Springer. (Lecture Notes in Artificial Intelligence; 1624)

Book Sections

Shams, Z., De Vos, M., Padget, J. and Oren, N., 2016. Forthcoming. Normative practical reasoning via argumentation and dialogue. In: 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. .

Dignum, V. and Padget, J., 2013. Multiagent organizations. In: Weiss, G., ed. Multiagent Systems, 2nd ed. Cambridge, U. K.: MIT Press, pp. 51-98. (Intelligent Robotics & Autonomous Agents Series)

Nieves, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. and Reed, C., 2011. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. In: Schahram, D. and Li, F., eds. Services Engineering: European Research Results. Vienna, Austria: Springer, pp. 85-115.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J.A. and Wallis, A.F., 1989. A geometric algebra system. In: Woodwark, J.R., ed. Geometric Reasoning. Oxford, UK: Clarendon Press, pp. 1-30.

Articles

Jahedpari, F., Rahwan, T., Michalak, T., Hashemi, S., De Vos, M., Padget, J. and Woon, W. L., 2016. Forthcoming. Online Prediction via Artificial Continuous Prediction Markets. IEEE Intelligent Systems

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2016. The effect of real-time context-aware feedback on occupants' heating behaviour and thermal adaptation. Energy and Buildings, 123, pp. 179-191. Item availability may be restricted.

Duro, J. A., Padget, J. A., Bowen, C. R., Kim, H. A. and Nassehi, A., 2016. Multi-sensor data fusion framework for CNC machining monitoring. Journal of Mechanical Systems and Signal Processing, 66-67, pp. 505-520.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2015. Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications, 22, pp. 3-16.

Basurra, S. S., De Vos, M., Padget, J., Ji, Y., Lewis, T. and Armour, S., 2015. Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks, 25 (Part A), pp. 16-37.

Song, Y.-Z., Bowen, C. R., Kim, H. A., Nassehi, A., Padget, J., Gathercole, N. and Dent, A., 2014. Non-invasive damage detection in beams using marker extraction and wavelets. Mechanical Systems and Signal Processing, 49 (1-2), pp. 13-23.

Song, Y.-Z., Bowen, C. R., Kim, A. H., Nassehi, A., Padget, J. and Gathercole, N., 2014. Virtual visual sensors and their application in structural health monitoring. Structural Health Monitoring - An International Journal, 13 (3), pp. 251-264.

Lee, J., Li, T. and Padget, J., 2013. Towards polite virtual agents using social reasoning techniques. Computer Animation and Virtual Worlds, 24 (3-4), pp. 335-343.

Elakehal, E. E. and Padget, J., 2012. MSMAS: modelling self-managing multi agent systems. Journal of Scalable Computing: Practice and Experience, 13 (2), pp. 121-137.

Brazier, F., Dignum, V., Huhns, M. N., Derksen, C., Dignum, F., Lessner, T., Padget, J., Quillinan, T. and Singh, M. P., 2012. Agent-based organisational governance of services. Multiagent and Grid Systems, 8 (1), pp. 3-18.

Lam, V. S. W. and Padget, J., 2012. Equivalence checking of communicating UML statechart diagrams. International Journal of Software Engineering and Knowledge Engineering, 22 (2), pp. 265-304.

Natarajan, S., Padget, J. and Elliott, L., 2011. Modelling UK domestic energy and carbon emissions: an agent-based approach. Energy and Buildings, 43 (10), pp. 2602-2612.

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Traskas, D. and Padget, J., 2011. A multi-agent systems approach to call-centre management. International Journal of Parallel, Emergent and Distributed Systems, 26 (5), pp. 347-367.

Song, Y.-Z., Bowen, C., Kim, H. A., Nassehi, A., Padget, J., Gathercore, N. and Dent, A., 2011. Non-invasive damage detection in composite beams using marker extraction and wavelets. Proceedings of SPIE - The International Society for Optical Engineering, 7983, 79830R.

Aldewereld, H., Padget, J., Vasconcelos, W., Vazquez-Salceda, J., Sergeant, P. and Staikopoulos, A., 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems, 25 (4), pp. 80-84.

Staikopoulos, A., Cliffe, O., Popescu, R., Padget, J. and Clarke, S., 2010. Template-based adaptation of semantic web services with model-driven engineering. IEEE Transactions on Services Computing, 3 (2), pp. 116-130.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2009. Engineering design optimization using services and workflows. Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences, 367 (1898), pp. 2741-2751.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Matchmaking framework for mathematical web services. Journal of Grid Computing, 4 (1), pp. 33-48.

Chevaleyre, Y., Dunne, P. E., Endriss, U., Lang, J., Lemaitre, M., Maudet, N., Padget, J., Phelps, S., Rodrguez-Aguilar, J. A. and Sousa, P., 2006. Issues in Multiagent Resource Allocation. Informatica, 30, 3--31.

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J., 2006. Mathematical Service Discovery: Architecture, Implementation and Performance. Journal of Scalable Computing: Practice and Experience, 7 (2), pp. 35-52.

Boulos, M. N. K., Cai, Q., Padget, J. A. and Rushton, G., 2006. Using software agents to preserve individual health data confidentiality in micro-scale geographical analyses. Journal of Biomedical Informatics, 39 (2), pp. 160-170.

Gradwell, P. and Padget, J., 2005. Markets vs. Auctions: Approaches to Distributed Combinatorial Resource Scheduling. Multiagent and Grid Systems, 1, 251--262.

Padget, J., 2005. E-government and E-democracy in Latin America. IEEE Intelligent Systems, 20 Jan-Feb (1), pp. 94-96.

Vazquez-Salceda, J., Padget, J. A., Cortes, U., Lopez-Navidad, A. and Caballero, F., 2003. Formalizing an electronic institution for the distribution of human tissues. Artificial Intelligence in Medicine, 27 (3), pp. 233-258.

Vazquez-Salceda, J., Cortes, U., Padget, J., Lopez-Navidad, A. and Caballero, F., 2003. The organ allocation process: a natural extension of the Carrel Agent-Mediated Electronic Institution. AI Communications, 16, pp. 153-165.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1, pp. 87-108.

Chan, K. W., Dunn, R. W., Daniels, A. R., Padget, J. A., Ekwue, A. O., Buxton, P. H. and Rawlins, M. J., 1997. On-line dynamic-security contingency screening and ranking. Generation, Transmission and Distribution, IEE Proceedings-, 144 (2), pp. 132-138.

Joyce, S., Osguthorpe, D., Padget, J. and Price, G., 1995. Neural network prediction of glass-transition temperatures from monomer structure. Journal of Chemical Society, Faraday Transactions, 91, pp. 2491-2496.

Padget, J., Nuyens, G. and Bretthauer, H., 1993. An overview of EuLisp. Lisp and Symbolic Computation, 6 (1-2), pp. 9-97.

Berrington, N., Broadberry, P. and Padget, J., 1993. EuLisp Threads: a concurrency toolbox. Lisp and Symbolic Computation, 1/2, pp. 177-199.

Merrall, S. and Padget, J., 1993. Plurals:A SIMD extension to EuLisp. Lisp and Symbolic Computation, 6 (1/2), pp. 201-219.

Padget, J., Bradford, R. and ffitch, J., 1991. Concurrent object-oriented programming in LISP. The Computer Journal, 34 (4), pp. 311-319.

Reports/Papers

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 1: e-Health. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-08)

Padget, J. A., 2005. AgentcitiesUK.net Challenge Day 2: e-Government and e-Democracy. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2005-09)

Cliffe, O., Padget, J. A. and De Vos, M., 2005. Specifying and analysing agent-based social institutions using answer set programming. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Conference or Workshop Items

Shams, Z., Vos, M. D., Padget, J. and Vasconcelos, W., 2016. Implementation of normative practical reasoning with durative actions. Springer International Publishing, pp. 335-353. (Lecture Notes in Computer Science; 9628)

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. and van Riemsdijk, M. B., 2016. Revising institutions governed by institutions for compliant regulations. In: Dignum, V., Noriega, P., Sensoy, M. and Simao Sichman, J., eds. International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, 2015-05-04 - 2015-05-04. Springer International Publishing, pp. 191-208. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9628)

Smith, T. and Padget, J., 2015. Semantic Descriptions for Logical Content Generation. In: Foundations of Digital Games 2015, 2015-06-22 - 2015-06-25, California.

Thompson, M., Battle, S. and Padget, J., 2015. Telling non-linear stories with interval temporal logic. In: Shoenau-Fog, H., Bruni, L. E., Louchart, S. and Baceviciute, S., eds. 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, 2015-11-30 - 2015-12-04. Switzerland: Springer, pp. 370-373. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9445)

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR, 1 - 14.

Padget, J. and Vasconcelos, W., 2015. Policy-Carrying Data:A Step Towards Transparent Data Sharing. In: The 6th International Conference on Ambient Systems, Networks and Technologies, 2015-06-02 - 2015-06-05.

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08.

Baines, V. and Padget, J., 2015. A situational awareness approach to intelligent vehicle agents. In: Baines, V. and Padget, J., eds. 2nd SUMO User Conference, SUMO 2014, 2014-05-15 - 2014-05-16. Springer, pp. 77-103. (Lecture Notes in Mobility)

Thompson, M., Padget, J. and Battle, S., 2015. An interactive, generative Punch and Judy show using institutions, ASP and emotional agents. In: AISB Convention 2015, 2015-04-20 - 2015-04-22. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB).

Thompson, M., Padget, J. and Battle, S., 2015. Governing narrative events with institutional norms. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 142-151. (OpenAccess Series in Informatics (OASIcs))

Elakehal, E. E., Montali, M. and Padget, J., 2015. Run-time verification of MSMAS norms using event calculus. In: 2014 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, 2014-09-08 - 2014-09-12. IEEE, pp. 110-115.

Vellei, M., Natarajan, S., Biri, B., Padget, J. and Walker, I., 2015. The effect of real-time context-aware feedback on thermal comfort and heating energy use:A case study. In: 31th International PLEA Conference: ARCHITECTURE IN (R)EVOLUTION, 2015-09-09 - 2015-09-11.

Noriega, P., Padget, J., Verhagen, H. and D’Inverno, M., 2015. Towards a framework for socio-cognitive technical systems. In: Ghose, A., Oren, N., Telang, P. and Thangarajah, J., eds. 10th International Conference on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2014, 2016-05-06 - 2016-05-06. Switerland: Springer, pp. 164-181. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9372)

McCullen, N., Walker, I., Natarajan, S. and Padget, J., 2014. Smart meter roll-out strategy and its effect on energy savings at community level. In: Behave Energy Conference, 2014-09-03 - 2014-09-04, Said Business School, University of Oxford.

Padget, J., Elakehal, E. E., Satoh, K. and Ishikawa, F., 2014. On requirements representation and reasoning using answer set programming. In: 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings, 2014-08-26 - 2014-08-26. IEEE, pp. 35-42.

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. Springer, pp. 136-154. (Lecture Notes in Computer Science)

Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. and Padget, J., 2014. Designing sensor sets for capturing energy events in buildings. In: 5th ACM International Conference on Future Energy Systems, e-Energy 2014, 2014-06-11 - 2014-06-13. New York, U. S. A.: ACM, pp. 229-230.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. In: 1st International Jurix Doctoral Consortium and Poster Sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, 2013-12-11 - 2013-12-13.

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. N-Jason: Run-time norm compliance in AgentSpeak(L). In: Dalpiaz, F., Dix, J. and Birna van Riemsdiijk, M., eds. 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, 2014-05-05 - 2014-05-06. Springer, pp. 367-387. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8758)

Lee, J., Padget, J., Logan, B., Dybalova, D. and Alechina, N., 2014. Run-time norm compliance in BDI agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014, 2014-05-05 - 2014-05-09. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1581-1582.

Pieters, W., Padget, J., Dechesne, F., Dignum, V. and Aldewereld, H., 2013. Obligations to enforce prohibitions:On the adequacy of security policies. In: 6th International Conference on Security of Information and Networks (SIN 2013), 2013-11-26 - 2013-11-28. New York, NY, USA: ACM, pp. 54-61.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14. NY, USA: ACM, pp. 202-206.

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Berlin, Germany: Springer, pp. 53-70. (Lecture Notes in Computer Science; 7756)

Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: 1st International Workshop on Cognitive Agents for Virtual Environments, CAVE 2012, 2012-06-03 - 2012-06-03. Berlin, Germany: Springer, pp. 17-36. (Lecture Notes in Computer Science; 7764)

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Bevan, C., Emanuel, L., Padget, J., Swart, J., Powell, J. and Basurra, S., 2013. Factors in the emergence and sustainability of self-regulation. In: AISB Convention. Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)., 2013-04-03 - 2013-04-05.

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1205-1206.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2013. Handling change in normative specifications. In: Baldoni, M., Dennis, L., Mascardi, V. and Vasconcelos, W., eds. 10th International Workshop, DALT 2012, 2012-06-04 - 2012-06-04. Berlin: Springer, pp. 1-19. (Lecture Notes in Computer Science; 7784)

Padget, J., 2013. Situating COIN in the cloud (Invited Paper). In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Springer, pp. 1-16. (Lecture Notes in Computer Science)

Savarimuthu, B. T. R., Padget, J. and Purvis, M., 2013. Social norm recommendation for virtual agent societies. Springer Verlag, pp. 308-323. (Lecture Notes in Computer Science; 8291)

Elakehal, E. E., Montali, M. and Padget, J., 2013. Verifying MSMAS model using S CIFF. In: Klusch, M., Thimm, M. and Paprzycki, M., eds. 11th German Conference on Multiagent System Technologies, MATES 2013, 2013-09-16 - 2013-09-20. Berlin: Springer, pp. 44-58. (Lecture Notes in Computer Science; 8076)

Basurra, S.S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06.

Novelli, V., De Vos, M., Padget, J. and D'Ayala, D., 2012. LOG-IDEAH:ASP for architectonic asset preservation. In: Dovier, A. and Santos Costa, V., eds. 28th International Conference on Logic Programming, 2012-09-04 - 2012-09-08. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

Duan, K., Ye, V., Kim, H. and Padget, J., 2012. A resource-oriented architecture for MDO framework. In: 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference Honolulu, Hawaii, 2012-04-23 - 2012-04-26. Reston, U. S. A.: American Institute of Aeronautics and Astronautics (AIAA), AIAA-2012-1674.

Duan, K., Padget, J., Kim, H.A. and Hosobe, H., 2012. Composition of engineering web services with universal distributed data-flows framework based on ROA. In: Alarcon, R., Pautasso, C. and Wilde, E., eds. Third International Workshop on RESTful Design (WS-REST 2012) at WWW2012, 2012-04-16. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 41-48.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. and Satoh, K., 2012. Handling change in normative specifications. In: Hoek, W. v. d., Padgham, L., Conitzer, V. and Winikoff, M., eds. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2012, 2012-06-04 - 2012-06-08. IFAAMAS, pp. 1369-1370.

Elakehal, E. E. and Padget, J., 2012. Market intelligence and price adaptation. In: 14th Annual International Conference on Electronic Commerce, ICEC 2012, 2012-08-06 - 2012-08-07. New York, U. S. A.: ACM, pp. 9-16.

Balke, T., De Vos, M. and Padget, J., 2012. Normative run-time reasoning for institutionally-situated BDI agents. Berlin, Germany: Springer Verlag, pp. 129-148. (Lecture Notes in Computer Science; 7254)

Bibu, G., Padget, J. and Yoshioka, N., 2012. System security requirements analysis with answer set programming. In: 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, 2012-09-24 - 2012-09-24. IEEE, pp. 10-13.

Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06.

Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. Heidelberg: Springer, pp. 11-20.

Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 192-209. (Lecture Notes in Computer Science)

Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. and Nieuwenhuis, K., 2011. ALIVE:a model-driven framework to develop dynamic, flexible, distributed service-oriented systems. In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, September 23, 2010 - September 26, 2010, 2011-01-01. Piscataway, NJ: IEEE Computer Society, pp. 485-492.

Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. and Natarajan, S., 2011. An agent-based infrastructure for energy profile capture and management. In: 2011 International Conference on Networking, Sensing and Control, ICNSC 2011, 2011-04-11 - 2011-04-13.

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, 2011-01-01. Heidelberg: Springer, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 77-94. (Lecture Notes in Computer Science; 6541)

Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26. Piscataway, U.S.A: IEEE Computer Society.

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 95-113. (Lecture Notes in Computer Science)

Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010, November 11, 2010 - November 14, 2010, 2010-11-01. IEEE, pp. 1188-1191.

Cliffe, O., Scotney, A. and Padget, J., 2010. Bootstrapping semantic web services with in-language annotations. In: 7th Extended Semantic Web Conference, 2010-05-29 - 2010-06-03.

Padget, J., Riat, H., Warnier, M., Brazier, F. and Natarajan, S., 2010. An agent-based infrastructure for energy profile capture and management. In: Agent Technologies for Energy Systems (ATES 2010), 2010-05-11.

Vazquez-Salceda, J., Vasconcelos, W., Padget, J. A., Dignum, F., Clarke, S. and Roig, M. P., 2010. ALIVE:an agent-based framework for dynamic and robust service-oriented applications. In: Hoek, W. v. d., Kaminka, G. A., Lespérance, Y., Luck, M. and Sen, S., eds. The Ninth International Conference on Autonomous Agents and Multiagent Systems, 2010, 2010-05-09 - 2010-05-14. Richland, U. S. A.: IFAAMAS, pp. 1637-1638.

Vazquez-Salceda, J., Ceccaroni, L., Dignum, F., Vasconcelos, W., Padget, J., Clarke, S., Sergeant, P. and Nieuwenhuis, K., 2010. Combining organisational and coordination theory with model driven approaches to develop dynamic, flexible, distributed business systems. In: 1st International ICST Conference on Digital Business, DigiBiz 2009, June 17, 2009 - June 19, 2009, 2010-01-01. Heidelberg: Springer, pp. 175-184. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Brazier, F.M., Dignum, V., Dignum, F., Huhns, M.H., Lessner, T., Padget, J., Quillinan, T. and Singh, M.P., 2010. Governance of services:a natural function for agents. In: 22nd Benelux Conference on Artificial Intelligence, BNAIC 2010, 2000-10-24 - 2010-10-25.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

Khader, D., Padget, J. and Warnier, M., 2010. Reactive monitoring of service level agreements. Dordrecht, Germany: Springer Verlag, pp. 13-22.

Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. Springer, pp. 49-64. (Lecture Notes in Artificial Intelligence)

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. Heidelberg: Springer, pp. 236-239.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 21st Benelux Conference on Artificial Intelligence, BNAIC 2009, 2009-10-29 - 2009-10-30.

Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 1st International Conference on Agents and Artificial Intelligence, ICAART 2009, January 19, 2009 - January 21, 2009, 2009-01-01. Instrumentation Systems and Automation Society, pp. 533-539. (Proceedings of the 1st International Conference on Agents and Artificial Intelligence)

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

Alvarez-Napageo, S., Cliffe, O. C., Vazquez-Salceda, J. and Padget, J. A., 2009. Norms, organisations and semantic web services:the ALIVE approach. In: 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW 2009, 2009-09-07 - 2009-09-10.

Dignum, F., Dignum, V., Padget, J. and Vazquez-Salceda, J., 2009. Organizing web services to develop dynamic, flexible, distributed systems. In: 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS2009), 2009-12-14 - 2009-12-16.

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual dynamic adaptation of models and service enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01.

Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2008. Structural optimization using services and workflows. In: UK e-Science All Hands Meeting: Crossing Boundaries, 2008-09-08 - 2008-09-11.

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, 2008-01-01. Springer, pp. 41-57. (Lecture Notes in Computer Science; 4870)

Gradwell, P., Oey, M., Timmer, R., Brazier, F. and Padget, J., 2008. Engineering large-scale distributed auctions. In: 20th Belgian-Dutch Conference on Artificial Intelligence, BNAIC 2008, 2008-10-30 - 2008-10-31.

El-Akehal, E. E.-d. and Padget, J. A., 2008. Pan-supplier stock control in a virtual warehouse. In: Berger, M., Burg, B. and Nishiyama, S., eds. AAMAS08 7th International Conference on Autonomous Agents and Multi Agent Systems, 2008-05-11 - 2008-05-15. Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, pp. 11-18.

ffitch, J. and Padget, J., 2008. Provenance in computer music. In: International Computer Music Conference, 2008, 2008-08-24 - 2008-08-29. Belfast, N. Ireland: ICMA and Queen's University, Belfast, pp. 121-124.

Chapman, N., Ludwig, S. A., Naylor, W., Padget, J. and Rana, O. F., 2007. Matchmaking support for dynamic workflow composition. In: IEEE International Conference on e-Science and Grid Computing, 2007, 2007-12-10 - 2007-12-13. IEEE, pp. 371-378.

Gradwell, P. and Padget, J., 2007. A comparison of distributed and centralised agent based bundling systems. In: Dellarocas, C. and Dignum, F., eds. ICEC 2007: Ninth International Conference on Electronic Commerce, 2007-08-01.

ffitch, J., Mitchell, J. and Padget, J., 2007. Composition with sound web services and workflows. In: Proceedings of the 2007 International Computer Music Conference, 2007-08-01. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 419-422.

Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2007-08-01. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2007. Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Ken, S. and Toni, F., eds. Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII, 2006-05-08 - 2006-05-09. Heidelberg, Germany: Springer, pp. 60-79. (Lecture Notes in Computer Science; 4371)

Naylor, W. and Padget, J., 2006. From untyped to polymorphically typed objects in mathematical web services. (Lecture Notes in Artificial Intelligence)

De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. and Needham, J., 2006. LAIMA: A multi-agent platform using ordered choice logic programming. (Lecture Notes in Artificial Intelligence)

Padget, J. and Rana, O., 2006. Mathematical Service Discovery. In: Gaffney, P., ed. Proceedings of IFIP 2.5 Working Group Meeting (Prescott, AZ), 2006-01-01.

Naylor, W. and Padget, J., 2006. Semantic matching for mathematical services. Springer, pp. 174-189. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. Berlin, Germany: Springer, pp. 99-113. (Lecture Notes in Artificial Intelligence; 3913)

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. and Brain, M., 2005. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In: European Workshop on Multi-Agent Systems (EUMAS05), 2005-12-01.

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Matchmaking of Mathematical Web Services. In: Workshop on Large Scale Computations on Grids (LaSCoG) in proceedings of 6th International Conference on Parallel Processing and Applied Mathematics, 2005-09-01.

Lombardo, V., Arghinenti, A., Nunnari, F., Valle, A., Vogel, H. H., Fitch, J., Dobson, R., Padget, J., Tazelaar, K., Weinzierl, S., Benser, S., Kersten, S., Starosolski, R., Borczyk, W., Pytlik, W. and Niedba, X., 2005. The Virtual Electronic Poem (VEP) Project. In: Tampere SuviSoft, O. L., ed. ICMC 2005 Free Sound, 2005-09-01.

Barbera-Medina, W., Padget, J. and Aird, M., 2005. Brokerage for mathematical services in MONET. Springer, pp. 253-272. (Multiagent Systems, Artificial Societies, and Simulated Organizations; 13)

Ludwig, S., Naylor, W., Rana, O. and Padget, J., 2005. Agent-based Matchmaking of Mathematical Web Services. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M. and Wooldridge, M., eds. 4th International Joint Conference on Autonomous Agents and Multiagent Systems 2005, 2005-07-25 - 2005-07-29.

Lam, V. S. W. and Padget, J., 2005. Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus. Berlin, Germany: Springer, pp. 347-365. (Lecture Notes in Computer Science : Programming and Software Engineering; 3771)

Lam, V. S. W. and Padget, J., 2005. Consistency checking of statechart diagrams of a class hierarchy. (Lecture Notes in Computer Science)

Ludwig, S. A., Rana, O. F., Naylor, W. and Padget, J. A., 2005. Mathematical matchmaker for numeric and symbolic services. In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems 2005, 2005-07-25 - 2005-07-29.

Casasola, E., De, V., Cliffe, O. and Padget, J., 2005. Teaching Multi-Agent Systems in the UK and in LatinAmerica. In: ITALICS (Innovations in Teaching And Learning inInformation and Computer Sciences), an on-line journal, 2005-01-01.

Fitch, J. P. and Padget, J. A., 2004. Ride a Cock-horse.... In: Delgado, J., Nesi, P. and Ng, K., eds. WEDELMUSIC 2004, 2004-09-01. IEEE, pp. 136-143.

Lam, V. S. W. and Padget, J., 2004. Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. In: IEEE International Conference on E-Commerce Technology (CEC'04), 2004-07-01.

Kalyanpur, A., Pastor, D. J., Battle, S. and Padget, J., 2004. Automatic mapping of OWL ontologies into Java. In: Maurer, G. R. F., ed. Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE), 2004-06-01.

Lam, V. S. W. and Padget, J., 2004. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004-05-01.

Caprotti, O., Davenport, J. H., Dewar, M. and Padget, J., 2004. Mathematics on the (semantic) NET. (Lecture Notes in Computer Science)

Lam, V. S. W. and Padget, J., 2003. Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003-10-01.

Lam, V. S. W. and Padget, J., 2003. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In: Al-Ani, B., Arabnia, H. R. and Mun, Y., eds. Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, 2003-06-01.

Aird, M., Medina, W. B. and Padget, J., 2003. MONET: service discovery and composition for mathematical problems. In: Rana, O. and Graupner, S., eds. Proceedings of IEEE workshop on Agent-based Cluster and Grid Computing (CCGrid 2003), 2003-05-01.

Aird, M.-L., Medina, W. B. and Padget, J., 2003. Brokerage for mathematical web services in MONET. In: Proceedings of Web Services and Agent Based Systems'03 at AAMAS03, 2003-01-01.

Pastor, D. J. and Padget, J., 2003. Towards HARMONIA:automatic generation of e-organisations from institution specifications. In: AAMAS '03, Second International Conference on Autonomous Agents and Multiagent Systems, 2003-07-14 - 2003-07-18. New York, U. S. A.: ACM.

ffitch, J. P. and Padget, J. A., 2002. Learning to play and perform on synthetic instruments. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, pp. 432-435.

Cliffe, O. and Padget, J., 2002. A framework for checking agent interaction within institutions. In: Proceedings of MOCHART workshop at ECAI'02, 2002-01-01.

Padget, J., Parkes, D., Sadeh, N., Shehory, O. and Walsh, W., 2002. Agent-Mediated Electronic Commerce IV. Springer. (Lecture Notes in Artificial Intelligence)

Batey, D. J. and Padget, J., 2002. Coordinating heterogeneous parallelism. IEEE, pp. 339-346.

Esteva, M., Padget, J. and Sierra, C., 2002. Formalizing a language for institutions and norms. (Lecture Notes in Artificial Intelligence)

Vazquez-Salceda, J., Cortes, U. and Padget, J., 2002. Integrating the organ and tissue allocation processes through an agent-mediated electronic institution. (Lecture Notes in Artificial Intelligence)

Vickers, O. and Padget, J., 2002. Skeletal Jade components for the construction of institutions. (Lecture Notes in Artificial Intelligence)

Vazquez-Salceda, J., Ulises, C., Lopez-Navidad, A., Cabellero, F. and Padget, J., 2002. The organ allocation process:a natural extension of the Carrel agent mediated electronic institution.

Lam, V. and Padget, J., 2001. Formalization of UML Statechart Diagrams in the π-calculus. In: Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), 2001-08-01.

ffitch, J. and Padget, J., 2001. Creating a computer-assistant for performance. In: Proceedings of Music Without Walls? Music Without Instruments?, 2001-06-01.

Padget, J., 2001. Modelling simple market structures in process algebras with locations. In: Luc, M., ed. AISB'01 Symposium on Software Mobility and Adaptive Behaviour, 2001-01-01.

Esteva, M. and Padget, J., 2000. Auctions without auctioneers:distributed auction protocols. Berlin, Germany: Springer Verlag, pp. 220-238. (Lecture Notes in Artificial Intelligence; 1788)

Padget, J. and Bradford, R., 1999. A π-calculus model of the spanish fish market. Berlin, Germany: Springer Verlag, pp. 166-188. (Lecture Notes in Artificial Intelligence; 1571)

Kind, A. and Padget, J., 1999. Towards meta-agent protocols. Berlin, Germany: Springer Verlag, pp. 30-42. (Lecture Notes in Computer Science; 1624)

Padget, J. and Kind, A., 1998. A tunable architecture for delivering interpreted programs. Institute national de recherche en informatique et en automatique, pp. 117-139. (Collection Didactique)

Kind, A. and Padget, J., 1998. Multi-lingual threading. In: Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998, 1998-01-21 - 1998-01-23. IEEE Computer Society, pp. 431-437.

Rodriguez, J. A., Noriega, P., Sierra, C. and Padget, J., 1997. FM96.5 A Java-based electronic auction house. In: 2nd International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM) '97, 1997-03-10 - 1997-03-10. Blackpool, U. K.: Practical Application Company Ltd, pp. 207-224.

Padget, J., 1995. Foundations for a virtual multicomputer:progress report. Berlin, Germany: Springer Verlag, pp. 336-343. (Lecture Notes in Computer Science; 1068)

Padget, J., 1994. Controlling (virtual) multicomputers. In: 1st International Conference on Massively Parallel Computing Systems, 1994, 1994-05-02 - 1994-05-06. Los Alamitos, U. S. A.: IEEE Computer Society, pp. 102-112.

Padget, J., Batey, D. and Merrall, S., 1993. Architecture independence and coordination. Springer, pp. 287-299. (Lecture Notes in Computer Science)

Odeh, M. H. and Padget, J. A., 1993. Object-oriented execution of OPS5 production systems. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 178-190.

Batey, D. and Padget, J., 1993. Towards A Virtual Multicomputer. In: Proceedings of Workshop on Heterogeneous Processing at the International Parallel Processing Symposium (WHP93), 1993-01-01. IEEE, pp. 71-76.

Padget, J., Broadbery, P. and Hutchinson, D., 1992. Mixing concurrency abstractions and classes. Berlin, Germany: Springer Verlag, pp. 174-186. (Lecture Notes in Computer Science; 574)

Merrall, S. C. and Padget, J. A., 1992. Collections and garbage collection. Berlin, Germany: Springer Verlag, pp. 473-489. (Lecture Notes in COmputer Science; 637)

Queinnec, C. and Padget, J., 1991. A proposal for a modular Lisp with macros and dynamic evaluation. Bordeaux, France: BIGRE: Bulletin d'information du Groupe de recherche sur les outils de conception et d'écriture des systèmes opératoires, pp. 1-8.

Queinnec, C. and Padget, J., 1991. Modules, macros and Lisp. In: Baeza-Yates, R. and Manber, U., eds. Eleventh International Conference of the Chilean Computer Science Society, 1991, 1991-10-15 - 1991-10-18. New York, U. S. A.: Plenum Publishing Corporation, New York NY (USA), pp. 109-122.

Padget, J. and Barnes, A., 1990. Univariate power series expansions in REDUCE. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 82-87.

Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. and Padget, J. A., 1989. The use of symbolic computation in geometric modelling. New York, U. S. A.: Clarendon Press, pp. 199-206. (Mathematics of Surfaces)

Burdorf, C., Fitch, J. P., Marti, J. B. and Padget, J. A., 1989. A Multiprocessor Execution Profiler. In: Software Track Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, 1989-01-01. University of Hawaii, pp. 524-531.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J. and Wallis, A.F., 1989. Applications of computer algebra in solid modelling. Berlin: Springer, pp. 244-245. (Lecture Notes in Computer Science; 378)

Padget, J., Chailloux, J., Christaller, T., Lopez De Mantaras, R., Dalton, J., Devin, M., ffitch, J. P., Krumnack, T., Neidl, E., Papon, E., Pope, S., Queinnec, C., Steels, L. and Stoyan, H., 1986. Desiderata for the standardization of LISP. In: Gabriel, R. P., ed. ACM Conference on LISP and Functional Programming: Papers Presented at the Conference, Cambridge, Massachusetts, August 4-6, 1986, 1986-08-04 - 1986-08-06. Cambridge, U. S. A.: Association for Computing Machinery (ACM), pp. 54-66.

Padget, J., 1986. Current Developments in LISP. Berlin, Germany: Springer Verlag, pp. 45-57. (Lecture Notes in Computer Science; 203)

Bradford, R. J., Hearn, A. C., Padget, J. A. and Schrüfer, E., 1986. Enlarging the REDUCE domain of computation. New York, U. S. A.: Association for Computing Machinery (ACM), pp. 100-106.

Alberga, C., Bosman-Clark, C., Mikelsons, M., Deusen, M. V. and Padget, J., 1986. Experience with an uncommon Lisp. In: Proceedings of 1986 ACM Symposium on Lisp and Functional Programming, 1986-01-01. Cambridge, Massachusetts, US: Association for Computing Machinery (ACM), pp. 39-53.

Davenport, J. and Padget, J., 1986. On numbers and polynomials. Chichester, U. K.: Wiley Masson, pp. 49-53. (Études et recherches en informatique)

Stoyan, H., Chailloux, J., ffitch, J. P., Krumnack, T., Neidl, E., Padget, J., Attardi, G., Christaller, T., Dalton, J., Devin, M., Lang, B., Mantaras, R. L. d., Papon, E., Pope, S., Quiennec, C. and Steels, L., 1986. Towards a LISP standard. In: Boulay, B. d., Hogg, D. and Steels, L., eds. Seventh European Conference on Artificial Intelligence( ECAI), 1986, 1986-07-20 - 1986-07-25. Amsterdam, The Netherlands: North-Holland, pp. 46-52.

Davenport, J. and Padget, J., 1985. HEUGCD- How elementary upperbounds generate cheaper data. Berlin, Germany: Springer Verlag, pp. 18-28. (Lecture Notes in Computer Science; 204)

Padget, J. A. and Fitch, J. P., 1985. Closurize and Concentrate. In: Proceedings of POPL 85, New Orleans, 1985-01-01. New York: ACM, pp. 255-265.

Fitch, J. P. and Padget, J. A., 1985. The Extent of Scope. In: Proceedings of 5th Hungarian Computer Science Conference, GyHor, Hungary, 1985-01-01. Budapest:: Hungariam Academy of Sciences, pp. 173-184.

Padget, J. and Fitch, J., 1985. The rationale of LIER: A considered LISP. Philadelphia PA, USA: Word Scientific Publishing Company, pp. 41-53. (Series in Computer Science)

Fitch, J. P. and Padget, J. A., 1984. A Pure And Really Simple Initial Functional Algebraic Language. In: Fitch, J. P., ed. Proceedings of EUROSAM 84, 1984-01-01. Heidelberg: Springer, pp. 148-158. (Lecture Notes in Computer Science)

Padget, J., 1983. The Ecology of LISP or the Case for the Preservation of the Environment. London, U. K.: Springer Verlag, pp. 91-100. (Lecture Notes in Computer Science; 162)

Padget, J., 1982. Escaping from intermediate expression swell:a continuing saga. Berlin, Germany: Springer Verlag, pp. 256-262. (Lecture Notes in Computer Science; 144)

This list was generated on Mon Sep 26 15:55:16 2016 IST.