Per Year
Per Year
1045 publications without IRIS ID / 1927–2023
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1980 | 1979 | 1978 | 1977 | 1974 | 1973 | 1972 | 1971 | 1965 | 1964 | 1962 | 1959 | 1952 | 1950 | 1947 | 1939 | 1937 | 1927
- ChatGPT is not all you need. A State of the Art Review of large Generative AI models
- AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models
- Special Issue “Advances in Multi-Agent Systems”
- The PSyKE Technology for Trustworthy Artificial Intelligence
- HAMLET: a framework for Human-centered AutoML via Structured Argumentation
- Multi-Agent Cooperative Argumentation in Arg2P
- Logic Programming library for Machine Learning: API design and prototype
- On Correctness and Completeness of an n Queens Program
- Arguing About the Existence of Conflicts
- Taking stock of available technologies for compliance checking on first-order knowledge
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
- Towards Human-centric AutoML via Logic and Argumentation
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
- Modular logic argumentation in Arg-tuProlog
- Clustering-Based Approaches for Symbolic Knowledge Extraction
- Coordination of Autonomous Vehicles: Taxonomy and Survey
- Web of Digital Twins
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence
- Counterfactual Explanations for Machine Learning: Challenges Revisited
- Artificial Intelligence: A Modern Approach
- Breaking down monoliths with Microservices and DevOps: an industrial experience report
- Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain
- Partitioned integration and coordination via the self-organising coordination regions pattern
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
- Special Issue “Multi-Agent Systems” 2019
- Counterfactual Explanations for Machine Learning: A Review
- Time-Fluid Field-Based Coordination
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation
- Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
- Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24
- Complementing Agents with Cognitive Services: A Case Study in Healthcare
- Language Models are Few-Shot Learners
- Coordination in Socio-technical Systems: Where are we now? Where do we go next?
- Aggregate Processes in Field Calculus
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution
- Language Models are Unsupervised Multitask Learners
- Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
- On Context-Orientation in Aggregate Programming
- A Higher-Order Calculus of Computational Fields
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
- Security in Collective Adaptive Systems: A Roadmap
- Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
- From distributed coordination to field calculus and aggregate computing
- Case studies for a new IoT programming paradigm: Fluidware
- Deliver intelligence to integrate care: the Connecare way
- On a Higher-Order Calculus of Computational Fields
- Self-organising Coordination Regions: a Pattern for Edge Computing
- Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
- Explanation in artificial intelligence: Insights from the social sciences
- Evaluating Origin–Destination Matrices Obtained from CDR Data
- Client-side Computational Optimization
- Engineering Resilient Collaborative Edge-Enabled IoT
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept
- A development approach for collective opportunistic Edge-of-Things services
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
- The share Operator for Field-Based Coordination
- Special Issue “Multi-Agent Systems”
- Aggregate Graph Statistics
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
- Towards attack-resistant Aggregate Computing using trust mechanisms
- Combining Trust and Aggregate Computing
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
- A Survey of Methods for Explaining Black Box Models
- Distributed Speaking Objects: a Case for Massive Multiagent Systems
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities
- The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
- Optimal single-path information propagation in gradient-based algorithms
- From Field-Based Coordination to Aggregate Computing
- The mythos of model interpretability
- Space-Time Universality of Field Calculus
- Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
- Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder
- Programming Actor-Based Collective Adaptive Systems
- Transformer: A Novel Neural Network Architecture for Language Understanding
- Agents and Multi-Agent Systems for Health Care
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment
- Modeling Opportunistic IoT Services in Open IoT Ecosystems
- Augmented societies with mirror worlds
- The impact of self-loops in random boolean network dynamics
- Towards a Foundational API for Resilient Distributed Systems Design
- Coordinating Distributed Speaking Objects
- Compositional Blocks for Optimal Self-Healing Gradients
- Preface
- Practical Aggregate Programming with Protelis
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
- An Argumentation-based Perspective over the Social IoT
- Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
- Self-Adaptation to Device Distribution in the Internet of Things
- Attention Is All You Need
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
- Towards Aggregate Programming in Scala
- Resiliency with Aggregate Computing: State of the Art and Roadmap
- On Execution Platforms for Large-scale Aggregate Computing
- Run-Time Management of Computation Domains in Field Calculus
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
- Programming with event loops and control loops – From actors to agents
- Improving Gossip Dynamics Through Overlapping Replicates
- Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
- Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems
- A type-sound calculus of computational fields
- Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK
- Improving Gossip Dynamics Through Overlapping Replicates
- Aggregate Programming: From Foundations to Applications
- Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
- Simulating Large-scale Aggregate MASs with Alchemist and Scala
- Cross-organism learning method to discover new gene functionalities
- Self-adaptation to Device Distribution Changes in Situated Computing Systems
- Mastering the game of Go with deep neural networks and tree search
- Special Section on Coordination in Large-Scale Socio-Technical Systems
- Aggregate Programming for the Internet of Things
- Neural Machine Translation by Jointly Learning to Align and Translate
- GOTA: GO term annotation of biomedical literature
- Programming Multi-agent Systems
- Effective Approaches to Attention-based Neural Machine Translation
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
- GOTA: GO term annotation of biomedical literature
- Formal Foundations of Sensor Network Applications
- Space-Time Programming
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
- Show, Attend and Tell: Neural Image Caption Generation with Visual Attention
- Deep learning
- Type-based Self-stabilisation for Computational Fields
- Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
- Protelis: Practical Aggregate Programming
- A coordination model of pervasive service ecosystems
- Towards agent aggregates: perspectives and challenges
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale
- Engineering General Intelligence, Part 2
- Negotiation and Argumentation in Multi-Agent Systems
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations
- Handbook on Agent-Oriented Design Processes
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations
- A Calculus of Self-stabilising Computational Fields
- Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
- The Autonomy of Automated Systems
- Distributed statistical analysis of complex systems modeled through a chemical metaphor
- Best ACM SAC Articles on Coordination and Self-Adaptation
- Bridging the Symbolic/Subsymbolic Gap
- Towards a Unified Model of Spatial Computing
- Building Blocks for Aggregate Programming of Self-Organising Applications
- Description and composition of bio-inspired design patterns: a complete overview
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
- A calculus of computation fields
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
- Self-Organising Semantic Resource Discovery for Pervasive Systems
- Operational Semantics of Proto
- Self-Organising Semantic Resource Discovery for Pervasive Systems
- Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST
- Software Agents: Twenty Years and Counting
- Special Issue on Software Agents
- Organizing the Aggregate: Languages for Spatial Computing
- Coupling software architecture and human architecture for collaboration-aware system adaptation
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach
- On competitive self-composition in pervasive services
- Predicting Social Density in Mass Events to Prevent Crowd Disasters.
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
- Multi-agent Oriented Programming with JaCaMo
- Domain Independent Text Categorization
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
- 6th International Spatial Computing Workshop (SCW 2013)
- Injecting Self-organisation into Pervasive Service Ecosystems
- 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013)
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
- Perspectives on Spin Glasses
- Self-Organising News Management: The Molecules of Knowledge Approach
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
- A Computational Framework for Multilevel Morphologies
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
- Toward Sociotechnical Urban Superorganisms
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core
- On the Space-time Situation of Pervasive Service Ecosystems
- Typing Multi-Agent Programs in simpAL
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
- Standard Type Soundness for Agents and Artifacts
- Bottom-Up Argumentation
- Implicit: A Multi-agent Recommendation System for Web Search
- Proceedings of the AI*IA 2012 Doctoral Consortium
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL
- Self-adaptive software needs quantitative verification at runtime
- Self-organising Semantic Resource Discovery for Pervasive Systems
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
- Distributed Systems. Concepts and Design
- Is It a “Good” Encoding of Mixed Choice?
- Situation Identification Techniques in Pervasive Computing: A Review
- Interdependent Artificial Institutions in Agent Environments
- Gradient-based Self-organisation Patterns of Anticipative Adaptation
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
- Programming Distributed Multi-Agent Systems in simpAL
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
- Programming Directives for Elastic Computing
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
- The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi
- A Programming Paradigm based on Agent-Oriented Abstractions
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
- Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda
- An introduction to Bisimulation and Coinduction
- JaCa-Android: an agent-based platform for building smart mobile applications
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
- Multi-level models and infrastructures for simulating biological system development
- Seeing is not enough
- Distributed Computing. Principles, Algorithms, and Systems
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
- A Simulation Framework for Pervasive Services Ecosystems
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
- Abstraction in hardware system design
- Adaptive organizational changes in agent-oriented methodologies
- Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn
- The legacy of Steve Jobs
- Anonymity is not privacy: technical perspective
- Sustainable biomass power plant location in the Italian Emilia-Romagna region
- From Space to Stage: How Interactive Screens Will Change Urban Life
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others
- Middleware Infrastructures for Self-organising Pervasive Computing Systems
- BDI Agents with Objectives and Preferences
- The Rise of Molecular Machines
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective
- Living in a Digital World
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
- Principles of Elastic Processes
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
- Facing Openness with Socio Cognitive Trust and Categories
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
- Software Engineering for Self-Organizing Systems
- Improving brain-computer interfaces
- The software industry is the problem
- Enhancing Privacy in Multi-Agent Systems
- Global Democracy: Normative and Empirical Perspectives
- Deep diving into BitTorrent locality
- Will software engineering ever be engineering?
- Core Operational Semantics of Proto
- An interaction-oriented agent framework for open environments
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture
- Exploiting the JaCaMo framework for realising an adaptive room governance application
- Preface
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
- Computational journalism
- Towards Social-ICT Organisms
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
- Verifying the Evolution of Probability Distributions Governed by a DTMC
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
- The most ancient marketing
- Dennis Ritchie, 1941-2011
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
- A Coordination Approach to Adaptive Pervasive Service Ecosystems
- Java Security Architecture Revisited
- Model-driven communications and collaborative software development
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
- Coordinating Spatially-Situated Pervasive Service Ecosystems
- The Social Compute Unit
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
- A Tour of Reaction Systems
- A Calculus of Agents and Artifacts
- Risk Analysis and Deployment Security Issues in a Multi-Agent System
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
- Interacting with Virtual Plants: a Client-Server Approach
- The O-MaSE Process: a Standard View
- Logic-based decision support for strategic environmental assessment
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
- Transitivity in Trust. A Discussed Property
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
- A Basis Set of Operators for Space-Time Computations
- Engineering Self-Coordinating Software Intensive Systems
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
- The Description Logic Handbook: Theory, Implementation, and Applications
- Using Domain Specific Languages for platform-based software development: The case of Android
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents
- Artificial Intelligence: A Modern Approach
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems
- Programming Open Systems with Agents, Environments and Organizations
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
- Exploring the Boundaries: When Method Fragmentation is not Convenient
- Implementing reactive BDI agents with user-given constraints and objectives
- Towards Model-driven Communications
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
- Simulate plants: a client-server graphic approach
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
- Artificial Life XII
- Formal Verification of Probabilistic Swarm Behaviours
- Applying Process Document Standarization to INGENIAS
- Developing Web Client Applications with JaCa-Web
- A Framework for Modelling and Simulating Networks of Cells
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
- Chemical-Inspired Self-Composition of Competing Services
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
- Exploiting Agent-Oriented Programming for Developing Android Applications
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
- Simulation and Analysis of Distributed Systems in Klaim
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
- A Biochemical Approach to Adaptive Service Ecosystems
- Tutorial on Agent-based Modelling and Simulation
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
- Mathematics for Economics: A Statistical Mechanics Perspective
- Biochemical Tuple Spaces for Self-Organising Coordination
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
- Introducing Relevance Awareness in BDI Agents
- Introducing Relevance Awareness in BDI Agents
- The Craft of Prolog
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
- Modelling Periodic Data Dissemination in Wireless Sensor Networks
- Testing Techniques for Software Agents
- Declarative Specification and Verification of Service Choreographies
- A Goal-Oriented Approach for Modelling Self-organising MAS
- Self-Organising Coordination Systems
- Making Sense of Revision-control Systems
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
- A computational framework for modelling multicellular biochemistry
- Software Engineering: An Idea Whose Time Has Come and Gone?
- Costruire sistemi software: dai modelli al codice
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
- A Formal Definition of Colture
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- A Process Model of Actin Polymerisation
- A MAS Metamodel-Driven Approach to Process Fragments Selection
- Gaia4E: A Tool Supporting the Design of MAS using Gaia
- Parameter tuning of a stochastic biological simulator by metaheuristics
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
- Implicit Culture Framework for behavior transfer. Definition, implementation and applications
- Knowledge-based coordination with a reliable semantic subscription mechanism
- Special Issue “Engineering Environments in Multi-Agent Systems”
- An Introduction to MultiAgent Systems
- Embodied Organisations in MAS Environments
- Interactive Graphical Maps for Infocenter via Model to Model Transformation
- On the Collective Sort Problem for Distributed Tuple Spaces
- Embodying Organisations in Multi-Agent Work Environments
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
- Formalising the Environment in MAS Programming: a Formal Model
- Agent-based Modelling of Stem Cells
- Designing a Development Environment for Logic and Multi-Paradigm Programming
- Empirical comparison of methods for information systems development according to SOA
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
- Information, Physics, and Computation
- Manipulation implicite d'une organisation multiagent via l'environnement
- A SOA Based Software Engineering Design Approach in Service Engineering
- On the reification of Java wildcards
- Engineering Self-organising Systems with the Multiagent Paradigm
- The BlenXLanguage: A Tutorial
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
- Il Milione. Viaggio nella logica computazionale in Italia
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation
- Preface
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
- An Adaptation Logic Framework for Java-based Component Systems
- The Prometheus Design Tool – A Conference Management System Case Study
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- RBAC-MAS & SODA: Experimenting RBAC in AOSE
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory
- Introduction to AOSE Tools for the Conference Management System
- Towards a Tuplespace-based Middleware for the Semantic Web
- La cultura componibile. Dalla frammentazione alla disgregazione del sapere
- Agent-oriented AmI Engineering
- Lightweight Family Polymorphism
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments
- Tool-Supported Development with Tropos: The Conference Management System Case Study
- PASSIM: a simulation-based process for the development of multi-agent systems
- Writing a thesis with LaTeX
- Simulation Methods in Systems Biology
- Hierarchical Modeling for Computational Biology
- Agent Roles: from Methodologies to Infrastructures
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
- Designing a Development Environment for Logic and Multi-Paradigm Programming
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
- Model-driven Generation of Graphical Maps for e-Contents
- Introducing Join-Computing
- An experimental environment for teaching Java Security
- An Agent Framework for Ubiquitous Services
- A Process Algebraic View of Shared Dataspace Coordination
- Methodologies for Designing Agent Societies
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
- La costruzione dei sistemi software: dai modelli al codice
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems
- Econophysics and the Current Economic Turmoil
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems
- Agent Oriented Software Engineering VIII
- Integrating Java and Prolog through Generic Methods and Type Inference
- Argumentation and Artifacts for Intelligent Multi-agent Systems
- ReSpecT Guide
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS
- Fast self-healing gradients.
- vLab: an Eclipse-based Virtual Laboratory
- tuProlog 2.0: One Step Beyond
- Prototyping A&A ReSpecT in Maude
- Practical Extensions in Agent Programming Languages
- A Survey of Service Oriented Development Methodologies
- Engineering a BPEL Orchestration Engine as a Multi-agent System
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
- Extrospection: Agents Reasoning About the Environment
- Evaluating Procedural Alternatives. A Case Study in E-Voting
- Auction Negotiation for Mobile Rideshare Service
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems
- Using Eclipse in Building Model-driven e-Learning Supports
- Pervasive pheromone-based interaction with RFID tags
- Preface
- Agent-based modeling of multicell morphogenic processes during development
- Designing Self-organising MAS Environments: The Collective Sort Case
- Geo-Linda: a Geometry Aware Distributed Tuple Space
- Large Language Models in Machine Translation
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
- Measurement and Control of Self-organised Behaviour in Robot Swarms
- Pellet: A practical OWL-DL reasoner
- Discrete Event Modeling and Simulation in Systems Biology
- Developing Multi-Agent Systems with JADE
- Method fragments for agent design methodologies: from standardisation to research
- Co-Argumentation Artifact for Agent Societies
- Preface
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates
- How to infer gene networks from expression profiles
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- Special Issue on the AgentLink III Technical Forums
- Context-Dependent Evaluation Methodology for Open Source Software
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
- Service-Oriented Agent Methodologies
- Model Checking Multi-agent systems with Logic Based Petri Nets
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
- A Survey on Context-Aware Systems
- A core calculus for correlation in orchestration languages
- What is “paradigm”?
- On the Problem of Over-clustering in Tuple-based Coordination Systems
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
- Intentional Systems Theory
- Towards Integrating Agents with Objects Tracing Systems in AmI
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
- Sistemi Distribuiti
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
- RESTful Web Services
- An Agent-Oriented Programming Model for SOA & Web Services
- Executable cell biology
- Exploiting the Environment for Coordinating Agent Intentions
- Guest Editorial
- Design Patterns for Self-Organising Systems
- Situated Cellular Agents Approach to Crowd Modeling and Simulation
- A Prolog-oriented extension of Java programming based on generics and annotations
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
- Distributed Systems. Principles and Paradigms
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
- Programming Multi-Agent Systems in AgentSpeak using Jason
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications
- Decentralized Regulation of Distributed Systems: Beyond Access Control
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach
- Variant path types for scalable extensibility
- Infrastructures for the Environment of Multiagent Systems
- simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
- Integrating Software Models and Platform Models for Performance Analysis
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
- Invited Talk: A Process Algebra Master Equation
- Formal ReSpecT in the A&A Perspective
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
- Governing Environments for Agent-Based Traffic Simulations
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
- Experiences in Automated Workflows using Dialectical Argumentation
- Special Issue “Hot Topics in European Agent Research II”
- Preface
- StoKlaim: A Stochastic Extension of Klaim
- Toward Nature-Inspired Computing
- Interactive Computation: The New Paradigm
- WOA 2006 – Dagli Oggetti agli Agenti
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
- SPI - A Role for Method Engineering
- On Coordination and its Significance to Distributed and Multi-Agent Systems
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
- Socio-technical systems
- Formal ReSpecT in the A&A Perspective
- Web Services Implementation Methodology for SOA Application
- A Framework for Engineering Interactions in Java-based Component Systems
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
- Logics for Artificial Intelligence
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
- Cognitive Modeling of Social Behaviours
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
- Lime: A coordination model and middleware supporting mobility of hosts and agents
- On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
- A Generic Large Scale Simulator for Ubiquitous Computing
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
- Linkable Coordination Artifacts for Inter-Organisational Workflow
- Process Calculi Abstractions for Biology
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
- Agens Faber: Toward a Theory of Artefacts for MAS
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
- The World According To Brahms: Modeling and Simulating Work Practice
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation
- An agent oriented tool for method engineering
- The Fading Concept in Tuple-Space Systems
- On the Expressive Power of KLAIM-based Calculi
- The Plausibility of Life: Resolving Darwin's Dilemma
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
- Verification of Multi-agent Systems Via Bounded Model Checking
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems
- A Survey of Environments and Mechanisms for Human-Human Stigmergy
- Verifying Multi-agent Programs by Model Checking
- Collective Sorting Tuple Spaces
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications
- Programming MAS with Artifacts
- Fundamentals of natural computing: basic concepts, algorithms, and applications
- Service-Oriented Design and Development Methodology
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
- A Design Theory for Pervasive Information Systems
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
- Metodologie per l'ingegneria del software: approccio ad agenti
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
- Standardizing Agent Communication
- Case Studies for Self-organization in Computer Science
- OWL-S for Describing Artifacts
- Tools for kinetic modeling of biochemical networks
- The MHS Methodology: Analysis and Design for Context-Aware Systems
- 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006)
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies
- Coordination and Composition in Multi-agent Systems
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
- Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità”
- Self-Organization in Multi-Agent Systems
- RBAC for Organisation and Security in an Agent Coordination Infrastructure
- Drago: Distributed reasoning architecture for the semantic web
- On Access Restriction with Java Wildcards
- Composition of a New Process to Meet Agile Needs Using Method Engineering
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
- A Trust Analysis Methodology for Pervasive Computing Systems
- Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums”
- Environment-Based Coordination Through Coordination Artifacts
- Process Models for Agent-based Development
- Distributed Instance Retrieval in Heterogeneous Ontologies
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
- Quantitative Information in the Tuple Space Coordination Model
- Programming Multi-Agent Systems in 3APL
- Crowd Modeling and Simulation: Towards 3D Visualization
- An Agent-Oriented Conceptual Framework for Systems Biology
- Reliable Distributed Systems. Technologies, Web Services, and Applications
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
- Agent Interaction Semantics by Timed Operating Instructions
- MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
- Transactions on Computational Systems Biology III
- Special Issue “Hot Topics in European Agent Research I”
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)
- Preface
- Environments in Multiagent Systems
- Effective Tool Use in a Habile Agent
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations
- Programming Stigmergic Coordination with the TOTA Middleware
- WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi
- Probabilistic Linda-based Coordination Languages
- Time-Aware Coordination in ReSpecT
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware
- Developing MAS Solutions with Gaia and AUML
- More Principled Design of Pervasive Computing Systems
- Towards CSpaces: A New Perspective for the Semantic Web
- Programming MAS with Artifacts
- Special Issue “Process Algebras and Multi-Agent Systems”
- Verifying Multi-agent Systems via Unbounded Model Checking
- Message from the Program Chairs
- Engineering MAS Environment with Artifacts
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
- “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
- Using Swarm Intelligence in Linda Systems
- Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems
- Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
- Engineering Trust in Complex System through Mediating Infrastructures
- Engineering Societies in the Agents World IV
- sTuples: Semantic Tuple Spaces
- A Semantics for the Interaction of Agents with Coordination Artifacts
- From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
- System Support for Pervasive Applications
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
- Composing Adaptive Software
- Models and Metaphors from Biology to Bioinformatics Tools
- Ant Colony Optimization
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
- MAS as Complex Systems: A View on the Role of Declarative Approaches
- Relevance of Winning Coalitions in Indirect Control of Corporations
- Decision Support Systems and Intelligent Systems
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- Reo: A Channel-based Coordination Model for Component Composition
- An Agent-oriented Conceptual Framework for Biological Systems Simulation
- Paradigm and Software Engineering
- sTuples: Semantic Tuple Spaces
- From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs
- The Gaia Methodology
- Probabilistic KLAIM
- A Programming Language for Cognitive Agents: Goal Directed 3APL
- Model Checking for ACL Compliance Verification
- Special Issue “Coordination and Collaboration Technologies”
- Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic
- Agent Coordination Context: From Theory to Practice
- Online Engineering and Open Computational Systems
- Verifiable Multi-agent Programs
- Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information
- From the Editor in Chief: Nature-Inspired Computing
- Coordination Infrastructures in the Engineering of Multiagent Systems
- Experiencing AUML in the GAIA Methodology
- Adaptive Agents and Multiagent Systems
- C@sa: Intelligent Home Control and Simulation
- WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
- Guest Editorial
- A Conceptual Framework for Self-Organising MAS
- Preface
- Model Checking AgentSpeak
- Objective versus Subjective Coordination in the Engineering of Agent Systems
- Stochastic models for DNA replication
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures
- Coordination as a Service: Ontological and Formal Foundation
- Investigations
- Lean Software Development: An Agile Toolkit
- A software framework for matchmaking based on semantic web technology
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language
- Supporting Coordination in Open Computational Systems with TuCSoN
- Engineering Societies in the Agents World III
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
- Adaptiveness in Linda-Based Coordination Models
- Preface
- Computation Beyond Turing Machines
- MavHome: An Agent-based Smart Home
- Reasoning about Organisation: Shaping the Infrastructure
- WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva
- Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems
- Introduzione alla Programmazione a oggetti in Java
- Towards a Methodology for Coordination Mechanism Selection in Open Systems
- Architecture as a Coordination Tool in Multi-site Software Development
- Editorial Message: Special Track on Coordination models, Languages and Applications
- Activity Theory as a Framework for MAS Coordination
- Signs of a Revolution in Computer Science and Software Engineering
- Modeling Agents and their Environment
- Learning the Sequential Coordinated Behavior of Teams from Observations
- A Type-Passing Approach for the Implementation of Parametric Methods in {Java}
- Developing multiagent systems: The Gaia methodology
- Preface
- The Vision of Autonomic Computing
- Quantitative Relations and Approximate Process Equivalences
- First International Workshop on Theory and Practice of Open Computational Systems
- Method engineering for OO systems development
- How has the 9/11 terrorist attack influenced decision making?
- Rethinking MAS Infrastructure based on Activity Theory
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
- Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management
- Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications
- Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis
- Task-Oriented Engineering of Coordinated Software Systems
- Cooperative Information Agents VII
- Towards a Notion of Agent Coordination Context
- Co-operating Sequential Processes
- Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology
- Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
- Agent Coordination Contexts: Experiments in TuCSoN
- Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles
- A Specification Language for Agents Observable Behaviour
- Extreme Programming of Multi-Agent Systems
- Have ReSpecT for LogOp
- Coordination Tools for the Development of Agent-based Systems
- On the Expressiveness of Event-Based Coordination Media
- Model Checking Multi-Agent Systems with MABLE
- Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
- Specifying Agent Observable Behaviour
- Agent-based approach for software development process simulation
- An Introduction to MultiAgent Systems
- Special Issue "Coordination and Knowledge Engineering"
- Editorial Message: Special Track on Coordination Models, Languages and Applications
- Virtual Enterprises and Workflow Management as Agent Coordination Issues
- Objects and Agents Compared
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
- Principled Design of the Modern Web Architecture
- Bisimulation for Labelled Markov Processes
- Tuple-based Coordination Models in Event-based Scenarios
- Engineering Agent Societies: A Case Study in Smart Environments
- Towards an Alternative Semantics for FIPA ACL
- Computational challenges in cell simulation: a software engineering approach
- A Survey of Coordination Middleware for XML-centric Applications
- An Observation Approach to Semantics of Agents Communication Languages
- The Logic of Scientific Discovery
- Linear Embedding for a Quantitative Comparison of Language Expressiveness
- Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002
- The Complementary Nature of Coordination Dynamics: Self-organization and Agency
- Coordination Knowledge Engineering
- A Framework for Systemic Coordination in Open Computational Systems
- Tuple-based Models in the Observation Framework
- Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
- Agent-Based Modeling: Methods and Techniques for Simulating Human Systems
- Extending ReSpecT for Multiple Coordination Flows
- Design Principles of a Reactive Behavioral System for the Intelligent Room
- Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project
- Modelling Agents as Observable Sources
- The TROPOS Analysis Process as Graph Transformation System
- On the Grey-Box Modelling Approach for Autonomous Agents
- Agile development of a clinical multi-agent system: An Extreme Programming case study
- The OPEN Process Framework: An Introduction
- Introduzione alla Programmazione a oggetti in Java
- Statistical Physics of Spin Glasses and Information Processing: An Introduction
- WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
- Tuple-based Technologies for Coordination
- A Coordination Language for Collective Agent-based Systems: GroupLog
- Coordination of Internet Agents. Models, Technologies, and Applications
- Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
- Special Issue “Coordination Models and Languages in AI”
- Gamma and the Chemical Reaction Model: Fifteen Years After
- An Algorithm for Winning Coalitions in Indirect Control of Corporations
- Multi-Agent Systems as Composition of Observable Systems
- Editorial: Why Coordination Models and Languages in AI?
- Coordination as a Paradigm for Systems Integration
- Control-driven Constraint Propagation
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations
- Self Organization and Coordination
- Introduction to This Special Issue on Context-Aware Computing
- Objective Coordination in Multi-Agent System Engineering. Design and Implementation
- On the Notion of Agent Coordination Context: Preliminary Notes
- Enlightened Agents in TuCSoN
- Safe Tuplespace-based Coordination in Multiagent Systems
- XML Dataspaces for the Coordination of Internet Agents
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations
- Probabilistic Extensions of Process Algebras
- On the Unusual Effectiveness of Logic in Computer Science
- Coordination Models, Languages and Applications. Track Chair Messages
- An Assembly Process Model for Method Engineering
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework
- Simulation-verification: biting at the state explosion problem
- An Approach for Method Reengineering
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
- Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000
- Special Issue “Coordination as a Paradigm for Systems Integration”
- Enlightened Agents in TuCSoN
- Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
- Designing Agent-Oriented Systems by Analysing Agent Interactions
- The TuCSoN Coordination Infrastructure for Virtual Enterprises
- Multi-Agent Systems and Applications
- Multi-Agent Systems as Composition of Observable Systems
- Preface
- Agent-Oriented Software Engineering for Internet Applications
- Questions and Answers: Reasoning and Querying in Description Logic
- Preface: Volume 48
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
- An Agent-based Approach for Building Complex Software Systems
- Engineering Societies in the Agents World II
- EasyLiving: Technologies for Intelligent Environments
- Architectural Styles and the Design of Network-based Software Architectures
- MARS: A Programmable Coordination Architecture for Mobile Agents
- Preface
- Introduzione alla Programmazione a oggetti in Java
- Selecting a Project's Methodology
- Formal ReSpecT
- Fondamenti di Informatica A (Parte II)
- Amorphous Computing
- Context-Dependency in Internet-Agent Coordination
- Multiagent System Engineering: The Coordination Viewpoint
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
- Engineering Societies in the Agents World
- Ruling Agent Motion in Structured Environments
- Persistent Turing Machines as a Model of Interactive Computation
- The LuCe Coordination Technology for MAS Design and Development on the Internet
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems
- On the Expressiveness of Linda Coordination Primitives
- Mind the Gap! Towards a unified view of CSCW
- A Coordination Infrastructure for Agent-based Internet Applications
- The Gaia Methodology for Agent-Oriented Analysis and Design
- Amorphous Computing
- Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
- WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
- Folk Physics for Apes: The Chimpanzee's Theory of How the World Works
- Special Track on Coordination Models, Languages and Applications
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels
- Hybrid Coordination Models for Handling Information Exchange among Internet Agents
- On Agent-Based Software Engineering
- Process Migration
- Coordination for Internet Application Development
- Coordination Technologies for Internet Agents
- Mathematical Models of Interactive Computing
- Fondamenti di Informatica A (Parte I)
- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications
- The HiMAT Model for Mobile Agent Applications
- Tuple Centres for the Coordination of Internet Agents
- On the Expressiveness of Coordination Models
- The UMASS Intelligent Home Project
- A Methodology for Agent-Oriented Analysis and Design
- Hierarchical simulation approach to accurate fault modeling for system dependability evaluation
- Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework
- Comparing Coordination Models based on Shared Distributed Replicated Data
- Engineering Multi-Agent Systems in LuCe
- Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione
- Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology
- Designing Multi-Agent Systems around an Extensible Communication Abstraction
- Coordination Technology for the Development of Multi-Agent Systems on the Web
- Meta-Modelling Based Assembly Techniques for Situational Method Engineering
- Agents with Power
- Editor's Introduction: Stigmergy
- Implementing the ACLT Coordination Model
- Coordination Models for Multi-Agent Systems
- Coinductive Models of Finite Computing Agents
- On the Semantics of Tuple-based Coordination Models
- Swarm Intelligence: From Natural to Artificial Systems
- A Brief History of Stigmergy
- Adopting an Object-Oriented Data Model in Inductive Logic Programming
- Extreme Programming Explained: Embrace Change
- Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices
- The Explorable Topology: Supporting Agent Autonomy on the Internet
- Introduction to Econophysics: Correlations and Complexity in Finance
- Building Mobile Agent Applications in HiMAT
- Distributed Cognition, Coordination and Environment Design
- Coordination Models and Languages
- A Formal Specification of dMARS
- Distributed Agents Supporting Event-Driven Design Processes
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
- Towards a Hierarchy of Negative Test Operators for Generative Communication
- On the Expressive Power of KLAIM-based Calculi
- Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature?
- Understanding Code Mobility
- A Comprehensive View of Process Engineering
- Towards Empirical Computer Science
- On the Incomparability of Gamma and Linda
- A Fuzzy Description Logic
- Designing for the Dynamics of Cooperative Work Activities
- Modelling Social Action for AI Agents
- Decision procedures for BDI logics
- On the Expressive Power of a Language for Programming Coordination Media
- T Spaces
- Coordination of Mobile Agents for Information Systems: the TuCSoN Model
- Planning and acting in partially observable stochastic domains
- Collective dynamics of ‘small-world’ networks
- KLAIM: A Kernel Language for Agent Interaction and Mobility
- TuCSoN: a Coordination model for Mobile Information Agents
- Agent Communication Languages: Rethinking the Principles
- Co-ordination of Mobile Information Agents in TuCSoN
- A process algebraic view of Linda coordination primitives
- Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
- Why Interaction Is More Powerful Than Algorithms
- Designing Multi-Agent Systems around a Programmable Communication Abstraction
- Intelligent Decision Support Methods: The Science of Knowledge Work
- Expressive Power of the ACLT Reaction Specification Language
- Issues in Agent-Based Software Engineering
- Semantics and Conversations for an Agent Communication Language
- Situational Method Engineering
- Learning with an Object-Oriented Data Model
- “Go to the Ant”: Engineering Principles from Natural Agent Systems
- A Tutorial on (Co)Algebras and (Co)Induction
- Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work
- Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9
- Merging Logic Programming into Web-based Technology: A Coordination-based Approach
- Programmable Coordination Media
- Method engineering: engineering of information systems development methods and tools
- The Structure of Scientific Revolutions
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
- Coordination Models and Languages as Software Integrators
- Logic Tuple Spaces for the Coordination of Heterogeneous Agents
- Foundations of Distributed Artificial Intelligence
- A Software Environment for Concurrent Coordinated Programming
- An Object-Oriented Approach to Planning
- Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
- Integrating Knowledge Acquisition in Plan Selection
- Bulk Primitives in Linda Run-Time Systems
- An Extensible Framework for the Development of Coordinated Applications
- A distributed semantics for EMPA based on stochastic contextual nets
- Guarantees for Autonomy in Cognitive Agent Architecture
- La programmazione logica nello sviluppo del software: dai modelli agli strumenti
- Programmazione Logica Orientata agli Oggetti
- Cognitive and Social Action
- Intelligent Agents: Theory and Practice
- Reactive, Generative, and Stratified Models of Probabilistic Processes
- Integration of object-oriented analysis and performance simulation for engineering computer-based systems
- Specification and Analysis of System Architecture Using Rapide
- Robot Control Systems as Contextual Logic Programs
- Law-Governed Linda as a Coordination Model
- Context and Consciousness: Activity Theory and Human-Computer Interaction
- 1st International Conference on Multiagent Systems
- Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti
- Agent Coordination and Control through Logic Theories
- BDI Agents: From Theory to Practice
- Computational Research on Interaction and Agency
- A Petri Net Semantics for pi-Calculus
- Embedding as a Tool for Language Comparison
- Scale in Distributed Systems
- The Interdisciplinary Study of Coordination
- Moving Prolog Toward Objects
- Modularity in Logic Programming
- Open Logic Theory Composition in a Software Engineering Perspective
- A Structured Logic Programming Approach to Robot Programming
- Object-Oriented Computations in Logic Programming
- A Multi-Agent Framework and Programming Environment for Autonomous Robotics
- Distributed Programming with Logic Tuple Spaces
- Science for the post-normal age
- Agent-Oriented Programming
- A History of Speculation on the Relation between Tools and Languages
- Objects with State in Contextual Logic Programming
- An Overview of Manifold and its Implementation
- Techniques for Implementing Contexts in Logic Programming
- Objects with State in CSM
- From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
- Elements of Interaction: Turing Award Lecture
- Exploiting Logic Programming in Robot Applications
- Foundations for Interaction: The Dependence Theory
- The Origins of Order: Self-organization and Selection in Evolution
- Tools, Language and Cognition in Human Evolution
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale
- CSM User's Guide
- Implementing Contexts in Logic Programming
- A calculus of mobile processes, II
- The Chemical Abstract Machine
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
- The Semantics of a Parallel Language based on a Shared Data Space
- Methodology EngineeringR: a proposal for situation-specific methodology construction
- Barbed Bisimulation
- Objects as Evolving Contexts
- Design principles for cognitive artifacts
- Parallel Logic Programming using the Linda Model of Computation
- Coordination Languages and Their Significance
- An Abstract Architecture for Rational Agents
- A calculus of mobile processes, I
- The Concurrent Language, Shared Prolog
- Generalizing Term Subsumption Languages to Fuzzy Logic
- Modeling Rational Agents within a BDI Architecture
- Quintus Prolog 3.0
- Intelligence without Representation
- Cognitive Artifacts
- The Concept of Activity as a Basic Unit of Analysis for CSCW Research
- Intelligence Without Reason
- Separating Concurrent Languages with Categories of Language Embeddings
- What is Intention?
- Concepts and Paradigms of Object-oriented Programming
- The GAMMA Model and its Discipline of Programming
- Equivalences, congruences, and complete axiomatizations for probabilistic processes
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes
- IEEE Standard Glossary of Software Engineering Terminology
- Reactive Reasoning and Planning
- Linear logic
- Software Processes are Software too
- Intention, Plans, and Practical Reason
- Situated Actions
- Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications
- Linda and Friends
- Plans and Situated Actions: The Problem of Human-Machine Communication
- Meta-level Programming and Knowledge Representation
- Algebra of communicating processes with abstraction
- Foundations of Knowledge for Distributed Systems
- Generative Communication in Linda
- Mind in Society
- Mind in Society: Development of Higher Psychological Processes
- Time, Clocks, and the Ordering of Events in a Distributed System