Skip to Content

Pubblicazioni

Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (2013) — Matteo Casadei, Mirko Viroli

Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli

A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli

pubblicazioni per anno
- 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006
pubblicazioni per tipo
- articoli in rivista, articoli in atti, capitoli di libro, manuali, tesi di dottorato
lavori non ancora pubblicati per stato
- pubblicati online, in stampa, bozze di stampa, camera-ready inviati, revisionati, accettati con revisione, accettati, sottoposti, bozze, non pubblicati, note
servizi bibliografici
- ACM Digital Library, CORE, DBLP, DOI, IEEE Xplore, IRIS, Lens, OpenAlex, OpenCitations, PubMed, Google Scholar, Scopus, Semantic Scholar, Web of Science
nuvole delle pubblicazioni
- tag, co-autori, co-curatori, riviste

altri link a pubblicazioni personali

ACM — 81329488169