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
https://portal.mardi4nfdi.de/entity/Q2848698	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2847797	2013-09-11	Paper
simpA: an agent-oriented approach for programming concurrent applications on top of Java	2010-11-25	Paper
Environment Programming in 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
https://portal.mardi4nfdi.de/entity/Q5422249	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
https://portal.mardi4nfdi.de/entity/Q3413370	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mirko Viroli