works on
constructed covariate 1environmental data 1geostatistics 1preferential sampling 1spatial modeling 1

From the 1 of 15 papers with an AI index.

most citedMultilayer network science: theory, methods, and applications

4 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Modelling Distributed Applications with Mixed-Choice Stateful Typestates

Francisco Parrinha, João Mota, António Ravara

Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour…