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: 977

45 Team Members
Filters -> Year: 2025
641
TITLE: T-SLAM: Registering topological and geometric maps for robot localization
AUTHORS: Ferreira, F; Amorim, I ; Rocha, R; Dias, J ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Multi-Sensor Integration and Fusion, IEEE MFI 2008 in Lecture Notes in Electrical Engineering, VOLUME: 35 LNEE, PAGES: 423-438
INDEXED IN: Scopus CrossRef: 2
642
TITLE: Testing the Equivalence of Regular Languages  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: 11th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009 in Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., VOLUME: 3, PAGES: 47-57
INDEXED IN: Scopus DBLP CrossRef: 3
643
TITLE: The catenary and tame degree of numerical monoids
AUTHORS: Chapman, ST; García Sánchez, PA ; Llena, D;
PUBLISHED: 2009, SOURCE: FORUM MATHEMATICUM, VOLUME: 21, ISSUE: 1, PAGES: 117-129
INDEXED IN: Scopus WOS CrossRef: 35
644
TITLE: The gluing of numerical semigroups
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 123-136
INDEXED IN: CrossRef
645
TITLE: The quotient of a numerical semigroup by a positive integer
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 77-90
INDEXED IN: CrossRef
646
TITLE: The structure of a numerical semigroup
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 155-169
INDEXED IN: CrossRef
647
TITLE: Triangle groups and PSL2(q)  Full Text
AUTHORS: Marion, C ;
PUBLISHED: 2009, SOURCE: Journal of Group Theory, VOLUME: 12, ISSUE: 5, PAGES: 689-708
INDEXED IN: Scopus CrossRef: 5
648
TITLE: A Mahler's theorem for functions from words to integers
AUTHORS: Jean Eric Pin; Pedro V Silva ;
PUBLISHED: 2008, SOURCE: 25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008) in STACS 2008: PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, PAGES: 585-+
INDEXED IN: Scopus WOS
649
TITLE: A web application for mathematics education  Full Text
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ; Marcos Aurelio Domingues;
PUBLISHED: 2008, SOURCE: 6th International Conference on Web Based Learning (ICWL 2007) in ADVANCES IN WEB BASED LEARNING - ICWL 2007, VOLUME: 4823, PAGES: 380-391
INDEXED IN: Scopus WOS DBLP CrossRef: 4
650
TITLE: Covering coalgebras and dual non-singularity  Full Text
AUTHORS: Christian Lomp ; Virginia Rodrigues;
PUBLISHED: 2008, SOURCE: International Conference on Algebras and Coalgebras in APPLIED CATEGORICAL STRUCTURES, VOLUME: 16, ISSUE: 1-2, PAGES: 195-211
INDEXED IN: Scopus WOS DBLP CrossRef: 1
651
TITLE: Decidability and tameness in the theory of finite semigroups
AUTHORS: Jorge Almeida ;
PUBLISHED: 2008, SOURCE: BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, VOLUME: 34, ISSUE: 1, PAGES: 1-22
INDEXED IN: Scopus WOS
652
TITLE: Description and analysis of a bottom-up DFA minimization algorithm  Full Text
AUTHORS: Jorge Almeida ; Marc Zeitoun;
PUBLISHED: 2008, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 107, ISSUE: 2, PAGES: 52-59
INDEXED IN: Scopus WOS DBLP CrossRef: 13
653
TITLE: Every numerical semigroup is one half of a symmetric numerical semigroup
AUTHORS: Rosales J.C.; García-Sánchez P.A. ;
PUBLISHED: 2008, SOURCE: Proceedings of the American Mathematical Society, VOLUME: 136, ISSUE: 2, PAGES: 475-477
INDEXED IN: Scopus CrossRef: 7
654
TITLE: Every numerical semigroup is one half of infinitely many symmetric numerical semigroups
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, ISSUE: 8, PAGES: 2910-2916
INDEXED IN: Scopus WOS CrossRef: 12
655
TITLE: Exact generation of acyclic deterministic finite automata
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008, PAGES: 48-60
INDEXED IN: Scopus DBLP
656
TITLE: Exact generation of minimal acyclic deterministic finite automata  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2008, SOURCE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PAGES: 751-765
INDEXED IN: Scopus WOS DBLP CrossRef: 7
657
TITLE: Formal Modelling of Emotions in BDI Agents  Full Text
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-81
INDEXED IN: Scopus WOS DBLP
658
TITLE: Hopf bifurcation in coupled cell networks with interior symmetries  Full Text
AUTHORS: Fernando Antoneli; Ana Dias ; Rui C Paiva ;
PUBLISHED: 2008, SOURCE: SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, VOLUME: 7, ISSUE: 1, PAGES: 220-248
INDEXED IN: Scopus WOS CrossRef: 22
659
TITLE: Ideal extensions of locally inverse semigroups
AUTHORS: Francis J Pastijn; Luis Oliveira ;
PUBLISHED: 2008, SOURCE: STUDIA SCIENTIARUM MATHEMATICARUM HUNGARICA, VOLUME: 45, ISSUE: 3, PAGES: 395-409
INDEXED IN: Scopus WOS CrossRef: 1
660
TITLE: Invariants, equivariants and characters in symmetric bifurcation theory
AUTHORS: Fernando Antoneli; Ana Dias ; Paul C Matthews;
PUBLISHED: 2008, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, VOLUME: 138, ISSUE: 3, PAGES: 477-512
INDEXED IN: Scopus WOS CrossRef: 5

Results per Page: 20.
Page 33 of 49. Total results: 977.