12 citations · 66 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 3 cited
A Higher-order Calculus of Computational Fields
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani +2
The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective ada…
cs.LO2013★ 9 cited
Enumeration of the adjunctive hierarchy of hereditarily finite sets
Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner
Hereditarily finite sets (sets which are finite and have only hereditarily finite sets as members) are basic mathematical and computational objects, and also stand at the basis of…