Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 963

45 Team Members
Filters -> Year: 2026
501
TITLE: Note on the convolution of binomial coefficients
AUTHORS: Duarte, R; de Oliveira, AG ;
PUBLISHED: 2013, SOURCE: Journal of Integer Sequences, VOLUME: 16, ISSUE: 7
INDEXED IN: Scopus
502
TITLE: ON PERIODIC POINTS OF FREE INVERSE MONOID HOMOMORPHISMS  Full Text
AUTHORS: Emanuele Rodaro; Pedro V Silva ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 23, ISSUE: 8, PAGES: 1789-1803
INDEXED IN: Scopus WOS CrossRef: 1
503
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: FCT, VOLUME: 8070 LNCS, PAGES: 72-83
INDEXED IN: Scopus DBLP CrossRef: 6
504
TITLE: ON THE GENERALIZED FENG-RAO NUMBERS OF NUMERICAL SEMIGROUPS GENERATED BY INTERVALS
AUTHORS: Delgado, M ; Farran, JI; Garcia Sanchez, PA ; Llena, D;
PUBLISHED: 2013, SOURCE: MATHEMATICS OF COMPUTATION, VOLUME: 82, ISSUE: 283, PAGES: 1813-1836
INDEXED IN: Scopus WOS CrossRef: 7
505
TITLE: ON THE NOTION OF STRONG IRREDUCIBILITY AND ITS DUAL  Full Text
AUTHORS: Jawad Abuhlail; Christian Lomp ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ALGEBRA AND ITS APPLICATIONS, VOLUME: 12, ISSUE: 6, PAGES: 1350012
INDEXED IN: Scopus WOS CrossRef: 4
506
TITLE: On the semigroup of equational classes of finite functions
AUTHORS: Almeida, J ; Couceiro, M; Waldhauser, T;
PUBLISHED: 2013, SOURCE: IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL) in 2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), PAGES: 243-247
INDEXED IN: Scopus WOS DBLP CrossRef: 1
507
TITLE: ON THE VARIETY OF STRICT PSEUDOSEMILATTICES
AUTHORS: Auinger, K; Oliveira, L ;
PUBLISHED: 2013, SOURCE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 50, ISSUE: 2, PAGES: 207-241
INDEXED IN: Scopus WOS CrossRef: 1
508
TITLE: Preface
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 24, ISSUE: 6, PAGES: 689-690
INDEXED IN: DBLP CrossRef
509
TITLE: Presentations of Schutzenberger groups of minimal subshifts  Full Text
AUTHORS: Jorge Almeida ; Alfredo Costa ;
PUBLISHED: 2013, SOURCE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 196, ISSUE: 1, PAGES: 1-31
INDEXED IN: Scopus WOS CrossRef: 12
510
TITLE: Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups I  Full Text
AUTHORS: Marion, C ;
PUBLISHED: 2013, SOURCE: Communications in Algebra, VOLUME: 41, ISSUE: 3, PAGES: 797-852
INDEXED IN: Scopus CrossRef: 3
511
TITLE: Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups II  Full Text
AUTHORS: Marion, C ;
PUBLISHED: 2013, SOURCE: Communications in Algebra, VOLUME: 41, ISSUE: 3, PAGES: 853-925
INDEXED IN: Scopus CrossRef
512
TITLE: Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups III  Full Text
AUTHORS: Marion, C ;
PUBLISHED: 2013, SOURCE: Communications in Algebra, VOLUME: 41, ISSUE: 3, PAGES: 926-954
INDEXED IN: Scopus CrossRef
513
TITLE: Rees quotients of numerical semigroups
AUTHORS: Manuel Delgado ; Vítor H. Fernandes ;
PUBLISHED: 2013, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 70, ISSUE: 2, PAGES: 93-112
INDEXED IN: Scopus WOS CrossRef: 1
514
TITLE: Regular Ideal Languages and Synchronizing Automata
AUTHORS: Rogério Reis ; Emanuele Rodaro ;
PUBLISHED: 2013, SOURCE: WORDS, VOLUME: 8079 LNCS, PAGES: 205-216
INDEXED IN: Scopus DBLP CrossRef: 1
515
TITLE: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6, PAGES: 689-690
INDEXED IN: Scopus WOS CrossRef
516
TITLE: A general method to assess the utility of the X-chromosomal markers in kinship testing
AUTHORS: Nadia Pinto ; Pedro V Silva ; Amorim, Antonio ;
PUBLISHED: 2012, SOURCE: FORENSIC SCIENCE INTERNATIONAL-GENETICS, VOLUME: 6, ISSUE: 2, PAGES: 198-207
INDEXED IN: Scopus WOS CrossRef: 35
517
TITLE: Deciding KAT and Hoare Logic with Derivatives
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: GandALF, VOLUME: 96, PAGES: 127-140
INDEXED IN: Scopus DBLP CrossRef: 4
518
TITLE: Deciding Regular Expressions (In-)Equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS, PAGES: 98-113
INDEXED IN: Scopus DBLP CrossRef: 10
519
TITLE: DERIVATIONS OF FINITARY INCIDENCE RINGS  Full Text
AUTHORS: Khripchenko, NS ;
PUBLISHED: 2012, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 40, ISSUE: 7, PAGES: 2503-2522
INDEXED IN: Scopus WOS CrossRef: 12

Results per Page: 20.
Page 26 of 49. Total results: 963.