Algebra and Geometry ::.
Year: 2017



Almeida, Paulo J., Napp, Diego: Criptografia e Segurança, Publindústria, 2017.

Book Chapters

Paulo J. Almeida, Diego Napp, Raquel Pinto: On optimal extended row distance profile ( ), Bebiano, N, International Conference on Matrix Analysis and its Applications. MAT-TRIAD 2015: Applied and Computational Matrix Analysis. Springer Proceedings in Mathematics & Statistics, vol 192, 67-77, Springer, Cham, 2017.

Papers in International Journals with referees

Daniel Figueiredo, Manuel A. Martins, Madalena Chaves: Applying differential dynamic logic to reconfigurable biological networks, Mathematical Biosciences, 291, 2017, 10-20.

Diana Costa, Manuel A. Martins: Paraconsistency in hybrid logic, Journal of Logic and Computation, 27 (6), 2017, 1825-1852.

Peter Cameron, Maria Elisa Fernandes, Dimitri Leemans, Mark Mixer: Highest rank of a polytope for An. ( ), Proc. London Math. Soc., 3, 2017, 1-42.

Papers in International Conference Proceedings with referees

Daniel Figueiredo, Manuel A. Martins: Bisimulations for reactive frames, DaLí - Dynamic Logic: new trends and applications, Alexandre Madeira Mário Benevides , 1-5, Brasília, 2017.

Maria Isabel Santos, Tânia Ribeiro, Ana Breda, Ana Margarida Almeida: REDESIGNING LEMA: A WEB BASED CLASSROOM APPLICATION TO PROMOTE MATHEMATICAL REASONING IN AUTISTIC CHILDREN. ( ), INTED 2017. 11th annual International Technology, Education and Development Conference, IATED Academy, 8699-8706, Valencia, Spain, 2017.

Mario Benevides, Alexandre Madeira, Manuel A. Martins: A family of graded epistemic logics, 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), Flávio L. C. de Moura Sandra Alves Renata Wassermann, 1-16, Brasília, 2017.

desenvolvido por: Mentes Virtuais