Luca Spalazzi
From MaRDI portal
Person:209433
Available identifiers
zbMath Open spalazzi.lucaWikidataQ61305348 ScholiaQ61305348MaRDI QIDQ209433
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Luca Spalazzi
