Luc Moreau

Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

Formal Specification of Actual Trust in Multiagent Systems.

[BibT_eX]

[DOI]

Vahid Yazdanpanah

Asieh Salehi Fathabadi

Corina Cîrstea

Mehdi Dastani

Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

Actual Trust in Multiagent Systems.

[BibT_eX]

[DOI]

Vahid Yazdanpanah

Asieh Salehi Fathabadi

Corina Cîrstea

Mehdi Dastani

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Implementing an Environmental Management System Using Provenance-By-Design.

[BibT_eX]

[DOI]

Nicola Hogan

Nick O'Donnell

Proceedings of the Companion Proceedings of the ACM Web Conference 2023, 2023

A Practical Taxonomy of TAS-related Usecase Scenarios.

[BibT_eX]

[DOI]

Peta Masters

Victoria Young

Alan Chamberlain

Sachini S. Weerawardhana

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective.

[BibT_eX]

[DOI]

Victoria Young

Vahid Yazdanpanah

Asieh Salehi Fathabadi

Pauline Leonard

Michael J. Butler

Francisco J. García Izquierdo

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Why Are Conversational Assistants Still Black Boxes? The Case For Transparency.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Conversational User Interfaces, 2023

2022

Integrating Provenance Capture and UML With UML2PROV: Principles and Experience.

[BibT_eX]

[DOI]

Carlos Sáenz-Adán

Beatriz Pérez

IEEE Trans. Software Eng., 2022

Explainability-by-Design: A Methodology to Support Explanations in Decision-Making Systems.

[BibT_eX]

[DOI]

Ayah Helal

CoRR, 2022

A taxonomy of explanations to support Explainability-by-Design.

[BibT_eX]

[DOI]

Francisco J. García Izquierdo

CoRR, 2022

Automated and non-intrusive provenance capture with UML2PROV.

[BibT_eX]

[DOI]

Carlos Sáenz-Adán

Beatriz Pérez

Computing, 2022

Reasoning and interaction for social artificial intelligence.

[BibT_eX]

[DOI]

Albert Meroño-Peñuela

AI Commun., 2022

2021

Addressing Regulatory Requirements on Explanations for Automated Decisions with Provenance - A Case Study.

[BibT_eX]

[DOI]

Ayah Helal

Digit. Gov. Res. Pract., 2021

The dual function of explanations: Why it is useful to compute explanations.

[BibT_eX]

[DOI]

Comput. Law Secur. Rev., 2021

ProvViz: An Intuitive Prov Editor and Visualiser.

[BibT_eX]

[DOI]

Ben Werner

Proceedings of the Provenance and Annotation of Data and Processes, 2021

The PROV-JSONLD Serialization - A JSON-LD Representation for the PROV Data Model.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2021

Incremental Inference of Provenance Types.

[BibT_eX]

[DOI]

David Kohan Marzagão

Proceedings of the Provenance and Annotation of Data and Processes, 2021

2020

Provenance Graph Kernel.

[BibT_eX]

[DOI]

CoRR, 2020

Building Trust in Human-Machine Partnerships.

[BibT_eX]

[DOI]

Comput. Law Secur. Rev., 2020

Explanations for AI: Computable or Not?

[BibT_eX]

[DOI]

Laura Carmichael

Dong Huynh

Ayah Helal

Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020

Explanations on the Web: A Provenance-based Approach.

[BibT_eX]

Proceedings of the 16th International Conference on Web Information Systems and Technologies, 2020

2018

A Templating System to Generate Provenance.

[BibT_eX]

[DOI]

Belfrit V. Batlajery

IEEE Trans. Software Eng., 2018

Provenance Network Analytics - An approach to data analytics using data provenance.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2018

UML2PROV: Automating Provenance Capture in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

prFood: Ontology Principles for Provenance and Risk in the Food Domain.

[BibT_eX]

[DOI]

Belfrit Victor Batlajery

Adriane Chapman

Francisco J. García Izquierdo

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

Automating Provenance Capture in Software Engineering with UML2PROV.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2018

Using the Provenance from Astronomical Workflows to Increase Processing Efficiency.

[BibT_eX]

[DOI]

Michael A. C. Johnson

Proceedings of the Provenance and Annotation of Data and Processes, 2018

Belief Propagation Through Provenance Graphs.

[BibT_eX]

[DOI]

Belfrit Victor Batlajery

Adriane Chapman

Proceedings of the Provenance and Annotation of Data and Processes, 2018

2017

A Canonical Form for PROV Documents and Its Application to Equality, Signature, and Validation.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2017

2016

A Disaster Response System based on Human-Agent Collectives.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Social Influence: From Contagion to a Richer Causal Understanding.

[BibT_eX]

[DOI]

Dimitra Liotsiou

Susan Halford

Proceedings of the Social Informatics - 8th International Conference, 2016

Towards the Domain Agnostic Generation of Natural Language Explanations from Provenance Graphs for Casual Users.

[BibT_eX]

[DOI]

Darren P. Richardson

Proceedings of the Provenance and Annotation of Data and Processes, 2016

Intermediate Notation for Provenance and Workflow Reproducibility.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2016

PROV-JSONLD: A JSON and Linked Data Representation for Provenance.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2016

Privacy Impact Assessment Template for Provenance.

[BibT_eX]

[DOI]

Jenni Reuben

Leonardo A. Martucci

Simone Fischer-Hübner

Hans Hedbom

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

The rationale of PROV.

[BibT_eX]

[DOI]

J. Web Semant., 2015

A Formal Account of the Open Provenance Model.

[BibT_eX]

[DOI]

Natalia Kwasnikowska

Jan Van den Bussche

ACM Trans. Web, 2015

A-posteriori Provenance-enabled Linking of Publications and Datasets via Crowdsourcing.

[BibT_eX]

[DOI]

D Lib Mag., 2015

Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Graphs as Models, 2015

Provenance of Publications: A PROV Style for LaTeX.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Workshop on the Theory and Practice of Provenance, 2015

Obscuring Provenance Confidential Information via Graph Transformation.

[BibT_eX]

[DOI]

Jamal Ali Hussein

Vladimiro Sassone

Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

Generating Narratives from Provenance Relationship Chains.

[BibT_eX]

[DOI]

Proceedings of the 2015 Workshop on Narrative & Hypertext, 2015

Provenance for the People: An HCI Perspective on the W3C PROV Standard through an Online Game.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

HAC-ER: A Disaster Response System based on Human-Agent Collectives.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Human-agent collectives.

[BibT_eX]

[DOI]

David Nicholson

Stephen J. Roberts

Tom Rodden

Alex Rogers

Commun. ACM, 2014

Two Procedures for Analyzing the Reliability of Open Government Data.

[BibT_eX]

[DOI]

Willem Robert van Hage

Valentina Maccatrozzo

Alistair Sackley

Guus Schreiber

Nigel Shadbolt

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Sentence Templating for Explaining Provenance.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2014

Provenance for Online Decision Making.

[BibT_eX]

[DOI]

Amir Sezavar Keshavarz

Proceedings of the Provenance and Annotation of Data and Processes, 2014

ProvStore: A Public Provenance Repository.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2014

A Provenance-Based Policy Control Framework for Cloud Services.

[BibT_eX]

[DOI]

Mufajjul Ali

Proceedings of the Provenance and Annotation of Data and Processes, 2014

An Online Validator for Provenance: Algorithmic Design, Testing, and API.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Provenance: An Introduction to PROV

[BibT_eX]

[DOI]

Synthesis Lectures on the Semantic Web: Theory and Technology, Morgan & Claypool Publishers, ISBN: 978-3-031-79450-6, 2013

Reliability Analyses of Open Government Data.

[BibT_eX]

[DOI]

Willem Robert van Hage

Nigel Shadbolt

Proceedings of the 9th International Workshop on Uncertainty Reasoning for the Semantic Web co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

Interpretation of Crowdsourced Activities Using Provenance Network Analysis.

[BibT_eX]

[DOI]

Mark Ebden

Matteo Venanzi

Stephen J. Roberts

Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Easy Access to Provenance: An Essential Step Towards Trust on the Web.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

A Provenance-Aware Policy Language (cProvl) and a Data Traceability Model (cProv) for the Cloud.

[BibT_eX]

[DOI]

Mufajjul Ali

Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

AgentSwitch: towards smart energy tariff selection.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

An on-the-fly provenance tracking mechanism for stream processing systems.

[BibT_eX]

[DOI]

Watsawee Sansrimahachai

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012

Stream ancestor function: A mechanism for fine-grained provenance in stream processing systems.

[BibT_eX]

[DOI]

Watsawee Sansrimahachai

Proceedings of the Sixth International Conference on Research Challenges in Information Science, 2012

DEEP: A Provenance-Aware Executable Document System.

[BibT_eX]

[DOI]

Huanjia Yang

Chris Charlton

William J. Browne

Proceedings of the Provenance and Annotation of Data and Processes, 2012

The Xeros Data Model: Tracking Interpretations of Archaeological Finds.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2012

Network Analysis on Provenance Graphs from a Crowdsourcing Application.

[BibT_eX]

[DOI]

Mark Ebden

Stephen J. Roberts

Proceedings of the Provenance and Annotation of Data and Processes, 2012

2011

Provenance-based reproducibility in the Semantic Web.

[BibT_eX]

[DOI]

J. Web Semant., 2011

PrIMe: A methodology for developing provenance-aware applications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Special Section: The third provenance challenge on using the open provenance model for interoperability.

[BibT_eX]

[DOI]

Yogesh Simmhan

Future Gener. Comput. Syst., 2011

The Open Provenance Model core specification (v1.1).

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2011

Representing distributed systems using the Open Provenance Model.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2011

2010

The Foundations for Provenance on the Web.

[BibT_eX]

[DOI]

Found. Trends Web Sci., 2010

Metadata and provenance management

[BibT_eX]

[DOI]

CoRR, 2010

Provenance of Decisions in Emergency Response Environments.

[BibT_eX]

[DOI]

Iman Naja

Alex Rogers

Proceedings of the Provenance and Annotation of Data and Processes, 2010

Securing Provenance-Based Audits.

[BibT_eX]

[DOI]

Rocío Aldeco-Pérez

Proceedings of the Provenance and Annotation of Data and Processes, 2010

A Provenance-Based Compliance Framework.

[BibT_eX]

[DOI]

Rocío Aldeco-Pérez

Proceedings of the Future Internet - FIS 2010, 2010

2009

Recording Process Documentation in the Presence of Failures.

[BibT_eX]

[DOI]

Zheng Chen

Proceedings of the Methods, 2009

Recording Process Documentation for Provenance.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

A model of process documentation to determine provenance in mash-ups.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2009

Metadata and Provenance Management.

[BibT_eX]

[DOI]

Proceedings of the Scientific Data Management - Challenges, Technology, and Deployment., 2009

2008

Provenance: The Bridge Between Experiments and Data.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2008

Special Issue: The First Provenance Challenge.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

Extracting causal graphs from an open provenance data model.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

Performance analysis of a semantics-enabled service registry.

[BibT_eX]

[DOI]

Weijian Fang

Concurr. Comput. Pract. Exp., 2008

The provenance of electronic data.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

Commun. ACM, 2008

User evaluation of a market-based recommender system.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2008

The Open Provenance Model: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2008

Implementation and Evaluation of a Protocol for Recording Process Documentation in the Presence of Failures.

[BibT_eX]

[DOI]

Zheng Chen

Proceedings of the Provenance and Annotation of Data and Processes, 2008

XMLView: Discover domain specific service description in a UDDI compliant registry.

[BibT_eX]

[DOI]

Weijian Fang

Proceedings of the 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, September 29, 2008

Provenance-Based Auditing of Private Data Use.

[BibT_eX]

[DOI]

Rocío Aldeco-Pérez

Proceedings of the Visions of Computer Science, 2008

2007

Provenance-based validation of e-science experiments.

[BibT_eX]

[DOI]

J. Web Semant., 2007

The Requirements of Using Provenance in e-Science Experiments.

[BibT_eX]

[DOI]

J. Grid Comput., 2007

Recycling workflows and services through discovery and reuse.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

Examining the Challenges of Scientific Workflows.

[BibT_eX]

[DOI]

Computer, 2007

Topic 9 Parallel and Distributed Programming.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2007, 2007

Connecting Scientific Data to Scientific Experiments with Provenance.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

Modelling the provenance of data in autonomous systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

AgentPrIMe: Adapting MAS Designs to Build Confidence.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

2006

Report on the International Provenance and Annotation Workshop: (IPAW'06) 3-5 May 2006, Chicago.

[BibT_eX]

[DOI]

Rajendra Bose

Ian T. Foster

SIGMOD Rec., 2006

A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2006

Provenance in Agent-Mediated Healthcare Systems.

[BibT_eX]

[DOI]

Tamás Kifor

László Z. Varga

Javier Vázquez-Salceda

Sergio Álvarez-Napagao

Steven Willmott

IEEE Intell. Syst., 2006

Security Issues in a SOA-Based Provenance System.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data, 2006

Enabling Provenance on Large Scale e-Science Applications.

[BibT_eX]

[DOI]

Miguel Branco

Proceedings of the Provenance and Annotation of Data, 2006

Automated Syntactic Medation forWeb Service Integration.

[BibT_eX]

[DOI]

Martin Szomszor

Terry R. Payne

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Applying the Provenance Data Model to a Bioinformatics Case.

[BibT_eX]

Proceedings of the High Performance Computing and Grids in Action, 2006

Exposing UDDI Service Descriptions and Their Metadata Annotations as WS-Resources.

[BibT_eX]

[DOI]

Weijian Fang

Rachana Ananthakrishnan

Michael Wilde

Ian T. Foster

Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Topic 6: Grid and Cluster Computing: Models, Middleware and Architectures.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

PrIMe: a software engineering methodology for developing provenance-aware applications.

[BibT_eX]

[DOI]

Steve Munroe

Javier Vázquez-Salceda

Proceedings of the 6th International Workshop on Software Engineering and Middleware, 2006

Adaptive distributed resource allocation and diagnostics using cooperative information-sharing strategies.

[BibT_eX]

[DOI]

Partha Sarathi Dutta

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Resource aware programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Birrell's distributed reference listing revisited.

[BibT_eX]

[DOI]

Peter Dickman

Richard E. Jones

ACM Trans. Program. Lang. Syst., 2005

A market-based approach to recommender systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 2005

Learning Users' Interests by Quality Classification in Market-Based Recommender Systems.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2005

A notation and system for expressing and executing cleanly typed workflows on messy scientific data.

[BibT_eX]

[DOI]

SIGMOD Rec., 2005

Resource allocation in communication networks using market-based agents.

[BibT_eX]

[DOI]

Nadim Haque

Knowl. Based Syst., 2005

Cooperative Information Sharing to Improve Distributed Learning in Multi-Agent Systems.

[BibT_eX]

[DOI]

Partha Sarathi Dutta

J. Artif. Intell. Res., 2005

Cluster Computing and Grid 2005 Works in Progress.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2005

Modelling and Simulating Chained Negotiation to Enable Sharing of Notifications.

[BibT_eX]

[DOI]

Richard A. Lawley

Michael Luck

Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Provenance-Based Validation of E-Science Experiments.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Recording and using provenance in a protein compressibility experiment.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing, 2005

XDTM: The XML Data Type and Mapping for Specifying Datasets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Grid Computing, 2005

Using semantic Web technology to automate data integration in grid and Web service architectures.

[BibT_eX]

[DOI]

Martin Szomszor

Terry R. Payne

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

First international workshop on semantic infrastructure for grid computing applications (SIGAW).

[BibT_eX]

[DOI]

Line Pouchard

V. Tamma

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Behavioural specification of grid services with the KAoS policy language.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Sharing information for Q-learning-based network bandwidth estimation and network failure detection.

[BibT_eX]

[DOI]

Partha Sarathi Dutta

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Towards a protocol for the attachment of metadata to grid service descriptions and its use in semantic discovery.

[BibT_eX]

[DOI]

Sci. Program., 2004

Automating Experiments Using Semantic Data on a Bioinformatics Grid.

[BibT_eX]

[DOI]

Chris Wroe

Carole A. Goble

Robert Mark Greenwood

IEEE Intell. Syst., 2004

Implementing Policy Management through BDI.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XXI, 2004

A Protocol for Recording Provenance in Service-Oriented Grids.

[BibT_eX]

[DOI]

Michael Luck

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Learning Users' Interests in a Market-Based Recommender System.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Data Engineering and Automated Learning, 2004

Towards a Protocol for the Attachment of Semantic Descriptions to Grid Services.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2004

Market-Based Recommender Systems: Learning Users' Interests by Quality Classification.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Information Systems II, 2004

2003

Automated Negotiation Between Publishers And Consumers Of Grid Notifications.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2003

Personalised Grid service discovery.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2003

Automated Negotiation for Grid Notification Services.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Recording and Reasoning over Data Provenance in Web and Grid Services.

[BibT_eX]

[DOI]

Martin Szomszor

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

On the Use of Agents in BioInformatics Grid.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003

Recommender systems: a market-based design.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Market-Based Recommendations: Design, Simulation and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Information Systems, 2003

2002

Mobile objects in Java.

[BibT_eX]

[DOI]

Daniel Ribbens

Sci. Program., 2002

Certificates for mobile code security.

[BibT_eX]

[DOI]

Hock Kim Tan

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Mobile Intermediaries Supporting Information Sharing between Mobile Users.

[BibT_eX]

[DOI]

Norliza Zaini

Proceedings of the Mobile Agents, 6th International Conference, 2002

Coordination of Mobile Intermediaries Acting on Behalf of Mobile Users (Research Note).

[BibT_eX]

[DOI]

Norliza Zaini

Proceedings of the Euro-Par 2002, 2002

Transparent Fault Tolerance for Web Services Based Architectures.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2002, 2002

Agents for the Grid: A Comparison with Web Services (Part I: Transport Layer).

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

Engineering an Agent-Based Peer-To-Peer Resource Discovery System.

[BibT_eX]

[DOI]

Andrew Smithson

Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

A Market-Based Recommender System.

[BibT_eX]

[DOI]

Proceedings of the AOIS '02, 2002

2001

Distributed directory service and message routing for mobile agents.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2001

Mobile Code For Key Propagation.

[BibT_eX]

[DOI]

Hock Kim Tan

Proceedings of the First International Workshop on Security of Mobile Multiagent Systems, 2001

Formalizing the safety of Java, the Java virtual machine, and Java card.

[BibT_eX]

[DOI]

Pieter H. Hartel

ACM Comput. Surv., 2001

A construction of distributed reference counting.

[BibT_eX]

[DOI]

Jean Duprat

Acta Informatica, 2001

Trust Relationships in a Mobile Agent System.

[BibT_eX]

[DOI]

Hock Kim Tan

Proceedings of the Mobile Agents, 5th International Conference, 2001

Open hypermedia as a navigational interface to ontological information spaces.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2001, 2001

Architectural design of a multi-agent system for handling metadata streams.

[BibT_eX]

[DOI]

Don Cruickshank

David De Roure

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

From Metadata to Links.

[BibT_eX]

[DOI]

Graham Moore

Proceedings of the Open Hypertext Systems and Structural Computing, 2000

Standardizing Hypertext: Where Next for OHP?

[BibT_eX]

[DOI]

David E. Millard

Hugh C. Davis

Proceedings of the Open Hypertext Systems and Structural Computing, 2000

FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2000, Proceedings of the 11th ACM Conference on Hypertext and Hypermedia, May 30, 2000

A Link-Oriented Comparison of Hyperdocuments and Programs.

[BibT_eX]

[DOI]

Proceedings of the Digital Documents: Systems and Principles, 2000

1998

A Syntactic Theory of Dynamic Binding.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 1998

On the Expressiveness of Links in Hypertext Systems.

[BibT_eX]

[DOI]

Wendy Hall

Comput. J., 1998

Hierarchical Distributed Reference Counting.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Memory Management, 1998

A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects.

[BibT_eX]

[DOI]

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Distributed Computations Driven by Resource Consumption.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

NeXeme: A Distributed Scheme Based on Nexus.

[BibT_eX]

[DOI]

David De Roure

Ian T. Foster

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Conference on Domain-Specific Languages, 1997

1996

The Semantics of Scheme with Future.

[BibT_eX]

[DOI]

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Correctness of a Distributed-Memory Model for Scheme.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 1995

Non-Speculative and Upward Invocation of Continuations in a Parallel Language.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects.

[BibT_eX]

[DOI]

Daniel Ribbens

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994

1993

Sound Rules for Parallel Evaluation of a Functional Language with callcc.

[BibT_eX]

[DOI]

Daniel Ribbens

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992

An operational semantics for a parallel functional language with continuations.

[BibT_eX]

[DOI]