Michael Colón
According to our database1,
Michael Colón
authored at least 15 papers
between 1995 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
1996
1998
2000
2002
2004
2006
2008
2010
0
1
2
3
1
1
1
1
2
1
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Proceedings of the Programming Languages and Systems, 2011
2007
Sci. Comput. Program., 2007
2006
Proceedings of the Verification, 2006
2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
2000
Formal Methods Syst. Des., 2000
1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995