Carlo Montangero

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
scientific article; zbMATH DE number 5506106 (Why is no real title available?)	2009-02-10	Paper
Logic–Based Detection of Conflicts in Appel Policies Lecture Notes in Computer Science	2008-07-01	Paper
Dynamically Evolvable Dependable Software: From Oxymoron to Reality Concurrency, Graphs and Models	2008-06-19	Paper
Coordination Models and Languages Lecture Notes in Computer Science	2006-01-10	Paper
Mark, a reasoning kit for mobility Automated Software Engineering	2003-02-17	Paper
A refinement calculus for tuple spaces Science of Computer Programming	1999-11-01	Paper
Information management in context trees Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3628361 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3466555 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3483555 (Why is no real title available?)	1974-01-01	Paper
An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers IEEE Transactions on Computers	1974-01-01	Paper

Research outcomes over time

This page was built for person: Carlo Montangero