AGG Publications

Books

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 (hdl://10773/17410 ), 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.

Renato Neves, Alexandre Madeira, Luís Barbosa, Manuel A. Martins: Asymmetric Combination of Logics is Functorial: A Survey. (link.springer.com,. hdl.handle.net), P. James, M. Roggenbach, Recent Trends in Algebraic Development Techniques. WADT 2016. Vol 10644 ofLecture Notes in Computer Science,, 39-55, Springer, 2017.

PhD Thesis

Kelly Hannel: Um método e suas práticas pedagógicas para atingir a aprendizagem significativa, utilizando o ensino personalizado e os recursos de um ambiente virtual de aprendizagem, Universidade Federal do Rio Grande do Sul, July, 2017, 134 pp, [Supervisor(s): J. Valdeni de Lima, L. Descalço], available at hdl://10183/168825.

Papers in International Journals with referees

Daniel Figueiredo, Manuel A. Martins, Madalena Chaves: Applying differential dynamic logic to reconfigurable biological networks (www.sciencedirect.com,hdl.handle.net), Mathematical Biosciences, 291, 2017, 10-20.

A. M. d’Azevedo Breda, Patrícia S. Ribeiro: Deformation of a Class of Dihedral Spherical f-f-Tilings. (hdl.handle.net), Bulletin of the Malaysian Mathematical Sciences Society, 40 (1), 2017, 473-486.

Diana Costa, Manuel A. Martins: Paraconsistency in hybrid logic (academic.oup.com,hdl://10773/21301), Journal of Logic and Computation, 27 (6), 2017, 1825-1852.

Dirk Hofmann, Lurdes Sousa: Aspects of algebraic algebras, (lmcs.episciences.org, sweet.ua.pt, hdl://10773/18668), Logical Methods in Computer Science, 13, 2017, 1-25.

Lurdes Carlos, A. M. d’Azevedo Breda: Simetrias nas Cercaduras das Fachadas de Azulejos de Aveiro, usando o GeoGebra (hdl.handle.net), Revista do Instituto GeoGebra Internacional de São Paulo, 6 (2), 2017, 81-92.

Maria Isabel Santos, A. M. d’Azevedo Breda, Ana Margarida Almeida: Design approach of mathematics learning activities in a digital environment for children with autism spectrum disorders (hdl.handle.net), Educational Technology Research and Development, 65 (5), 2017, 1305-1323.

Maria Manuel Clementino, Dirk Hofmann: The rise and fall of V-functors, (www.sciencedirect.com, sweet.ua.pt, hdl://10773/18075), Fuzzy Sets and Systems, 321, 2017, 29-49.

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

Papers in International Conference Proceedings with referees

Ana Breda, Eugénio Rocha, M. Isabel Santos: LEMA as a digital object manipulation learning environment (hdl.handle.net), EDULEARN17, IATED, 2884-2888, Barcelona, Spain, 2017.

Daniel Figueiredo, Manuel A. Martins: Bisimulations for reactive frames(. http://hdl.handle.net/10773/21327), DaLí - Dynamic Logic: new trends and applications, Alexandre Madeira Mário Benevides , 1-5, Brasília, 2017.

L. Descalço, A. do Canto Filho, J. Valdeni de Lima: Learning Trajectories with Bayesian student model for autonomous study in flipped learning (hdl://10773/18688), EDULEARN17, IATED, 564-569, Barcelona, Spain, 2017.

Eugénio Rocha, Ana Breda: Combinatorial games as testbeds for learning patterns recognition: the NIM APP (hdl.handle.net), EDULEARN17, IATED, 3559-3565, Baecelona, Spain, 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. (hdl.handle.net), 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 (hdl://10773/21335), 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.

Books

Paula Carvalho, Luís Descalço: Cálculo diferencial a várias variáveis: o essencial (hdl://10773/16657), Silabas e Dasafios, 2016.

Book Chapters

Daniel Oliveira Figueiredo: Relating Bisimulations with Attractors in Boolean Models (www.springer.com,. hdl.handle.net. ), María Botón-Fernández, Carlos Martín-Vide, Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez, Algorithms for Computational Biology, 17-25, Springer, Trujillo, Spain, 2016.

Diana Costa, Manuel A. Martins: A Tableau System for Quasi-Hybrid Logic. (link.springer.com,hdl://10773/16014. ), Nicola Olivetti and Ashish Tiwari, Automated Reasoning, Volume 9706 of the series Lecture Notes in Computer Science, 435-451, Springer International Publishing, 2016.

Luís S. Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves: Reuse and Integration of Specification Logics: The Hybridisation Perspective (link.springer.com,hdl.handle.net), Thouraya Bouabana-Tebibel and H. Stuart Rubin, Theoretical Information Reuse and Integration, 1-30, Springer International Publishing, 2016.

PhD Thesis

Catarina M. Neto da Cruz: The Non-Existence of Perfect 2-Error Correcting Lee Codes of Word Length 7 Over Z (hdl.handle.net), Aveiro, March, 2016, 258 pp, [Supervisor(s): Ana M. D´Azevedo Breda, Peter Horak, M. Raquel R. Pinto].

MSc Thesis

Ana Rosa Marques, Gonçalves: Análise de perfís de utilização em sistemas de auto-aprendizagem, Universidade de Aveiro, December, 2016, 89 pp, [Supervisor(s): Ana Tomé, Luís Descalço], available at hdl://10773/18710.

Eunice de Jesus Mateiro: A matemática dos calendários, Aveiro, December, 2016, 59 pp, [Supervisor(s): Paulo J. Almeida].

Fábio Barbosa: Probabilistic Propositional Logic, Aveiro, July, 2016, 66 pp, [Supervisor(s): Manuel A. Martins].

Papers in International Journals with referees

Alexandre Madeira, Renato Neves, Luís S. Barbosa, Manuel A. Martins: A method for rigorous design of reconfigurable systems (www.sciencedirect.com,hdl://10773/16672. ), Science of Computer Programming, 132, 2016, 50-76.

Alexandre Madeira, Renato Neves, Manuel A. Martins: An exercise on the generation of many-valued dynamic logics (www.sciencedirect.com,hdl://10773/16705. ), Journal of Logical and Algebraic Methods in Programming, 85 (5), 2016, 1011-1037.

P. J. Almeida, D. Napp, R. Pinto: Superregular matrices and applications to convolutional codes. (hdl://10773/15837 ), Linear Algebra and its Applications, 499, 2016, 1-25.

Ana M. D´Azevedo Breda, José Manuel Santos dos Santos: Complex functions with GeoGebra. (hdl.handle.net), Teaching Mathematics and its Applications, 35 (2), 2016, 102-110.

António Breda D Azevedo, Maria Elisa Fernandes: Classification of the regular oriented hypermaps with prime number of hyperfaces (http://amc-journal.eu/index.php/amc/article/view/657 ,hdl://10773/16676), Ars Mathematica Contemporanea, 10, 2016, 193-209.

António Breda D’Azevedo, Domenico A. Catalano, Ján Karabás: Two infinite families of Archimedean maps of higher genera. (hdl://10773/16513), Ars Combinatoria, 128, 2016, 241-254.

António Breda d’Azevedo, Domenico A. Catalano, Ján Karabáš, Roman Nedela: Census of quadrangle groups inclusions. (hdl://10773/16242), Proceedings in Mathematics & Statistics, 159, 2016, 27-69.

António Breda d’Azevedo, Domenico A. Catalano, Ján Karabáš, Roman Nedela: Quadrangle groups inclusions. (link.springer.com), Contribution to Algebra and Geometry, DOI: 10.10, 2016, 1-26.

Kelly Hannel, José Valdeni de Lima, L. Descalço: Ensino personalizado: o MOODLE como ferramenta na busca da Aprendizagem Significativa. (hdl://10773/17119), RENOTE-Novas Tecnologias na Educação, 2, 2016, 1-10.

Maria Elisa Fernandes, Dimitri Leemans, Asia Weiss: Highly symmetric hypertopes (hdl://10773/16681, link.springer.com), Aequationes mathematicae, 90, 2016, 1045-1067.

Maria Manuel Clementino, Dirk Hofmann, George Janelidze: On exponentiable morphisms in classical algebra, (link.springer.com, sweet.ua.pt, hdl://10773/16470), Applied Categorical Structures, 24 (5), 2016, 733-742.

Peter Cameron, Maria Elisa Fernandes, Dimitri Leemans, Mark Mixer: String C-groups as transitive subgroups of Sn. (www.sciencedirect.com, hdl://10773/14993), Journal of Algebra, 447, 2016, 468-478.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa: Proof theory for hybrid(ised) logics (www.sciencedirect.com,hdl://10773/15853), Science of Computer Programming, 126, 2016, 73-93.

Renato Neves, Luís S. Barbosa, Dirk Hofmann, Manuel A. Martins: Continuity as a computational effect (www.sciencedirect.com, hdl.handle.net), Journal of Logical and Algebraic Methods in Programming, 85, 2016, 1057-1085.

Sergey Babenyshev, Manuel A. Martins: Behavioral equivalence of hidden k-logics: An abstract algebraic approach (www.sciencedirect.com,hdl.handle.net), Journal of Applied Logic, 16, 2016, 72-91.

Papers in International Conference Proceedings with referees

J. Camejo, A. Silva, L. Descalço, P. Oliveira: ModelMaker, a Multidisciplinary Web Web Application to Build Question Generator Models From Basic to Higher Education(dx.doi.org;ria.ua.pt), EDULEARN16 Proceedings, 8th International Conference on Education and New Learning Technologies, Academy of Technology, Education and Development (IATED), IATED, 5095-5103, Barcelona, Spain, 2016.

Maria Isabel Santos, Ana Breda, Ana Margarida Almeida: Learning environment for autism spectrum disorders: a universal approach to the promotion of mathematical reasoning. (hdl.handle.net), DSAI: Proceedings of the 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion, ACM Press, 162-169, Vila Real, 2016.

Papers in National Conference Proceedings with referees

Ana Gonçalves, Ana Tomé, Luís Descalço: Predicting Student Performance with Data from an Interactive Learning System (hdl://10773/16628), RecPad 2016, Universidade de Aveiro, 35-37, Aveiro, 2016.

Book Chapters

Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís S. Barbosa: A Dynamic Logic for Every Season (link.springer.com , hdl://10773/15101 ), Christiano Braga, Narciso Martí-Oliet, Lecture notes in computer science, Volume 8941, 130-145, Springer International Publishing, 2015.

Paulo J. Almeida, Raquel Pinto, Diego Napp: From 1D Conolutional Codes to 2D Convolutional codes of rate 1/n (link.springer.com, ria.ua.pt), Raquel Pinto, Paula Rocha Malonek, Paolo Vettori, Coding Theory and Applications Coding Theory. and Applications - CIM Series in Mathematical Sciences, volume 3, 25-33, Springer, Switzerland, 2015.

Renato Neves, Manuel A. Martins, Luís S. Barbosa: Completeness and Decidability Results for Hybrid(ised) Logics (link.springer.com , hdl://10773/15065 ), Christiano Braga, Narciso Martí-Oliet, Lecture notes in computer science, Volume 8941, 146-161, Springer International Publishing, 2015.

MSc Thesis

Maria de Lurdes Gandarinho Carlos: Aspetos matemáticos e históricos de um percurso pela arte dos azulejos e frescos de Aveiro (menção honrosa na categoria de teses de mestrado no concurso SOS azulejos 2015), Universidade de Aveiro, December, 2015, 129 pp, [Supervisor(s): Ana M. D Azevedo Breda].

Mónica Calvário Bértolo: Inteiros Gaussianos, Aveiro, December, 2015, 86 pp, [Supervisor(s): Paulo J. Almeida], available at hdl://10773/16826.

Papers in International Journals with referees

Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa, Rolf Hennicker: Refinement in hybridised institutions (http://link.springer.com/article/10.1007%2Fs00165-014-0327-6, hdl://10773/15013. . ), Formal Aspects of Computing, 27 (2), 2015, 375-395.

Antonio Breda Azevedo, Domenico Catalano, Jan Karabas, Roman Nedela: Maps of Archimedean class and operations on dessins. (hdl://10773/14904), Discrete Mathematics, 338, 2015, 1814-1825.

Antonio Breda d Azevedo, Maria Elisa Fernandes: Classification of regular maps with prime number of faces and the asymptotic behaviour of their reflexible to chiral ratio. (hdl://10773/15006, www.sciencedirect.com), Discrete Mathematics, 338 (11), 2015, 1873-1882.

Antonio Breda d’Azevedo, Domenico A. Catalano, and Rui Duarte: Regular pseudo-oriented maps and hypermaps of low genus (www.sciencedirect.com, hdl://10773/14905), Discrete Mathematics, 338, 2015, 895-921.

Catarina N. Cruz, Ana M. D´Azevedo Breda., M. Raquel Pinto: Packing of R^2 by Crosses. https://www.degruyter.com/view/j/ms.2015.65.issue-5/ms-2015-0063/ms-2015-0063.xml. (hdl://10773/16231), Mathematica Slovaca, 65(5), 2015, 935-956.

Dimitri Chikhladze, Maria Manuel Clementino, Dirk Hofmann: Representable (T,V)-categories, (link.springer.com, sweet.ua.pt, hdl://10773/14894), Appl. Categ. Structures, 23 (6), 2015, 829 -858.

Dirk Hofmann, Frédéric Mynard, Gavin Seal: Exponential Kleisli monoids as Eilenberg-Moore algebras, (link.springer.com, sweet.ua.pt, hdl://10773/14895), Appl. Categ. Structures, 23 (2), 2015, 137-157.

Dirk Hofmann, Gavin J. Seal: Exponentiable approach spaces, (math.uh.edu, sweet.ua.pt, hdl://10773/14898), Houston Journal of Mathematics, 41 (3), 2015, 1051-1062.

Dirk Hofmann, Gavin J. Seal: A cottage industry of lax extensions, (www.cgasa.ir, sweet.ua.pt, hdl://10773/14899), Categories and General Algebraic Structures with Applications, 3, 2015, 113-151.

: Dualities for modal algebras from the point of view of triples, (link.springer.com, sweet.ua.pt, hdl://10773/14896), Algebra Universalis, 73, 2015, 297-320.

Maria Isabel Santos, Ana Maria Breda, Ana Margarida Almeida: Preliminary proposal of a conceptual model of a digital environment for developing mathematical reasoning in students with Autism Spectrum Disorders. http://link.springer.com/article/10.1007/s10803-015-2414-9?wt_mc=email.event.1.SEM.ArticleAuthorAssignedToIssue. (hdl://10773/16235), Journal of Autism and Developmental Disorders, 45 (8), 2015, 2633-2640.

Rui Duarte, António Guedes de Oliveira: The braid and the Shi arrangements and the Pak–Stanley labelling (www.sciencedirect.com, hdl://10773/15081), European Journal of Combinatorics, 50, 2015, 72-86.

Papers in National Journals with referees

José M. Santos dos Santos, Ana M. Breda: The Riemann Sphere in GeoGebra. (hdl://10773/16236 ), Sensos-e, Multimedia Journal of Research in Education, 2, N.º1, 2015, 1-6.

Papers in International Conference Proceedings with referees

L. Descalço, Paula Carvalho: Using Parameterized Calculus Questions for Learning and Assessment (ria.ua.pt), Atas da 10ª Conferência Ibérica de Sistemas e Tecnologias de Informação, AISTI, 710-714, Águeda, Portugal, 2015.

L. Descalço, Paula Carvalho, J.P. Cruz, Paula Oliveira, Dina Seabra: Computer-assisted independent study in multivariate calculus (ria.ua.pt), Proceeding of EDULEARN15 Conference, 6th - 8th July 2015, Barcelona, Spain, International Academy of Technology, Education and Development (IATED), 3352-3360, Barcelona, Spain, 2015.

Maria Isabel Santos, Ana Breda, Ana Margarida Almeida: Ambiente digital de aprendizagem promotor do desenvolvimento do raciocínio matemático em alunos com perturbações do espetro do Autismo. (hdl://10773/16237 ), Challenges 2015- IX Internacional Conference. Half a Century of ICT in Education, Universidade do Minho, Centro de Competência TIC do Instituto de Educação Instituto de Educação, Campus de Gualta, Universidade do Minho ISBN: 978-989-97374-3-3, 854-865, Braga, Portugal, 2015.

Books

Dirk Hofmann, Gavin J. Seal, Walter Tholen (editors), authors: Robert Lowen, Walter Tholen, Gavin J Seal, Dirk Hofmann, Rory Lucyshyn-Wright, Maria Manuel Clementino, Eva Colebunders: Monoidal Topology - A Categorical Approach to Order, Metric, and Topology, (www.cambridge.org), Cambridge University Press, 2014.

Book Chapters

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Barbosa: An Institution for Alloy and Its Translation to Second-Order Logic (link.springer.com), Thouraya Bouabana-Tebibel Stuart Harvey Rubin, Integration of Reusable Systems,. Advances in Intelligent Systems and Computing, Volume 263, 45-75, Springer International Publishing, 2014.

PhD Thesis

Carla Reis: Topology via enriched categories, University of Aveiro, May, 2014, 88 pp, [Supervisor(s): Dirk Hofmann], available at hdl://10773/12878.

MSc Thesis

Diana Costa: Paraconsistency in Hybrid Logic, University of Aveiro, July, 2014, 86 pp, [Supervisor(s): Manuel A. Martins].

Papers in International Journals with referees

Ana Breda, Robert Dawson, Patrícia Ribeiro: Spherical f-Tilings by Two Noncongruent Classes of Isosceles Triangles-II (www.actamath.com), Acta Mathematica Sinica, English Series, 30(8), 2014, 1435-1464.

S. Babenyshev, M.A. Martins: Deduction-detachment theorem in hidden k-logics. (logcom.oxfordjournals.org), Journal of Logic and Computation, 24 (1), 2014, 233-255.

L. S. Barbosa, M. A. Martins, M. Carreteiro: A Hilbert-style Axiomatisation for Equational Hybrid Logic. (link.springer.com), Journal of Logic, Language and Information, 23(1), 2014, 31-52.

Dirk Hofmann: The enriched Vietoris monad on representable spaces,. (journal webpage, personal webpage), J. Pure Appl. Algebra, 219, 2014, 2274-2318.

Manuel A. Martins, A. Madeira, L.S. Barbosa: The role of logical interpretations on program development (www.lmcs-online.org), Logical Methods in Computer science, 10 (1:1), 2014, 1-39.

Maria Manuel Clementino, Dirk Hofmann, Andrea Montoli: Covering morphisms in categories of relational algebras, (journal webpage, personal webpage), Appl. Categ. Structures, 22, 2014, 767-788.

Maria Manuel Clementino, Dirk Hofmann, George Janelidze: The monads of classical algebra are seldom weakly cartesian, (link.springer.com), J. Homotopy Relat. Struct., 9, 2014, 175-197.

Maria Manzano, Manuel A. MArtins, Antonia Huertas: A Semantics for Equational Hybrid Propositional Type Theory (www.filozof.uni.lodz.pl), Bulletin of the Section of Logic, 43/3-4, 2014, 121-138.

Rui Duarte and António Guedes de Oliveira: A Famous Identity of Hajós in Terms of Sets (cs.uwaterloo.ca), Journal of Integer Sequences, 17, 2014, 1-10.

Papers in International Conference Proceedings with referees

Ana Breda, Dulce Nogueira: Trigonometry: from the past to the future with GeoGebra, Edulearn 2014: 6th International Conference on Education and New Learning Technologies, ISBN: 978-84-617-0557-3, 6623-6633, Barcelona, Spain, 2014.

Maria Isabel Santos, Ana Breda, Ana Margarida Almeida: ICT in the development of math reasoning of students with autism, Embracing Inclusive Approaches for Children and Youth with Special Education Needs, Research Center on Education (CIEd)/Institute of Education Research Center on Education (CIEd)/Institute of Education, University of Minho , 451-456, Braga, Portugal, 2014.

Book Chapters

Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa: Boilerplates for Reconfigurable Systems: A Language and Its Semantics (rd.springer.com), André Rauber Du Bois, Phil Trinder, Lecture Notes in Computer Science, Volume 8129, 75-89, Springer, Brasil, 2013.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa: Hybridisation at Work (link.springer.com), Reiko Heckel, Stefan Milius, Algebra and Coalgebra in Computer Science,. Lecture Notes in Computer Science Volume 8089, 340-345, Springer, Warsaw, Poland, 2013.

PhD Thesis

Isabel Margarida da Costa Andrade Xarez: Reflections of universal algebras into semilattices, their Galois theories and related factorization systems, University of Aveiro, February, 2013, 91 pp, [Supervisor(s): George Janelidze, João Xarez].

MSc Thesis

Diogo Filipe Pessoa da Cruz: A conjetura de Erdös-Straus e Generalizações, Aveiro, December, 2013, 70 pp, [Supervisor(s): Paulo J. Almeida], available at hdl://10773/13324.

Dulce Nogueira: Tópicos da História da Trigonometria, Aveiro, December, 2013, 232 pp, [Supervisor(s): Ana M D Azevedo Breda].

Francisco Santos Teixeira Pires: Representação de números na forma decimal e generalização a outras bases, Aveiro, December, 2013, 71 pp, [Supervisor(s): Paulo J. Almeida], available at hdl://10773/13317.

João Miguel Rafael de Carvalho: Jogos de subtração e outros jogos combinatórios, Aveiro, July, 2013, 80 pp, [Supervisor(s): Rui Filipe Alves Silva Duarte].

Papers in International Journals with referees

Celeste Varum, Abigail Ferreira, Ana Breda: Economics Education Research: Theoretical Foundations and Empirical Research, Directions and Trends in the Past Decades (www.jsse.org), Journal of Social Science Education, 12 (2), 2013, 79-86.

Dirk Hofmann: A four for the price of one duality principle for distributive spaces, (link.springer.com), Order, 30, 2013, 643-655.

Dirk Hofmann: Duality for distributive spaces, (www.tac.mta.ca), Theory Appl. Categ., 28, 2013, 66-122.

Dirk Hofmann, Carla David Reis: Probabilistic metric spaces as enriched categories, (www.sciencedirect.com), Fuzzy Sets and Systems, 210, 2013, 1-21.

Dirk Hofmann, Manuel A. Martins: On a coalgebraic view on Logic, (logcom.oxfordjournals.org), J Logic Computation, 23(5), 2013, 1097-1106.

Eva Millan, Luis Descalço, Gladys Castillo, Paula Oliveira, Sandra Diogo: Using Bayesian networks to improve knowledge assessment (www.sciencedirect.com), Computers and Education, 60, 2013, 436-447.

Gonçalo Gutierres, Dirk Hofmann: Approaching metric domains, (link.springer.com), Appl. Categ. Structures, 21, 2013, 617-650.

Isabel A. Xarez, João J. Xarez: Galois theories of commutative semigroups via semilattices. (www.tac.mta.ca), Theory Appl. Categ., 28, 2013, 1153-1169.

João Xarez: Concordant and monotone morphisms. (link.springer.com), App. Cat. Struct., 21(4), 2013, 393-415.

Manuel A. Martins, George Voutsadakis: Malinowski Modalization, Modalization through Fibring and the Leibniz Hierarchy (jigpal.oxfordjournals.org), Logic Journal of the IGPL, 21 (5), 2013, 836-852.

Manuel A. Martins, A. Madeira, L. S. Barbosa: A coalgebraic perspective on logical interpretations, (link.springer.com), Studia Logica, 101 (4), 2013, 783-825.

Maria Manuel Clementino, Dirk Hofmann, George Janelidze: On exponentiability of étale algebraic homomorphisms, (www.sciencedirect.com), J. Pure Appl. Algebra, 217, 2013, 1195-1207.

Paula Catarino: On some identities and generating functions for k-Pell Numbers, (m-hikari.com), International Journal of Mathematical Analysis, 7 (38), 2013, 1877-1884.

Paula Catarino: A note involving two-by-two matrices of the k-Pell and k-Pell-Lucas sequences, (www.m-hikari.com), International Mathematical Forum, 8 (32), 2013, 1561-1568.

Paula Catarino, Paulo Vasco: On some Identities and Generating Functions for k-Pell-Lucas sequence, (www.m-hikari.com), Applied Mathematical Sciences, 7, (98), 2013, 4867-4873.

Paula Catarino, Paulo Vasco: Some basic properties and a two-by-two matrix involving the k-Pell Numbers, (www.m-hikari.com), International Journal of Mathematical Analysis, 7 (45), 2013, 2209-2215.

Paulo Almeida, Diego Napp, Raquel Pinto: A new class of superregular matrices and MDP convolutional codes (ria.ua.pt), Linear Algebra and Its Applications, 439, 2013, 2145-2157.

Paulo Almeida, Margarida Facão, Maria Inês Carvalho: Accelerating solitons in gas-filled hollow-core photonic crystal fibers, Physical Review A, 87, 2013, 063803 pp.

Rui Duarte, António Guedes de Oliveira: Note on the Convolution of Binomial Coefficients (cs.uwaterloo.ca), Journal of Integer Sequences, Vol. 16, 2013, 1-9.

Papers in National Journals with referees

Ana Breda, Alexandre Trocado, José Santos: O GeoGebra para além da segunda dimensão. (revistas.ua.pt), Indagatio Didactica, 5 (1), 2013, 60-84.

Papers in International Conference Proceedings with referees

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: Bisimilarity and refinement for hybrid(ised) logics (arxiv.org), 16th International. Refinement Workshop, John Derrick, Eerke Boiten and Steve Reeves, 84-98, Turku, Finland, 2013.

Dirk Hofmann, Carla David Reis: Cauchy completeness à la Lawvere, Conference in Applied Topology (WiAT 13), Javier Gutiérrez García Tomasz Kubiak Iraide Mardones Pérez María Ángeles de Prada Vicente, 9-21, Bilbao (Spain), 2013.

A. Madeira, R. Neves, Manuel A. Martins, L.S.Barbosa: When even the interfaces evolve. (ieeexplore.ieee.org), International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013, 79-82, Birmingham, 2013.

Neto da Cruz, Catarina Maria, D Azevedo Breda, Ana Maria Reis: Some insights about PL(7, 2) codes, 7th Annual International Conference on Mathematics, ATINER S Conference Paper Series, No: MAT2013-0476 (www.atiner.gr), 5-16, Athens, Greece, 2013.

R. Neves, L. S. Barbosa, A. Madeira, Manuel A. Martins: Giving Alloy a family (ieeexplore.ieee.org), 14th International Conference on Information Reuse and Integration (IRI), IEEE, 512-519, San Francisco, CA, 2013.

Reports and Other Publications

Ana Paula Aires, Helena Campos, Paula Catarino: Elementos de matemática para o ensino básico: teoria de conjuntos, lógica e relações binárias, Publicação Didática - 2.ª ed. revista e aumentada - série de Ciências Puras, nº 54, UTAD, 2013.

Paula Catarino, Cecília Costa: Os anti prismas e o seu potencial no ensino: uma proposta de tarefas no âmbito do tema geometria e medida para o 1.º ciclo do ensino básico, Publicação Didática - Série Didática. Ciências Puras nº 57, UTAD, 2013.

PhD Thesis

Patrícia Santos Ribeiro: D-Pavimentações Esféricas Diedrais Triangulares, Aveiro, November, 2012, 333 pp, [Supervisor(s): A. M. D'Azevedo Breda].

MSc Thesis

Ilídio Mendes Moreira: Criptografia de chave pública com base em códigos, Aveiro, December, 2012, 90 pp, [Supervisor(s): Paulo J. Almeida, Raquel Pinto], available at hdl://10773/11224.

Luísa Amélia Fernandes de Faria Casanova Afonso: A Matemática de alguns Jogos (ria.ua.pt), Aveiro, December, 2012, 88 pp, [Supervisor(s): Manuel António Gonçalves Martins, Rui Filipe Alves Silva Duarte].

Maria Isabel Gomes: LpMat – Software Educativo com Necessidades Educativas Especiais, Aveiro, June, 2012, 150 pp, [Supervisor(s): Ana M. R. D'Azevedo Breda, Paulo Coelho Santos].

Pedro Miguel Teixeira Olhero Pessoa Nora: Dualidades na Lógica Modal, Aveiro, December, 2012, 66 pp, [Supervisor(s): Dirk Hofmann, Manuel António Martins], available at hdl://10773/11174.

Rita Alexandra Pires Estrela: Jogos combinatórios e jogos de soma nula (ria.ua.pt), Aveiro, July, 2012, 110 pp, [Supervisor(s): Rui Filipe Alves Silva Duarte, Rita Isabel Gonçalves Simões].

Papers in International Journals with referees

A. M. D Azevedo Breda, J. F. Craveiro de Carvalho, B. Wegner: On the existence of Bertrand pairs, (link.springer.com), Contributions to Algebra and Geometry, 53, N.1, 2012, 73-76.

A. M. D Azevedo Breda, P. S. Ribeiro: Spherical f-tilings by two non congruent classes of isosceles triangles - I (hrcak.srce.hr), Mathematical Communications, 17, N.º 1, 2012, 127-149.

Dirk Hofmann, Pawel Waszkiewicz: A duality of quantale-enriched categories, (www.sciencedirect.com), J. Pure Appl. Algebra, 216 (8--9), 2012, 1866-1878.

Dirk Hofmann, Walter Tholen: Lax algebra meets topology, (www.sciencedirect.com), Topology Appl., 159 (9), 2012, 2434-2452.

João Xarez: Generalising connected components, (www.sciencedirect.com), J. Pure Appl. Algebra, 216, 2012, 1823-1826.

D. Leemans, M. Elisa Fernandes, M. Mixer: All alternating groups An with n≥12 have polytopes of rank ⌊n−1/2⌋, (dx.doi.org), SIAM J. on Discrete Math, 26, nr. 2, 2012, 482-498.

Maria Manuel Clementino, Dirk Hofmann: Descent morphisms and a van Kampen theorem in categories of lax algebras, (www.sciencedirect.com), Topology Appl., 159 (9), 2012, 2310-2319.

Rui Duarte: Constructions of bipartite and bipartite-regular hypermaps (www.combinatorics.org), The Electronic Journal of Combinatorics, 2012, 12 pp.

Papers in National Journals with referees

Paula Catarino, Cecília Costa: Comemorações com Geometria e Criatividade: dois estudos de caso com educadoras de infância, Indagatio Didatica, 4 (1), 2012, 174-202.

Paula Catarino, Cecília Costa: Anti prismas à conquista do 1.º Ciclo do Ensino Básico, Educação e Matemática, 119, 2012, 97-119.

Paula Catarino, Cecília Costa, Maria Manuel da Silva Nascimento: O Nónio de Pedro Nunes no 1.º Ciclo do Ensino Básico, Educação e Matemática, 116, 2012, 36-41.

Papers in International Conference Proceedings with referees

A. M. d' Azevedo Breda, E. Rocha, M. I. Santos: LpMat, Educational Software for Children with Special Needs: First Steps, 2nd International Conference on Future Computers in Education - ICFCE 2012, Lecture Notes in Information, Technology, 333-339, Shangai, China, 2012.

Manuel A. Martins, A. Madeira, L.Barbosa: Towards a semantics for infinitary equational hybrid logic, 9th Advances in Modal Logic (AiML'12), T. Bolander, T. Braüner, S. Ghilardi and L. Moss, 42-46, Copenhagen, Denmark, 2012.

M. Manzano, Manuel A. Martins, A. Huertas: Equational Hybrid Type Theory, 9th Advances in Modal Logic (AiML'12), T. Bolander, T. Braüner, S. Ghilardi and L. Moss, 37-41, Copenhagen, Denmark, 2012.

Margarida Quinta Costa, Paula Catarino: Etnociência: a tecnologia na partilha da ciência, III Congresso Internacional/A fenda dixital /TIC escola e desenvolvimento local, Xosé Manuel Cid Fernández, Xesús Rodríguez Rodríguez, Daniela Gonçalves (coord.), Escola Superior de Educação de Paula Frassinetti (ESEPF), 276-282, Porto, 2012.

Book Chapters

A. Madeira, J. M. Faria, Manuel A. Martins, L. S. Barbosa: Hybrid specification of reactive systems: An institutional approach (link.springer.com), G. Barthe A. Pardo and G. Schneider, Lecture Notes in Computer Science, 2011, Volume 7041, Software Engineering and Formal Methods, 269-285, Springer, Montevideo, Uruguay, 2011.

Manuel A. Martins, A. Madeira, R. Diaconescu, L. S. Barbosa: Hybridization of institutions (link.springer.com), Andrea Corradini, Bartek Klin and Corina Cîrstea, ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE. Lecture Notes in Computer Science, 2011, Volume 6859, 283-297, Springer, Winchester, UK, 2011.

MSc Thesis

Cláudia Maria Ferreira Sebastião: Método da descida infinita, Aveiro, December, 2011, 72 pp, [Supervisor(s): Paulo J. Almeida], available at hdl://10773/9846.

Papers in International Journals with referees

António Breda d'Azevedo, M. Elisa Fernandes: Classification of Primer hypermaps with a prime number of hyperfaces, European Journal of Combinatorics, 32, 2011, 233-242.

Antonio Breda d’Azevedo, Ilda Inácio Rodrigues, Maria Elisa Fernandes: ON CHIRALITY GROUPS AND REGULAR COVERINGS OF REGULAR ORIENTED HYPERMAPS, Czechoslovak Mathematical Journal, 61, 2011, 1037-1047.

A. Breda d'Azevedo, G. Jones, E. Schulte: Constructions of Chiral Polytopes of Small Rank, Canad. J. Math., 63, 2011, 1254-1283.

Dirk Hofmann: Injective spaces via adjunction, J. Pure Appl. Algebra, 215, 2011, 283-302.

Dirk Hofmann, Isar Stubbe: Towards Stone duality for topological theories, Topology Appl., 158 (7), 2011, 913-925.

Dirk Hofmann, Pawel Waszkiewicz: Approximation in quantale-enriched categories, Topology Appl., 158 (8), 2011, 963-977.

Domenico A. Catalano, Marston D.E. Conder, Shao Fei Du, Young Soo Kwon, Roman Nedela, Steve Wilson: Classification of regular embeddings of n-dimensional cubes, J. Algebr. Comb., 33, No. 2, 2011, 215-238.

M. Elisa Fernandes, D. Leemans: Polytopes of high rank for the symmetric group, Adv. Math., 228, 2011, 3207-3222.

D. Leemans, M. Elisa Fernandes, M. Mixer: Corrigendum to Polytopes of high rank for the symmetric groups, Advances in Mathematics, 228, 2011, 3207-3222.

Maria Manuel Clementino, Dirk Hofmann: On the completion monad via the Yoneda embedding in quasi-uniform spaces, Topology Appl, 158 (17), 2011, 2423-2430.

M. Rostami, Ilda I. Rodrigues: An observation on Krull and derived dimensions of some topological lattices, Archivum Mathematicum, 47, 2011, 329-334.

Papers in National Journals with referees

Ana Breda, Eugénio Rocha, Isabel Santos, Rute Domingues, Rui Monteiro, Francisco Silva e Marta Batista: LpMat - software inclusivo para crianças com Necessidades Educativas Especiais (revistas.ua.pt), Indagatio Didactica, 3. Nª2, 2011, 30-32.

Cecília Costa, Maria Manuel Nascimento, Paula Catarino: Trás-os-Montes e Alto Douro: Trabalhando os jugos, APM – Quadrante, Revista de Investigação em Educação Matemática, XIX, nº 1, 2011, 93-113.

Maria Manuel da Silva Nascimento, Paula Catarino, Cecília Costa: Douro, poema geométrico: vertente de sentido matemático, Revista de Letras, II, 9, 2011, 271-283 .

Papers in International Conference Proceedings with referees

Cecília Costa, Maria Manuel da Silva Nascimento, Paula Catarino: The Alto Douro “wine coopers’ pi”, International Conference on new Horizons in Education – Inte2011, General Coordinator: Prof. Dr. Aytekin ISMAN, Coordinator: Carlos Sousa Reis, 780-784, Guarda, 2011.

Cecília Costa, Maria Manuel Nascimento, Paula Catarino: THE YOKE, (Ethno)materials for math classes, ESU 6 - Sixth European Summer University - History and Epistemology in Mathematics Education, Evelyne Barbin, Manfred Kronfellner, Constantinos Tzanakis, 553-561, Wien, Austria, 2011.

Cecília Costa, Paula Catarino, Maria Manuel da Silva Nascimento: O Pi dos Tanoeiros, International Conference on new Horizons in Education – Inte2011, General Coordinator: Prof. Dr. Aytekin Isman, Coordinator: Carlos Sousa Reis, 598-603, Guarda, 2011.

A. Madeira, Manuel A. Martins, L. S. Barbosa: Models as arrows: the role of dialgebras, 7th Conference on Computability in Europe: Models of computation in. context (CiE 2011), H. Ganchev, B. Löwe, D. Normann, I. Soskov, M. Soskova, 144-153, Sofia, Bulgaria, 2011.

C. Rodrigues, Manuel A. Martins, A. Madeira, L. S. Barbosa: Refinement by interpretation in Pi-institutions, Refinement Workshop REFINE’11 (co-located with Formal Methods 2011), John Derrick, Eerke Boiten and Steve Reeves, EPTCS 55, 53-64, Limerick, Ireland, 2011.

Reports and Other Publications

Ana Paula Aires, Helena Campos, Paula Catarino: Elementos de Matemática para o ensino básico, Teoria de conjuntos, lógica e relações binárias, Série Didáctica. Ciências Puras, nº 54 (Edição reformulada), Vila Real - UTAD, 2011.

João Xarez: Admissibility, stable units and connected components, http://arxiv.org/abs/1112.4277, 2011.

Paula Catarino: Álgebra Linear: Problemas e Exercícios – uma proposta de apoio às aulas do tipo teórico – práticas, Publicação Didática nº56 da série de Ciências Puras, UTAD, 2011.

PhD Thesis

Ilda Lopes: Uma abordagem curricular em Matemática no 3º Ciclo do Ensino Básico - um estudo de caso em Geometria, Aveiro, June, 2010, 250 pp, [Supervisor(s): Ana M. d'Azevedo Breda, Nilza Costa].

MSc Thesis

Bruno Miguel Santos Pinto Marques Custódio: Factorização de inteiros com a congruência de quadrados, Aveiro, July, 2010, 111 pp, [Supervisor(s): Paulo J. Almeida], available at hdl://10773/10546.

Hugo Cardoso Albuquerque: Propositional Logic via Lindenbaum-Tarski and Curry-Howard, University of Aveiro, July, 2010, 167 pp, [Supervisor(s): Dirk Hofmann].

Papers in International Journals with referees

Ana M. Breda, Altino F. Santos: On Deformations of Spherical Isometric Foldings, Czechoslovak Mathematical Journal, 60(1), 2010, 149-159.

Ana M. Breda, Patrícia S. Ribeiro, Altino F. Santos: Dihedral F-tilings of the Sphere by Equilateral and Scalene Triangles-I, Rendiconti del Seminario Matematico della Università di Padova, 124, 2010, 1-23.

Antonio Breda d'Azevedo, Maria Elisa Fernandes: Regular Oriented Hypermaps Up To Five Hyperfaces, Acta Univ. M. Belii, ser. Math., 17, 2010, 21-39.

A. Breda d'Azevedo, Alexander Mednykh, Roman Nedela: Enumeration of Maps Regardless of Genus: Geometric Approach, Discrete Mathematics, 310, 2010, 1184-1203.

A. Breda d’Azevedo: Riemann surfaces and restrictively marked hypermaps, Ars Mathematica Contemporanea, 3, 2010, 87-98.

Catarina P. Avelino, Ana M. d’Azevedo Breda, Altino F. Santos: Spherical Quadrangles, Contributions to Algebra and Geometry, 51, Nº1, 2010, 111-115.

L. Descalço, P.M. Higgins: Generealized Green's equivalences on the subsemigroups of the bicyclic monoid, Communications in Algebra, 38-12, 2010, 4597-4597.

Dirk Hofmann, Walter Tholen: Lawvere completion and separation via closure, Appl. Categ. Structures, 18, 2010, 259-287.

Domenico A. Catalano, Roman Nedela.: A characterization of regular embeddings of n-dimensional cubes, Discrete Mathematics, 310, 2010, 2364-2371.

João Xarez: Well-behaved Epireflections for Kan Extensions, Appl. Cat. Structures, 18(2), 2010, 219-230.

Sergey Babenyshev, Manuel A. Martins: Admissible equivalence systems, Bull. Sect. Log., Univ. Łódź, Dep. Log., 39 (1-2), 2010, 17-34.

Papers in National Journals with referees

Cecilia Costa, Maria Manuel da Silva Nascimento, Paula Catarino, Rui Fernandes: Trabalhando os jugos em Trás-os-Montes e Alto Douro, Quadrante, XIX, nº 1, 2010, 93-113.

Maria Manuel da Silva Nascimento, Paula Catarino, Cecília Costa: Douro, poema geométrico: vertente de sentido matemático, Revista de Letras, Série II , 2010, 271 -283.

Papers in International Conference Proceedings with referees

Cecília Costa, Maria Manuel da Silva Nascimento, Paula Catarino: The yoke: (ethno)materials for math classes, History and Epistemology in Mathematics Education of ESU 6 – Sixth European Summer University, Evelyne Barbin, Manfred Kronfellner, Constantinos Tzanakis, 553-561, Wien, Aústria, 2010.

L. Descalço, A. Madeira, Manuel A. Martins: Applying abstract algebraic logic to classical automata theory: an exercise, 6th Conference on Computability in Europe: Programs, proofs, processes (CiE 2010), F. Ferreira H. Guerra E. Mayordomo J. Rasga, 146-157, Azores, Portugal, 2010.

Gladys Castillo, Luís Descalço, Sandra Diogo, Eva Millán, Paula Oliveira, Batel Anjo: Computerized evaluation and diagnosis of student´s knowledge based on Bayesian Networks, Sustaining Tel: From Innovation to Learning and Practice, Lecture Notes in Computer Science, Springer, 494-499, Barcelona, 2010.

Paula Catarino, Cecília Costa: Álgebra Linear para que te quero?!, I Congreso de Docencia Universitaria, La innovación superior. A innovacion educativa no contexto actual da educación superior”, ISBN 978-84-8158-495-0, Castellano/Gallego, 1ª edición, 127-130, Vigo, Espanha, 2010.

Reports and Other Publications

Ana Paula Aires, Helena Campos, Paula Catarino: Elementos de Matemática para o ensino básico, Teoria de conjuntos, lógica e relações binárias, Publicação Didática nº 54 da série de Ciências Puras, UTAD, 2010.

João J. Xarez: Report on the PhD thesis of Mr EB Inyangala, "Categorical semi-direct products in varieties of groups with multiple operators", University of Cape Town, 2010.