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
341
TITLE: Stone duality and the substitution principle
AUTHORS: Borlido, C ; Czarnetzki, S; Gehrke, M; Krebs, A;
PUBLISHED: 2017, SOURCE: 26th Annual EACSL Conference on Computer Science Logic, CSL 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 82
INDEXED IN: Scopus
342
TITLE: Takahasi semigroups  Full Text
AUTHORS: Branco, MJJ; Gomes, GMS; Silva, PV ;
PUBLISHED: 2017, SOURCE: FORUM MATHEMATICUM, VOLUME: 29, ISSUE: 5, PAGES: 1145-1161
INDEXED IN: Scopus WOS CrossRef
343
TITLE: The pro-nilpotent group topology on a free group  Full Text
AUTHORS: Almeida, J ; Shahzamanian, MH ; Steinberg, B;
PUBLISHED: 2017, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 480, PAGES: 332-345
INDEXED IN: Scopus WOS CrossRef: 3
345
TITLE: The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy  Full Text
AUTHORS: Manfred Kufleitner; Jan Philipp Wächter ;
PUBLISHED: 2017, SOURCE: Theory of Computing Systems, VOLUME: 62, ISSUE: 3, PAGES: 682-738
INDEXED IN: CrossRef: 1
346
TITLE: The κ-word problem over DRH  Full Text
AUTHORS: Borlido, C ;
PUBLISHED: 2017, SOURCE: Theoretical Computer Science, VOLUME: 702, PAGES: 1-22
INDEXED IN: Scopus CrossRef
347
TITLE: Twisted partial actions and extensions of semilattices of groups by groups  Full Text
AUTHORS: Mikhailo Dokuchaev; Mykola Khrypchenko ;
PUBLISHED: 2017, SOURCE: International Journal of Algebra and Computation, VOLUME: 27, ISSUE: 7, PAGES: 887-933
INDEXED IN: Scopus CrossRef: 7
348
TITLE: A geometric interpretation of the Schutzenberger group of a minimal subshift
AUTHORS: Almeida, J ; Costa, A;
PUBLISHED: 2016, SOURCE: Arkiv för Matematik in ARKIV FOR MATEMATIK, VOLUME: 54, ISSUE: 2, PAGES: 243-275
INDEXED IN: Scopus WOS CrossRef Handle
349
TITLE: A Mathematical Model for Supermarket Order Picking
AUTHORS: Costa e Silva, Eliana ; Manuel Cruz; Isabel Cristina Lopes; Ana Moura ;
PUBLISHED: 2016, SOURCE: Mathematics in Industry - Progress in Industrial Mathematics at ECMI 2014, PAGES: 189-196
INDEXED IN: CrossRef Handle
350
TITLE: A numeracia e a formação dos jornalistas  Full Text
AUTHORS: Susana Pereira; José Azevedo; António Machiavelo ;
PUBLISHED: 2016
INDEXED IN: Handle
351
TITLE: Algorithms for curves with one place at infinity
AUTHORS: Assi, A; García Sánchez, PA ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 74, PAGES: 475-492
INDEXED IN: Scopus WOS CrossRef: 2
352
TITLE: An Overview of the Computational Aspects of Nonunique Factorization Invariants
AUTHORS: García-Sánchez, PA ;
PUBLISHED: 2016, SOURCE: Springer Proceedings in Mathematics & Statistics - Multiplicative Ideal Theory and Factorization Theory, PAGES: 159-181
INDEXED IN: CrossRef: 7
353
TITLE: Automata Serialization for Manipulation and Drawing
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PAGES: 15:1-15:7
INDEXED IN: Scopus DBLP
354
TITLE: Bayesian Coalition Negotiation Game as a Utility for Secure Energy Management in a Vehicles-to-Grid Environment  Full Text
AUTHORS: Neeraj Kumar; Sudip Misra; Naveen Chilamkurti; Jong Hyouk Lee; Joel J P C Rodrigues ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 13, ISSUE: 1, PAGES: 133-145
INDEXED IN: Scopus WOS DBLP CrossRef: 22
355
TITLE: Bounding the gap between a free group (outer) automorphism and its inverse
AUTHORS: Ladra, M; Silva, PV ; Ventura, E;
PUBLISHED: 2016, SOURCE: COLLECTANEA MATHEMATICA, VOLUME: 67, ISSUE: 3, PAGES: 329-346
INDEXED IN: Scopus WOS CrossRef: 2
356
TITLE: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes PDF
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.06312
INDEXED IN: DBLP arXiv
357
TITLE: CYCLOTOMIC NUMERICAL SEMIGROUPS
AUTHORS: Ciolan, EA; García Sánchez, PA ; Moree, P;
PUBLISHED: 2016, SOURCE: SIAM JOURNAL ON DISCRETE MATHEMATICS, VOLUME: 30, ISSUE: 2, PAGES: 650-668
INDEXED IN: Scopus WOS CrossRef: 12
358
TITLE: Distinguishability Operations and Closures  Full Text
AUTHORS: Cezar Campeanu; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 148, ISSUE: 3-4, PAGES: 243-266
INDEXED IN: Scopus WOS DBLP CrossRef: 5
359
TITLE: Factoriality and the Pin-Reutenauer procedure  Full Text
AUTHORS: Almeida, J ; Costa, JC; Zeitoun, M;
PUBLISHED: 2016, SOURCE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus WOS DBLP Handle
360
TITLE: Finite automata for Schreier graphs of virtually free groups  Full Text
AUTHORS: Pedro V Silva ; Xaro Soler Escriva; Enric Ventura;
PUBLISHED: 2016, SOURCE: JOURNAL OF GROUP THEORY, VOLUME: 19, ISSUE: 1, PAGES: 25-54
INDEXED IN: Scopus WOS CrossRef: 7

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