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

45 Team Members
Filters -> Year: 2024
881
TITLE: Solving linear Diophantine equations using the geometric structure of the solution space  Full Text
AUTHORS: Tomas, AP ; Filgueiras, M ;
PUBLISHED: 1997, SOURCE: 8th International Conference on Rewriting Techniques and Applications in REWRITING TECHNIQUES AND APPLICATIONS, VOLUME: 1232, PAGES: 269-283
INDEXED IN: WOS DBLP
882
TITLE: Solving linear Diophantine equations using the geometric structure of the solution space
AUTHORS: Tomás, AP ; Filgueiras, M;
PUBLISHED: 1997, SOURCE: 8th International Conference on Rewriting Techniques and Applications, RTA 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1232, PAGES: 269-283
INDEXED IN: Scopus CrossRef: 1
883
TITLE: The pseudovariety J is hyperdecidable
AUTHORS: Almeida, J ; Zeitoun, M;
PUBLISHED: 1997, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 457-482
INDEXED IN: Scopus WOS DBLP CrossRef: 21
884
TITLE: A generalized Desargues configuration and the pure braid group  Full Text
AUTHORS: Cordovil, R; deOliveira, AG ; LasVergnas, M;
PUBLISHED: 1996, SOURCE: DISCRETE MATHEMATICS, VOLUME: 160, ISSUE: 1-3, PAGES: 105-113
INDEXED IN: Scopus WOS CrossRef
885
TITLE: A Syntactical Proof of Locality of da
AUTHORS: Jorge Almeida ;
PUBLISHED: 1996, SOURCE: IJAC, VOLUME: 6, ISSUE: 2, PAGES: 165-178
INDEXED IN: Scopus DBLP CrossRef: 41
886
TITLE: Conjugacy and transposition for inverse monoid presentations
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 6, ISSUE: 5, PAGES: 607-622
INDEXED IN: Scopus
887
TITLE: CONJUGACY AND TRANSPOSITION FOR INVERSE MONOID PRESENTATIONS
AUTHORS: PEDRO V SILVA ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 06, ISSUE: 05, PAGES: 607-622
INDEXED IN: CrossRef: 8
888
TITLE: Instant chaos is chaos in slow motion  Full Text
AUTHORS: Labouriau, IS ; Ana Dias ;
PUBLISHED: 1996, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 199, ISSUE: 1, PAGES: 138-148
INDEXED IN: Scopus WOS CrossRef: 1
889
TITLE: On free inverse monoid languages
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 30, ISSUE: 4, PAGES: 349-378
INDEXED IN: Scopus WOS CrossRef: 9
890
TITLE: A fast method for finding the basis of non-negative solutions to a linear diophantine equation  Full Text
AUTHORS: Filgueiras, M ; Tomas, AP ;
PUBLISHED: 1995, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, ISSUE: 6, PAGES: 507-526
INDEXED IN: Scopus WOS DBLP CrossRef: 14
891
TITLE: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 359-370
INDEXED IN: Scopus DBLP CrossRef
892
TITLE: Constraint Categorial Grammars
AUTHORS: Luís Damas ; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 347-358
INDEXED IN: Scopus DBLP CrossRef
893
TITLE: Constraint Categorial Grammars PDF
AUTHORS: Luís Damas; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: CoRR, VOLUME: abs/cmp-lg/9507001
INDEXED IN: DBLP arXiv
894
TITLE: EFFECTS OF PRENATAL COCAINE EXPOSURE ON POSTNATAL-GROWTH PATTERNS OF MALE WISTAR RATS  Full Text
AUTHORS: SILVA, MC ; SILVAARAUJO, A; ABREU, S ; XAVIER, MR; MONTEIRO, LS; TAVARES, MA ;
PUBLISHED: 1995, SOURCE: NEUROTOXICOLOGY AND TERATOLOGY, VOLUME: 17, ISSUE: 4, PAGES: 471-477
INDEXED IN: Scopus WOS CrossRef: 14
895
TITLE: Finite Semigroups And Universal Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series In Algebra
INDEXED IN: CrossRef Openlibrary
896
TITLE: Finite Semigroups and Universal Algebra
AUTHORS: Jorge Almeida ;
PUBLISHED: 1995, SOURCE: Series in Algebra
INDEXED IN: CrossRef Openlibrary
897
TITLE: From elliott-macmahon to an algorithm for general linear constraints on naturals
AUTHORS: Domenjoud, E; Tomàs, AP ;
PUBLISHED: 1995, SOURCE: 1st International Conference on Principles and Practice of Constraint Programming, CP 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 976, PAGES: 18-35
INDEXED IN: Scopus DBLP CrossRef: 3
898
TITLE: On complete intersection affine semigroups
AUTHORS: Rosales, JC; GarciaSanchez, PA ;
PUBLISHED: 1995, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 23, ISSUE: 14, PAGES: 5395-5412
INDEXED IN: Scopus WOS CrossRef: 14
899
TITLE: ON THE STEINITZ EXCHANGE LEMMA  Full Text
AUTHORS: DEOLIVEIRA, AG ;
PUBLISHED: 1995, SOURCE: DISCRETE MATHEMATICS, VOLUME: 137, ISSUE: 1-3, PAGES: 367-370
INDEXED IN: Scopus WOS CrossRef
900
TITLE: THE WORD PROBLEM FOR NILPOTENT INVERSE MONOIDS
AUTHORS: SILVA, PV ;
PUBLISHED: 1995, SOURCE: SEMIGROUP FORUM, VOLUME: 51, ISSUE: 3, PAGES: 285-293
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 45 of 49. Total results: 962.