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

45 Team Members
Filters -> Year: 2025
341
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
342
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
343
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
344
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
345
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
346
TITLE: A numeracia e a formação dos jornalistas  Full Text
AUTHORS: Susana Pereira; José Azevedo; António Machiavelo ;
PUBLISHED: 2016
INDEXED IN: Handle
347
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
348
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
349
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
350
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
351
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
352
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
353
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
354
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
355
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
356
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
357
TITLE: Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
INDEXED IN: Scopus WOS DBLP
358
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PAGES: 211-226
INDEXED IN: DBLP
359
TITLE: Holder Conditions for Endomorphisms of Hyperbolic Groups  Full Text
AUTHORS: Vitor Araujo; Pedro V Silva ;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 44, ISSUE: 10, PAGES: 4483-4503
INDEXED IN: WOS CrossRef: 3
360
TITLE: Hölder Conditions for Endomorphisms of Hyperbolic Groups
AUTHORS: Araújo, V; Silva, PV ;
PUBLISHED: 2016, SOURCE: Communications in Algebra, VOLUME: 44, ISSUE: 10, PAGES: 4483-4503
INDEXED IN: Scopus

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