Publications

Prospects for Quantum Software Engineering in the Next Decade - Supplementary material (Version 2)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Urgent Edge Computing
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Triaging Microservice Security Smells, with TriSS
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards enabling observability of energy demand, with NEST
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards a Comprehensive Approach to Resource and Conflict Management in Cloud-Edge Settings
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On Maintainability and Microservice Dependencies: How Do Changes Propagate?
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Model-Driven End-to-End Resolution of Security Smells in Microservice Architectures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
From Quantum Software Handcrafting to Quantum Software Engineering
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
From Quantum Mechanics to Quantum Software Engineering
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Environmentally Sustainable Software Design and Development: A Systematic Literature Review
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Detecting and Resolving Bad Organisational Smells for Microservices
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Carbon-aware Software Services
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Beyond Security: Understanding the Multiple Impacts of Security Smells for Microservices
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Interview with Tsong Yueh Chen - 2024 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Interview with Massimiliano Di Penta - 2024 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Interview with Martin Robillard - 2024 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Logic Programming Approach to VM Placement
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A declarative reasoning approach to conflict management in Intent-Based Networking
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Supplemental material for \"Multi-Layered Continuous Reasoning for Cloud-IoT Application Management\"
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators (Version 5)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
yRCA: An explainable failure root cause analyser
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards Resolving Security Smells in Microservices, Model-Driven
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards declarative intent processing and conflict resolution in IBN
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Tools Reconstructing Microservice Architecture: A Systematic Mapping Study
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
To Security and Beyond: On The Impacts of Microservice Security Smells and Refactorings
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Sustainable placement of VNF chains in Intent-based Networking
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Sustainable goal-oriented smart environments: a declarative programming approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Sustainable Cloud-Edge Infrastructure as a Service
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Smelling Homemade Crypto Code in Microservices, with KubeHound
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Simulating FaaS Orchestrations In The Cloud-Edge Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Service-Oriented and Cloud Computing - 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Semi-Automated Smell Resolution in Kubernetes-Deployed Microservices
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Secure Partitioning of Cloud Applications, with Cost Look-Ahead
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Offline Mining of Microservice-Based Architectures (Extended Version)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Model-Driven Security Smell Resolution in Microservice Architecture Using LEMMA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Leasing the Cloud-Edge Continuum, à la Carte
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Kubernetes-Enabled Detection and Resolution of Architectural Smells for Microservices
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
KubeHound: Detecting Microservices' Security Smells in Kubernetes Deployments
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Green Orchestration of Cloud-Edge Applications: State of the Art and Open Challenges
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Estimating the Environmental Impact of Green IoT Deployments
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Distributing Quantum Computations, by Shots
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Dispatching Shots Among Multiple Quantum Computers: An Architectural Proposal
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Declarative and Linear Programming Approaches to Service Placement, Reconciled
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Data-aware Declarative Application Management in the Cloud-IoT Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Customisable Fault and Performance Monitoring Across Multiple Clouds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Continuous QoS-aware adaptation of Cloud-IoT application placements
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Assessing and enhancing a Cloud-IoT monitoring service over federated testbeds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Anomaly Detection and Failure Root Cause Analysis in (Micro) Service-Based Cloud Applications: A Survey
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Interview with John Grundy - 2023 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Interview with Gail Murphy - 2023 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Interview with Chunyang Chen - 2023 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
AI Techniques in the Microservices Life-Cycle: A Survey
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Trending Topics in Software Engineering (1)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Trending Topics in Software Engineering
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Trending Topics in Software Engineering
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Standards-based modeling and deployment of serverless function orchestrations using BPMN and TOSCA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Software Engineering After the COVID-19 Outbreak
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Should Microservice Security Smells Stay or be Refactored? Towards a Trade-off Analysis
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Serverless or Serverful? A Pattern-Based Approach for Exploring Hosting Alternatives
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Self-healing trans-cloud applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Secure Partitioning of Composite Cloud Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Probabilistic QoS-aware Placement of VNF Chains at the Edge
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
People Counting in the Times of Covid-19
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pattern-Based Resolution of Integration Mismatches in Enterprise Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Osmotic management of distributed complex systems: A declarative decentralised approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Offline Mining of Microservice-based Architectures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Microservices Security: Bad vs. Good Practices
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Microservices Beyond COVID-19 (Invited Paper)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Keynote: The fog is rising, in sustainable smart cities
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Failure Root Cause Analysis for Microservices, Explained
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Declarative continuous reasoning in the cloud-IoT continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Data-Aware Service Placement in the Cloud-IoT Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Data-Aware Service Placement in the Cloud-IoT Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Data-Aware Application Placement and Management in the Cloud-IoT Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Compositional testing of management conformance for multi-component enterprise applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An interview with Xin Xia - 2022 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An interview with Miryung Kim - 2022 SIGSOFT Awardee
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Revised Selected Papers
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
What Went Wrong? Explaining Cascading Failures in Microservice-Based Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The (μ)TOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Smells and Refactorings for Microservices Security: A Multivocal Literature Review
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Secure FaaS orchestration in the fog: how far are we?
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Profit-aware placement of multi-flavoured VNF chains
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Placing FaaS in the Fog, Securely
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Pains and Gains of Peer-Reviewing in Software Engineering (5)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering (4)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Lightweight self-organising distributed monitoring of Fog infrastructures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Green Application Placement in the Cloud-IoT Continuum
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
From Serverful to Serverless: A Spectrum of Patterns for Hosting Application Components
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
FaaSten your decisions: A classification framework and technology review of function-as-a-Service platforms
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Declarative Osmotic Application Placement
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Declarative Goal Mediation in Smart Environments
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Declarative Application Management in the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Corrigendum to \"Lightweight self-organising distributed monitoring of Fog infrastructures\" [Future Gener. Comput. Syst. 114 (2020) 605-618]
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Automated Generation of Configurable Cloud-Native Chaos Testbeds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Anomaly Detection and Failure Root Cause Analysis in (Micro)Service-Based Cloud Applications: A Survey
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Declarative Goal-oriented Framework for Smart Environments with LPaaS
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Towards Declarative Decentralised Application Management in the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
TOSCA Light: Bridging the Gap between the TOSCA Specification and Production-ready Deployment Technologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The essential deployment metamodel: a systematic review of deployment automation technologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Testing Conformance in Multi-component Enterprise Application Management
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Technology-Agnostic Declarative Deployment Automation of Cloud Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Software Engineering Worldwide
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Simulating FogDirector Application Management
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pattern-based Modelling, Integration, and Deployment of Microservice Architectures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering (3)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering (2)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pains and Gains of Peer- Reviewing in Software Engineering
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Mining the Architecture of Microservice-Based Applications from their Kubernetes Deployment
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
How to place your apps in the fog: State of the art and open challenges
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Frameworks and High-Availability in Microservices: An Industrial Survey
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Fine-grained management of cloud-native applications, based on TOSCA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Finding Feasible Application Deployments in Edge Clusters, with Limited Resources
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
FaaSten Your Decisions: Classification Framework and Technology Review of Function-as-a-Service Platforms
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Ensemble-Based Software Engineering for Modern Computing Platforms
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Design principles, architectural smells and refactorings for microservices: a multivocal review
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Deployment and Management of Fog Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Continuous Reasoning for Managing Next-Gen Distributed Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Component-aware Orchestration of Cloud-based Enterprise Applications, from TOSCA to Docker and Kubernetes
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Component-aware orchestration of cloud-based enterprise applications, from TOSCA to Docker and Kubernetes
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Cloud-native Deploy-ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-native Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The Essential Deployment Metamodel: A Systematic Review of Deployment Automation Technologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
The EDMM Modeling and Transformation System
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Secure Cloud-Edge Deployments, with Trust
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Robust Management of Trans-Cloud Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, EnSEmble@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Probabilistic QoS-aware Placement of VNF chains at the Edge
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Predictive Analysis to Support Fog Application Deployment
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Mimicking FogDirector application management
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Measuring the Fog, Gently
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Making a Business Out of (Predictive Application Management in) the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Identifying Failure Causalities in Multi-component Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
How to Place Your Apps in the Fog - State of the Art and Open Challenges
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Grey Literature: A Safe Bridge Between Academy and Industry?
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Freshening the Air in Microservices: Resolving Architectural Smells via Refactoring
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Estimating costs of multi-component enterprise applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Design principles, architectural smells and refactorings for microservices: A multivocal review
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Cloud Container Technologies: A State-of-the-Art Review
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
True Concurrent Management of Multi-component Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The pains and gains of microservices: A Systematic grey literature review
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Simulation-based matching of cloud applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Secure Apps in the Fog: Anything to Declare?
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Predictive Management of Fog Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Orchestrating incomplete TOSCA applications with Docker
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Optimising QoS-Assurance, Resource Usage and Cost of Fog Application Deployments
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On Enhancing the Orchestration of Multi-container Docker Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Helping Your Docker Images to Spread Based on Explainable Models
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Fault-aware management protocols for multi-component applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Explaining Successful Docker Images Using Pattern Mining Analysis
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Deploying Fog Applications: How Much Does It Cost, By the Way?
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Bonsai in the Fog: An active learning lab with Fog computing
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A microservice-based architecture for (customisable) analyses of Docker images
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Validating TOSCA Application Topologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards a Reference Dataset of Microservice-Based Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
TosKer: Orchestrating Applications with TOSCA and Docker
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Sommelier: A Tool for Validating TOSCA Application Topologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
QoS-Aware Deployment of IoT Applications Through the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Modelling, analysing and reusing composite cloud applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Keynote speech 3: QoS-aware deployment of Fog applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
How to Best Deploy Your Fog Applications, Probably
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
From (Incomplete) TOSCA Specifications to Running Applications, with Docker
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
DrACO: Discovering available cloud offerings
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
DockerFinder: Multi-attribute Search of Docker Images
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Container-Based Support for Autonomic Data Stream Processing Through the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Application Deployment through the Fog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
ToscaMart: A method for adapting and reusing cloud applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
SeaClouds: An Open Reference Architecture for Multi-cloud Governance
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Finding available services in TOSCA-compliant clouds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Fault-Aware Application Management Protocols
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Behaviour-Aware Matching of Cloud Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Modelling the Behaviour of Management Operations in Cloud-based Applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Modelling and Analysing Cloud Application Management
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Automated Prediction of the QoS of Service Orchestrations: PASO at Work
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Adaptive management of applications across multiple clouds: The SeaClouds Approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
WebASM: An Abstract State Machine Execution Environment for the Web
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
TOSCA in a Nutshell: Promises and Perspectives
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
SeaClouds: Seamless adaptive multi-cloud management of service-based applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
SeaClouds: a European project on seamless management of multi-cloud applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Reusing cloud-based services with TOSCA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Matching Cloud Services with TOSCA
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards behaviour-aware compositions of things in the future internet
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Behaviour-Aware Compositions of Things
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A formalized, taxonomy-driven approach to cross-layer application adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Evolving reactive logic programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Design and implementation of Sator: A web service aggregator
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Analysing the Behaviour of Peer Specifications for mobile P2P applications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
8th IEEE European Conference on Web Services (ECOWS 2010), 1-3 December 2010, Ayia Napa, Cyprus
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Software composition with Linda
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Net-based Approach to Web Services Publication and Replaceability
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Workflow-based semantics for peer-to-peer specifications
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Workflow Semantics of Peer and Service Behaviour
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Tailoring service discovery to embedded P2P systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Semantics-based composition-oriented discovery of Web services
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Secure P2P Programming on Top of Tuple Spaces
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Ontology- and Behavior-Aware Discovery of Web Service Compositions
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the Use of Behavioural Equivalences for Web Services' Development
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Modelado de sistemas P2P con control de excepciones
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Evolving Reactive Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Service adaptation through trace inspection
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
SAM : A Semantic Web Service Discovery System
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
From OWL-S Descriptions to Petri Nets
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Discovering Service Compositions That Feature a Desired Behaviour
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Behaviour-Aware Discovery of Web Service Compositions
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Service-Oriented Model for Embedded Peer-to-Peer Systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Behavioural Congruence for Web Services
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the semantics of software adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the expressiveness of timed coordination models
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
From BPEL Processes to YAWL Workflows
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Foundations on Coordination Languages and Software Architectures
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Dynamic Contextual Adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Component adaptation through flexible subservicing
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Automated Generation of BPEL Adapters
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Automated Discovery of Compositions of Services Described with Separate Ontologies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Event-Condition-Action Logic Programming Language
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Prototype for Discovering Compositions of Semantic Web Services
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Towards Semi-automated Workflow-Based Aggregation of Web Services
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The Well Supported Semantics for Multidimensional Dynamic Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The Refined Extension Principle for Semantics of Dynamic Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Operational Semantics for DyLPs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Composition-Oriented Service Discovery
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A framework for specifying and verifying the behaviour of open systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A formal approach to component adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Well Founded Semantics for Logic Program Updates
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Towards an Engineering Approach to Component Adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Preface
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the Semantics of Logic Program Composition
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Measuring Component Adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
From Logic Programs Updates to Action Description Updates
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Formalizing Web Service Choreographies
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Digital reconstruction of the Arrigo VII funerary complex
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Behavioural Types for Service Integration: Achievements and Challenges
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Behavioural Types and Component Adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Soft component adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Safe Composition of Linda-based Components
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the specification of software adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the Expressiveness of Relative-Timed Coordination Models
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the expressiveness of coordination via shared dataspaces
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Logic Programming for Evolving Agents
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
An Evolving Agent with EVOLP
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
An Evolvable Rule-Based E-mail Agent
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Deductive Database Approach to A.I. Planning
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Systematic Component Adaptation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Security and Dynamic Compositions of Open Systems
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Preface
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Preface
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On Modeling Coordination via Asynchronous Communication and Enhanced Matching
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Evolving Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Dynamically Adapting the Behaviour of Software Components
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Compatibility of Linda-based Component Interfaces
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Adapting Components with Mismatching Behaviours
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Security Issues in Component-based Design
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Probabilistic behaviours of reactive agents
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Linear Embedding for a Quantitative Comparison of Language Expressiveness
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
From Subject Directories to Subject Meta-directories via Declarative Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Coordinating interaction patterns
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Comparative analysis of the expressiveness of shared dataspace coordination
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Special Issue on Logical Formalisms for Program Composition - Editorial
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
On Timed Coordination Languages
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the Interplay between Reactivity and Computation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Programming by Combining General Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the Expressiveness of Coordination Models
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Interactive Information System for the Camposanto Monumentale of Pisa
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
ExpertFinder: A Prolog Recommender System Integrated with the WWW
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Dynamic composition of parameterised logic modules
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The Use of Renaming in Composing General Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
On the Expressiveness of Linda-like Concurrent Languages
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Program Specialiser for Meta-Level Compositions of Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Modeling Coordination via Asynchronous Communication
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Composing General Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Unifying View for Logic Programming with Non-Monotonic Reasoning
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
A Turing machine contest for introducing high school students to computer science
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Specialising Meta-level Compositions of Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Pruning the Search Space of Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Fully Abstract Composition Semantics for an Algebra of Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
An Abductive Framework for Extended Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Semantics of Meta-Logic in an Algebra of Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Modular Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Implementations of Program Composition Operations
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Gödel as a Meta-Language for Composing Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Amalgamating Language and Meta-language for Composing Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Distributed Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Composing Open Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Normal Logic Programs as Open Positive Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Metalogic for State Oriented Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Meta for Modularising Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Compositional Model-Theoretic Semantics for Logic Programs
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
ATMS for Implementing Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Theory Construction in Computational Logic
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
The Concurrent Language, Shared Prolog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Open Logic Theories
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Objects in a Logic Programming Framework
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Metalogic for Knowledge Representation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Abductive Reasoning in a Multi-Theory Framework
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Universal Quantification by Case Analysis
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Logic Programming within a Functional Framework
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Inheritance and Hypothetical Reasoning in Logic Programming
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Hypothetical Reasoning in Logic Programming: A Semantic Approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
AND-Parallelism without Shared Variables
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
A Distributed, Net Oriented Semantics for Delta Prolog
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI