Journal Articles by (2005—2009)
Below, the papers published on journals by between 2005 and 2009, ordered by year of publication.2009
Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science 229(1), 2009
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science 229(1), 2009
Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on Software Engineering Methodologies 18(4), July 2009
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on Software Engineering Methodologies 18(4), July 2009
Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009
Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, nov 2009
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, nov 2009
Bryan O'Sullivan
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009
Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009
Tom De Marco
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009
Pierluigi Contucci, Francesca Romiti
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science 229(1), 2009
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science 229(1), 2009
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009
| [top] |
|---|
2008
Peter McBurney, Andrea Omicini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science 194(4), April 2008
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science 194(4), April 2008
Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering 2(2), 2008
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering 2(2), 2008
H. Eugene Stanley
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), December 2008
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), December 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science 194(4), April 2008
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science 194(4), April 2008
Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
The Knowledge Engineering Review 23(2), June 2008
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
The Knowledge Engineering Review 23(2), June 2008
Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 2008
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 2008
Luca Cardelli, Philippa Gardner, Ozan Kahramanoğullari
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science 194(3), 2008
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science 194(3), 2008
Pierluigi Contucci, Cristian Giardina
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 2008
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 2008
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
Lecture Notes in Computer Science 4908, 2008
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
Lecture Notes in Computer Science 4908, 2008
Sara Montagna, Alessandro Ricci, Andrea Omicini
A&A for Modelling and Engineering Simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering 2(2), 2008
A&A for Modelling and Engineering Simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
The Journal of Chemical Physics 128(20), 2008
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
The Journal of Chemical Physics 128(20), 2008
Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Automating Workflow using Dialectical Argumentation
IADIS International Journal on Computer Science and Information Systems 3(2), Autumn 2008
Automating Workflow using Dialectical Argumentation
IADIS International Journal on Computer Science and Information Systems 3(2), Autumn 2008
Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Towards a Tuplespace-based Middleware for the Semantic Web
Web Intelligence and Agent Systems 6(3), 2008
Towards a Tuplespace-based Middleware for the Semantic Web
Web Intelligence and Agent Systems 6(3), 2008
Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008
Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Phase Transitions in Social Sciences: Two-populations Mean Field Theory
International Journal of Modern Physics B 22(14), 10 June 2008
Phase Transitions in Social Sciences: Two-populations Mean Field Theory
International Journal of Modern Physics B 22(14), 10 June 2008
| [top] |
|---|
2007
Tristan M. Behrens, Jurgen Dix
Model Checking Multi-agent systems with Logic Based Petri Nets
Annals of Mathemathics and Artificial Intelligence 51(2-4), 2007
Model Checking Multi-agent systems with Logic Based Petri Nets
Annals of Mathemathics and Artificial Intelligence 51(2-4), 2007
Andrea Omicini
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science 175(2), June 2007
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science 175(2), June 2007
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science 180(2), June 2007
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science 180(2), June 2007
Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007
Danny Weyns, Andrea Omicini, James J. Odell
Environment as a First Class Abstraction in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Environment as a First Class Abstraction in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence: An International Journal 21(4-5), April 2007
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence: An International Journal 21(4-5), April 2007
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research 29, 2007
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research 29, 2007
Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Discrete Event Modeling and Simulation in Systems Biology
Journal of Simulation 1(2), May 2007
Discrete Event Modeling and Simulation in Systems Biology
Journal of Simulation 1(2), May 2007
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007
Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering 1(1), 2007
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering 1(1), 2007
Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Agent-based modeling of multicell morphogenic processes during development
Birth Defects Research (Part C) 81, 2007
Agent-based modeling of multicell morphogenic processes during development
Birth Defects Research (Part C) 81, 2007
Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007
Giulio Piancastelli, Andrea Omicini
tuProlog 2.0: One Step Beyond
ALP Newsletter 20(1), February-March 2007
tuProlog 2.0: One Step Beyond
ALP Newsletter 20(1), February-March 2007
Mamei Marco, Franco Zambonelli
Pervasive pheromone-based interaction with RFID tags
ACM Transactions on Autonomous and Adaptive Systems 2(2), June 2007
Pervasive pheromone-based interaction with RFID tags
ACM Transactions on Autonomous and Adaptive Systems 2(2), June 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), may 2007
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), may 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science 175(2), June 2007
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science 175(2), June 2007
Davide Balzarotti, Paolo Costa, Gian Pietro Picco
The LighTS Tuple Space Framework and its Customization for Context-aware Applications
Web Intelligence and Agent Systems 5(2), 2007
The LighTS Tuple Space Framework and its Customization for Context-aware Applications
Web Intelligence and Agent Systems 5(2), 2007
Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
Stem Cells 25(7), July 2007
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
Stem Cells 25(7), July 2007
Pierluigi Contucci, Stefano Ghirlanda
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007
Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
How to infer gene networks from expression profiles
Molecular Systems Biology, February 2007
How to infer gene networks from expression profiles
Molecular Systems Biology, February 2007
Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), jan 2007
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), jan 2007
Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 2007
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 2007
Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Introduction to the Special Issue: The AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007
Introduction to the Special Issue: The AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007
Tim O'Reilly
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
Communications & Strategies 65(1st Quarter), 31 March 2007
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
Communications & Strategies 65(1st Quarter), 31 March 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), June 2007
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), June 2007
Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Sep 2007
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Sep 2007
| [top] |
|---|
2006
Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006
Christine Julien, Gruia-Catalin Roman
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking
Lecture Notes in Computer Science 4304, 2006
Verification of Multi-agent Systems Via Bounded Model Checking
Lecture Notes in Computer Science 4304, 2006
Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006
Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture 52(8-9), August-September 2006
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture 52(8-9), August-September 2006
Andrea Omicini, Agostino Poggi
Multiagent Systems
Intelligenza Artificiale III(1-2), March-June 2006
Multiagent Systems
Intelligenza Artificiale III(1-2), March-June 2006
Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006
R Alves, F Antunes, A Salvador
Tools for kinetic modeling of biochemical networks.
Nature Biotechnology 24(6), 2006
Tools for kinetic modeling of biochemical networks.
Nature Biotechnology 24(6), 2006
Jiming Liu, Kwok Ching Tsui
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006
L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Lecture Notes in Computer Science 3476, June 2006
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Lecture Notes in Computer Science 3476, June 2006
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Electronic Notes in Theoretical Computer Science 154(1), 2006
A Framework for Engineering Interactions in Java-based Component Systems
Electronic Notes in Theoretical Computer Science 154(1), 2006
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
Informatica 30(1), January 2006
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
Informatica 30(1), January 2006
Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
Lecture Notes in Computer Science 4020, 2006
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
Lecture Notes in Computer Science 4020, 2006
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March–June 2006
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March–June 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Electronic Notes in Theoretical Computer Science 154(1), 2006
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Electronic Notes in Theoretical Computer Science 154(1), 2006
M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, jul 2006
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, jul 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spacess
CEUR Workshop Proceedings, 26-27 September 2006
Collective Sorting Tuple Spacess
CEUR Workshop Proceedings, 26-27 September 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Electronic Notes in Theoretical Computer Science 150(3), 29 May 2006
Agens Faber: Toward a Theory of Artefacts for MAS
Electronic Notes in Theoretical Computer Science 150(3), 29 May 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006
Sascha Ossowski, Ronaldo Menezes
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence: An International Journal 20(2-4), February-April 2006
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence: An International Journal 20(2-4), February-April 2006
| [top] |
|---|
2005
Mirko Viroli, Andrea Omicini
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Andrea Omicini, Peter McBurney
The AgentLink III Technical Forums: Introduction to the Special Issue
The Knowledge Engineering Review 20(2), June 2005
The AgentLink III Technical Forums: Introduction to the Special Issue
The Knowledge Engineering Review 20(2), June 2005
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative Information in the Tuple Space Coordination Model
Theoretical Computer Science 346(1), 23 November 2005
Quantitative Information in the Tuple Space Coordination Model
Theoretical Computer Science 346(1), 23 November 2005
Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Environments in Multiagent Systems
The Knowledge Engineering Review 20(2), June 2005
Environments in Multiagent Systems
The Knowledge Engineering Review 20(2), June 2005
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum
AgentLink Newsletter 17, April 2005
The Second AgentLink III Technical Forum
AgentLink Newsletter 17, April 2005
Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005
Mirko Viroli, Giovanni Rimassa
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005
M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Verifying Multi-agent Systems via Unbounded Model Checking
Lecture Notes in Computer Science 3228, 2005
Verifying Multi-agent Systems via Unbounded Model Checking
Lecture Notes in Computer Science 3228, 2005
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Electronic Notes in Theoretical Computer Science 128(5), 2005
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Electronic Notes in Theoretical Computer Science 128(5), 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Electronic Notes in Theoretical Computer Science 128(5), 3 May 2005
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Electronic Notes in Theoretical Computer Science 128(5), 3 May 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
Informatica 29(4), November 2005
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
Informatica 29(4), November 2005
Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Self-Organization in Multi-Agent Systems
The Knowledge Engineering Review 20(2), June 2005
Self-Organization in Multi-Agent Systems
The Knowledge Engineering Review 20(2), June 2005
Alessandro Ricci, Mirko Viroli
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Informatica 29(4), November 2005
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Informatica 29(4), November 2005
Eugene Eberbach
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
Fundamamenta Informaticae 68(1~-~-2), apr 2005
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
Fundamamenta Informaticae 68(1~-~-2), apr 2005
Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Process Models for Agent-based Development
Engineering Applications of Artificial Intelligence 18(2), march 2005
Process Models for Agent-based Development
Engineering Applications of Artificial Intelligence 18(2), march 2005
| [top] |
|---|
PDF Version
Powered by XWiki Enterprise 3.1.1 - Documentation
Privacy
Partita IVA: 01131710376 - Copyright © 2008-2015 APICe@DISI Research Group
Privacy
Partita IVA: 01131710376 - Copyright © 2008-2015 APICe@DISI Research Group