Algebra and Logic (CMA-AL)

Centro de Matemática e Aplicações (CMA)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 546

23 Team Members
Filters -> Year: 2024
21
TITLE: Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set  Full Text
AUTHORS: Ilinka Dimitrova; Vítor H. Fernandes ; Jörg Koppitz; Teresa M Quinteiro ;
PUBLISHED: 2023, SOURCE: Semigroup Forum
INDEXED IN: Scopus CrossRef Unpaywall
22
TITLE: Some notes on disjunctive short sum: POLYCHROMATIC NIM  Full Text
AUTHORS: Carvalho, Alda; dos Santos, Carlos Pereira ;
PUBLISHED: 2023, SOURCE: DISCRETE APPLIED MATHEMATICS, VOLUME: 324, PAGES: 113-125
INDEXED IN: Scopus WOS CrossRef Unpaywall
23
TITLE: Subsets of groups in public-key cryptography
AUTHORS: André Carvalho; António Malheiro ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.15039
INDEXED IN: DBLP
24
TITLE: The Philosophical Meaning of the Gödel Universe
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit, PAGES: 19-26
INDEXED IN: CrossRef Unpaywall
25
TITLE: Tropical representations and identities of the stylic monoid  Full Text
AUTHORS: Aird, Thomas ; Duarte Ribeiro ;
PUBLISHED: 2023, SOURCE: SEMIGROUP FORUM, VOLUME: 106, ISSUE: 1, PAGES: 1-23
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
26
TITLE: Zukunft der KI: Verantwortung und Vertrauen
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: 2023 Designing Futures: Zukunfte gestalten, INFORMATIK 2023 - 2023 Designing Futures: Shaping the Future, INFORMATIK 2023 in Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), VOLUME: P-337, PAGES: 749-755
INDEXED IN: Scopus
27
TITLE: Axiomatic Thinking I
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking I, PAGES: 1-205
INDEXED IN: Scopus CrossRef
28
TITLE: Axiomatic Thinking II
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking II, PAGES: 1-287
INDEXED IN: Scopus CrossRef: 2
29
TITLE: Boosting isomorphic model filtering with invariants  Full Text
AUTHORS: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: CONSTRAINTS, VOLUME: 27, ISSUE: 3, PAGES: 360-379
INDEXED IN: WOS
30
TITLE: Exploring the Feasibility of Game-Based Tangible Resources in the Teaching of Deaf Preschoolers and their Hearing Peers
AUTHORS: Carla Sousa; José Carlos Neves; Cátia Casimiro; Carlos Pereira dos Santos ; Patrícia Carmo; Joana Mendes; Vasco Bila;
PUBLISHED: 2022, SOURCE: Journal of Educational Studies and Multidisciplinary Approaches, VOLUME: 2, ISSUE: 1
INDEXED IN: CrossRef
31
TITLE: Formulations of the inclusion-exclusion principle from Legendre to Poincare, with emphasis on Daniel Augusto da Silva
AUTHORS: Martins, Ana Patricia; Sousa, Teresa ;
PUBLISHED: 2022, SOURCE: BRITISH JOURNAL FOR THE HISTORY OF MATHEMATICS, VOLUME: 37, ISSUE: 3, PAGES: 212-229
INDEXED IN: Scopus WOS CrossRef Unpaywall
32
TITLE: Geodata as open data for artificial intelligence
AUTHORS: Anna Hoffmann; Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), VOLUME: P-326, PAGES: 1081-1082
INDEXED IN: Scopus
33
TITLE: Geodaten als Open Data für die Künstliche Intelligenz
AUTHORS: Anna Hoffmann; Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, VOLUME: P-326, PAGES: 1081-1082
INDEXED IN: DBLP
34
TITLE: Grenzen der KI – theoretisch, praktisch, ethisch
AUTHORS: Klaus Mainzer; Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: Technik im Fokus
INDEXED IN: CrossRef: 5 Unpaywall
35
TITLE: Hilbert’s Axiomatisches Denken
AUTHORS: Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking I, PAGES: 23-37
INDEXED IN: Scopus CrossRef Unpaywall
36
TITLE: Idempotent Varieties of Incidence Monoids and Bipartite Posets  Full Text
AUTHORS: Can, Mahir Bilen; Casimiro, Ana ; António Malheiro ;
PUBLISHED: 2022, SOURCE: ALGEBRAS AND REPRESENTATION THEORY, VOLUME: 26, ISSUE: 5, PAGES: 1975-2000
INDEXED IN: Scopus WOS CrossRef
37
TITLE: Identities and bases in the hypoplactic monoid  Full Text
AUTHORS: Cain, AJ ; António Malheiro ; Duarte Ribeiro ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 50, ISSUE: 1, PAGES: 146-162
INDEXED IN: Scopus WOS CrossRef: 6 Unpaywall
38
TITLE: Implicit recursion-theoretic characterizations of counting classes  Full Text
AUTHORS: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLISHED: 2022, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, ISSUE: 7-8, PAGES: 1129-1144
INDEXED IN: Scopus WOS DBLP CrossRef
39
TITLE: INVERTIBLE ELEMENTS OF THE DICOT MISÈRE UNIVERSE  Full Text
AUTHORS: Michael Fisher; Richard J Nowakowski; Carlos Pereira Dos Santos ;
PUBLISHED: 2022, SOURCE: Integers, VOLUME: 22
INDEXED IN: Scopus
40
TITLE: Jacques Tits motivic measure  Full Text
AUTHORS: Tabuada, G ;
PUBLISHED: 2022, SOURCE: MATHEMATISCHE ANNALEN, VOLUME: 382, ISSUE: 3-4, PAGES: 1245-1278
INDEXED IN: Scopus WOS CrossRef Unpaywall

Results per Page: 20.
Página 2 de 28. Total de resultados: 546.