Mirko Viroli

Available identifiers

zbMath Open viroli.mirkoMaRDI QIDQ608356

List of research outcomes

Publication	Date of Publication	Type
On a higher-order calculus of computational fields	2024-02-06	Paper
Space-Fluid Adaptive Sampling by Self-Organisation	2024-01-16	Paper
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala	2023-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5028433	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5129944	2020-11-03	Paper
From distributed coordination to field calculus and aggregate computing	2019-11-28	Paper
Standard Type Soundness for Agents and Artifacts	2019-02-08	Paper
A Higher-Order Calculus of Computational Fields	2019-02-07	Paper
Type-based Self-stabilisation for Computational Fields	2016-01-07	Paper
A Framework for Modelling and Simulating Networks of Cells	2014-03-21	Paper
Prototyping concurrent systems with agents and artifacts: framework and core calculus	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	2010-11-25	Paper
Environment programming in \textsf{CArtAgO}	2010-01-11	Paper
On the collective sort problem for distributed tuple spaces	2009-07-15	Paper
Environment in agent-oriented software engineering methodologies	2009-06-02	Paper
On the reification of Java wildcards	2008-11-20	Paper
Lightweight family polymorphism	2008-05-22	Paper
Modelling agents as observable sources	2007-10-17	Paper
Engineering a BPEL orchestration engine as a multi-agent system	2007-07-16	Paper
A core calculus for correlation in orchestration languages	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	2006-10-25	Paper
Programming Languages and Systems	2006-10-20	Paper
Process-algebraic approaches for multi-agent systems: an overview	2006-02-08	Paper
An algebraic approach for modelling organisation, roles and contexts in MAS	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q3046755	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738209	2004-08-11	Paper
A Type-Passing Approach for the Implementation of Parametric Methods in Java	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4414241	2003-07-23	Paper

Research outcomes over time

This page was built for person: Mirko Viroli