Publications

 

International Journals

 

G. Cravo, F. C. Silva, Eigenvalues of Matrices with Several Prescribed Blocks, in Linear Algebra and Its Applications vol. 311, pg. 13-24, 2000.

 

G. Cravo, J. A. Dias da Silva e F. C. Silva Characteristic Polynomials and Controllability of Partially Prescribed Matrices, in Linear Algebra and Its Applications vol. 335, pg. 157-166, 2001.

 

G. Cravo, F. C. Silva Eigenvalues of Matrices with Several Prescribed Blocks II, in Linear Algebra and Its Applications vol. 364, pg. 81-89, 2003.

 

G. Cravo, F. C. Silva The Number of Nonconstant invariant Polynomials of Matrices with Several Prescribed Blocks, in Linear Algebra and Its Applications vol. 368, pg. 107-116, 2003.

 

G. Cravo, Matrices with Prescribed Eigenvalues and Blocks, in JP Journal of Algebra, Number Theory and Applications vol. 6, Nº 1, pg. 103-109, 2006.

 

G. Cravo, Matrices with Prescribed Characteristic Polynomials and Blocks, in JP Journal of Algebra, Number Theory and Applications vol. 6, Nº 2, pg. 435-444, 2006.

 

G. Cravo, Eigenvalues of Matrices with Prescribed Submatrices, in A. D. Journal of Mathematics vol. 5, Nº 1, pg. 83-90, 2007.

 

G. Cravo, Some Matrix Completion Problems, in Comptes Rendus - Mathematique Acad. Sci. Paris, Ser. I 344, pg. 673-676, 2007.

 

G. Cravo, J. Cardoso Termination of Workflows - A Snapshot-Based Approach, in Mathematica Balkanica vol. 21, Nº 3-4, pg.233-243, 2007. [ pdf ]

 

G. Cravo, Matrices with Prescribed Eigenvalues and Blocks II, in Algebra Colloquium, vol. 15, Nº 3, pg. 517-526, 2008.

 

G. Cravo, Recent Progress on Matrix Completion Problems, in Journal of Mathematical Sciences: Advances and Applications, vol. 1, Nº 1, pg. 69-90, 2008.

 

G. Cravo, Matrices with Prescribed Eigenvalues and Prescribed Submatrices, in Linear and Multilinear Algebra, vol. 57, Nº 7, pg. 737-748, 2009.

 

G. Cravo, Matrix Completion Problems, in Linear Algebra and Its Applications, vol. 430, pg 2511-2540, 2009.

 

G. Cravo, On Controllability of Partially Prescribed Pairs of Matrices, in Comptes Rendus Math. Rep. Acad. of Sci. Canada, vol. 31, pg. 7-15, 2009.

 

G. Cravo,  Controllability of Partially Prescribed Matrices, in Collectanea Mathematica, vol. 60, Nº 3, pg. 335-348, 2009.

 

G. Cravo, Applications of Propositional Logic to Workflow Analysis, in Applied Mathematics Letters, vol. 23, Nº 3, pg. 272-276, 2010.

 

In Proceedings - International Conferences

 

G. Cravo, Matrices with Precribed Characteristic Polynomials and Some Prescribed Submatrices, in Proceedings of the 5th Hawaii International Conference on Statistics, Mathematics and Related Fields, January 16-18, Honolulu, Hawaii, USA, pg. 385-396, 2006, ISSN: 1550-3747.

 

J. Cardoso, G. Cravo, Verifying the Logical Termination of Workflows, in Proceedings of the 5th Hawaii International Conference on Statistics, Mathematics and Related Fields, January 16-18, Honolulu, Hawaii, USA, pg. 330-346, 2006, ISSN: 1550-3747.

 

G. Cravo, J. Cardoso, Termination of Workflows, in Abstracts of MASSEE International Congress on Mathematics MICOM - 2006, Mathematical Society of South Eastern Europe. Editors: S. Dodunekov, Gr. Makrides, I. Kortezov, May 31 - June 04, Paphos, Cyprus, pg. 33-34, 2006, ISBN: 9963-9277-0-X.

 

G. Cravo, F. C. Silva, Characteristic Polynomials of Matrices with Prescribed Entries, in Proceedings of the International Conference on Numerical Analysis and Applied Mathematics ICNAAM-2006, WILEY-VCH. Editors: T. E. Simos, G. Psihoyios, Ch. Tsitouras, September 15-19, Hersonissos, Crete, Greece, pg. 89-92, 2006, ISBN: 3-527-40743-X.

 

G. Cravo, J. Cardoso, Verifying the Termination of Workflows, in Proceedings of the International Conference on Numerical Analysis and Applied Mathematics ICNAAM-2006, WILEY-VCH. Editors: T. E. Simos, G. Psihoyios, Ch. Tsitouras, September 15-19, Hersonissos, Crete, Greece, pg. 85-88, 2006, ISBN: 3-527-40743-X.[ pdf ]

 

G. Cravo, Workflow Verification: Complete Termination, in Proceedings of the 6th Hawaii International Conference on Statistics, Mathematics and Related Fields, Janeiro 17-19, Honolulu, Havai, USA, pg. 259-275, 2007, ISSN: 1550-3747.