| Publication | Date of Publication | Type |
|---|
On a higher-order calculus of computational fields
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Space-Fluid Adaptive Sampling by Self-Organisation
Logical Methods in Computer Science | 2024-01-16 | Paper |
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
Logical Methods in Computer Science | 2023-03-22 | Paper |
scientific article; zbMATH DE number 7471673 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471673 (Why is no real title available?) | 2022-02-09 | Paper |
scientific article; zbMATH DE number 7269248 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269248 (Why is no real title available?) | 2020-11-03 | Paper |
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
Standard type soundness for agents and artifacts
Scientific Annals of Computer Science | 2019-02-08 | Paper |
A higher-order calculus of computational fields
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
Type-based self-stabilisation for computational fields
Logical Methods in Computer Science | 2016-01-07 | Paper |
A framework for modelling and simulating networks of cells
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Prototyping concurrent systems with agents and artifacts: framework and core calculus
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
| Effective and efficient compilation of run-time generics in Java | 2013-09-26 | Paper |
| Towards a formal foundation to orchestration languages | 2013-09-11 | Paper |
simpA: an agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming | 2010-11-25 | Paper |
Environment programming in \textsf{CArtAgO}
Multi-Agent Programming | 2010-01-11 | Paper |
On the collective sort problem for distributed tuple spaces
Science of Computer Programming | 2009-07-15 | Paper |
Environment in agent-oriented software engineering methodologies
Multiagent and Grid Systems | 2009-06-02 | Paper |
On the reification of Java wildcards
Science of Computer Programming | 2008-11-20 | Paper |
Lightweight family polymorphism
Journal of Functional Programming | 2008-05-22 | Paper |
| Modelling agents as observable sources | 2007-10-17 | Paper |
Engineering a BPEL orchestration engine as a multi-agent system
Science of Computer Programming | 2007-07-16 | Paper |
A core calculus for correlation in orchestration languages
The Journal of Logic and Algebraic Programming | 2007-01-09 | Paper |
| Coordination as a service | 2007-01-04 | Paper |
Agent coordination contexts for the formal specification and enactment of coordination and security policies
Science of Computer Programming | 2006-10-25 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Process-algebraic approaches for multi-agent systems: an overview
Applicable Algebra in Engineering, Communication and Computing | 2006-02-08 | Paper |
An algebraic approach for modelling organisation, roles and contexts in MAS
Applicable Algebra in Engineering, Communication and Computing | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2089395 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087415 (Why is no real title available?) | 2004-08-11 | Paper |
A Type-Passing Approach for the Implementation of Parametric Methods in Java
The Computer Journal | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1952779 (Why is no real title available?) | 2003-07-23 | Paper |
