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
661
TITLE: KAT and PHL in Coq  Full Text
AUTHORS: David Pereira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
INDEXED IN: Scopus WOS DBLP CrossRef: 3
662
TITLE: MODULAR DIOPHANTINE INEQUALITIES AND ROTATIONS OF NUMERICAL SEMIGROUPS
AUTHORS: Delgado, M ; Rosales, JC;
PUBLISHED: 2008, SOURCE: JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 84, ISSUE: 3, PAGES: 315-328
INDEXED IN: Scopus WOS CrossRef
663
TITLE: Numerical semigroups having a toms decomposition
AUTHORS: Rosales, JC; García Sánchez, PA ;
PUBLISHED: 2008, SOURCE: CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, VOLUME: 51, ISSUE: 1, PAGES: 134-139
INDEXED IN: Scopus WOS CrossRef: 6
664
TITLE: ON A RECENT GENERALIZATION OF SEMIPERFECT RINGS
AUTHORS: Engin Buyukasik; Christian Lomp ;
PUBLISHED: 2008, SOURCE: BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 78, ISSUE: 2, PAGES: 317-325
INDEXED IN: Scopus WOS CrossRef: 6
665
TITLE: On an algorithm to decide whether a free group is a free factor of another
AUTHORS: Pedro V Silva ; Pascal Weil;
PUBLISHED: 2008, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 42, ISSUE: 2, PAGES: 395-414
INDEXED IN: Scopus WOS CrossRef: 4
666
TITLE: Pointlike sets with respect to R and J  Full Text
AUTHORS: Jorge Almeida ; Jose Carlos Costa ; Marc Zeitoun;
PUBLISHED: 2008, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 212, ISSUE: 3, PAGES: 486-499
INDEXED IN: Scopus WOS CrossRef: 10
667
TITLE: Rational subsets of partially reversible monoids  Full Text
AUTHORS: Pedro V Silva ;
PUBLISHED: 2008, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 409, ISSUE: 3, PAGES: 537-548
INDEXED IN: Scopus WOS CrossRef: 3
668
TITLE: Rees matrix covers and the translational hull of a locally inverse semigroup  Full Text
AUTHORS: Francis J Pastijn; Luis A Oliveira ;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 36, ISSUE: 9, PAGES: 3230-3249
INDEXED IN: Scopus WOS CrossRef: 3
669
TITLE: REGULAR AND BIREGULAR MODULE ALGEBRAS  Full Text
AUTHORS: Christian Lomp ;
PUBLISHED: 2008, SOURCE: ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, VOLUME: 33, ISSUE: 2C, PAGES: 351-363
INDEXED IN: Scopus WOS
670
TITLE: Strongly taut finitely generated monoids
AUTHORS: García Sánchez, PA ; Llena, D; Rosales, JC;
PUBLISHED: 2008, SOURCE: MONATSHEFTE FUR MATHEMATIK, VOLUME: 155, ISSUE: 2, PAGES: 119-124
INDEXED IN: Scopus WOS CrossRef: 2
671
TITLE: Systems of proportionally modular Diophantine inequalities  Full Text
AUTHORS: Delgado, M ; Garcia Sanchez, PA ; Rosales, JC; Urbano Blanco, M;
PUBLISHED: 2008, SOURCE: SEMIGROUP FORUM, VOLUME: 76, ISSUE: 3, PAGES: 469-488
INDEXED IN: Scopus WOS CrossRef: 3
672
TITLE: T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments
AUTHORS: Ferreira, F; Amorim, I ; Rocha, R ; Dias, J ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems in 2008 IEEE INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INTEGRATION FOR INTELLIGENT SYSTEMS, VOLS 1 AND 2, PAGES: 547-553
INDEXED IN: Scopus WOS CrossRef
673
TITLE: The set of solutions of a proportionally modular Diophantine inequality  Full Text
AUTHORS: Rosales J.; García-Sánchez P. ; Urbano-Blanco J.;
PUBLISHED: 2008, SOURCE: Journal of Number Theory, VOLUME: 128, ISSUE: 3, PAGES: 453-467
INDEXED IN: Scopus CrossRef: 8
674
TITLE: Turing machines and bimachines  Full Text
AUTHORS: John Rhodes; Pedro V Silva ;
PUBLISHED: 2008, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 400, ISSUE: 1-3, PAGES: 182-224
INDEXED IN: Scopus WOS CrossRef: 3
675
TITLE: An automata-theoretic approach to the word problem for omega-terms over R  Full Text
AUTHORS: Jorge Almeida ; Marc Zeitoun;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 370, ISSUE: 1-3, PAGES: 131-169
INDEXED IN: Scopus WOS DBLP CrossRef: 14
676
TITLE: An example of an indecomposable module without non-zero hollow factor modules
AUTHORS: Christian Lomp ;
PUBLISHED: 2007, SOURCE: TURKISH JOURNAL OF MATHEMATICS, VOLUME: 31, ISSUE: 4, PAGES: 415-419
INDEXED IN: Scopus WOS
677
TITLE: Automated ciphertext-only cryptanalysis of the Bifid cipher  Full Text
AUTHORS: Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2007, SOURCE: CRYPTOLOGIA, VOLUME: 31, ISSUE: 2, PAGES: 112-124
INDEXED IN: Scopus WOS DBLP CrossRef: 1
678
TITLE: Automorphisms and derivations of U-q (sl(4)(+))  Full Text
AUTHORS: Stephane Launois; Samuel A Lopes ;
PUBLISHED: 2007, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 211, ISSUE: 1, PAGES: 249-264
INDEXED IN: Scopus WOS CrossRef: 8
679
TITLE: Chain and distributive coalgebras  Full Text
AUTHORS: Christian Lomp ; Alveri Sant'Ana;
PUBLISHED: 2007, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 211, ISSUE: 3, PAGES: 581-595
INDEXED IN: Scopus WOS CrossRef: 5
680
TITLE: Complete reducibility of systems of equations with respect to R
AUTHORS: José Carlos Costa; Marc Zeitoun; Jorge Almeida ;
PUBLISHED: 2007, SOURCE: Portugaliae Mathematica - Port. Math., PAGES: 445-508
INDEXED IN: CrossRef: 1

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