Carlo Montangero
Affiliations:- University of Pisa, Italy
According to our database1,
Carlo Montangero
authored at least 51 papers
between 1974 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on di.unipi.it
On csauthors.net:
Bibliography
2021
Proceedings of the 17th International Conference on Digital Preservation, 2021
2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007
Proceedings of the Service-Oriented Computing, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.
Proceedings of the FM 2005: Formal Methods, 2005
2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
2003
2002
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
Proceedings of the Software Process: Principles, Methodology, Technology, 1999
Proceedings of the Software Process: Principles, Methodology, Technology, 1999
Proceedings of the Software Process: Principles, Methodology, Technology, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
1996
Softw. Process. Improv. Pract., December, 1996
Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996
1995
Proceedings of the Software Process Technology, 4th European Workshop, 1995
Proceedings of the Software Process Technology, 4th European Workshop, 1995
Proceedings of the Algorithms, 1995
1994
Int. J. Softw. Eng. Knowl. Eng., 1994
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994
Proceedings of the Software Process Technology, Third European Workshop, 1994
1993
Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993
1992
Proceedings of the Software Process Technology, Second European Workshop, 1992
1991
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991
1990
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990
The Logic Language ESP and its Programming Environment.
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
1985
J. Syst. Softw., 1985
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985
1978
1977
1976
Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976
1975
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975
1974
An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers.
IEEE Trans. Computers, 1974
A model for structured parallel processing in block-structured programming languages.
Proceedings of the Programming Symposium, 1974
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974