Carlo Montangero

Available identifiers

zbMath Open montangero.carloMaRDI QIDQ1249446

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3601414	2009-02-10	Paper
Logic–Based Detection of Conflicts in Appel Policies	2008-07-01	Paper
Dynamically Evolvable Dependable Software: From Oxymoron to Reality	2008-06-19	Paper
Coordination Models and Languages	2006-01-10	Paper
Mark, a reasoning kit for mobility	2003-02-17	Paper
A refinement calculus for tuple spaces	1999-11-01	Paper
Information management in context trees	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190109	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4051641	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066586	1974-01-01	Paper
An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers	1974-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: Carlo Montangero