Publications

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

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

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

publications per sort & year
- articles in journal, papers in proceedings, book chapters, phd theses
- 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006
yet-unpublished works per status
- published online, in press, proof, camera-ready sent, revised, accepted, accepted with revision, submitted, draft, note
bibliographic services
- ACM Digital Library, DBLP, IEEE Xplore, IRIS, PubMed, Google Scholar, Scopus, Semantic Scholar, Web of Science, DOI
publication clouds

Digital libraries & bibliographic portals

ACM Digital Library
- 81329488169

Tags:

Matteo Casadei

Home
Events
Projects
Publications
Research
Talks
Teaching
Themes
Theses

Publications / Casadei

Home
— clouds

— per sort & year
in journal | in proc | chapters | phd th
2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI

Avatar

Contacts

Address

APICe Laboratory
Via Venezia, 52
47023, Cesena (FC)
Italy

Phone: +39 0547 339 210

Fax: +39 0547 339 208

Email:
m.casadei@unibo.it
macasadei@deis.unibo.it

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY

Powered by XWiki 14.9