Luca Spalazzi
From MaRDI portal
Person:209433
Available identifiers
zbMath Open spalazzi.lucaWikidataQ61305348 ScholiaQ61305348MaRDI QIDQ209433
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| SMARTED: SMARTwatch Emotion Dataset | 2022-07-25 | Dataset |
| Parameterized model checking of networks of timed automata with Boolean guards | 2020-04-21 | Paper |
| A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage | 2019-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045457 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434248 | 2003-11-05 | Paper |
| A survey on case-based planning | 2001-10-14 | Paper |
| A dynamic logic for acting, sensing, and planning | 2001-01-29 | Paper |
| A planning language for embedded systems | 1999-01-01 | Paper |
Research outcomes over time
This page was built for person: Luca Spalazzi
