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
641
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: 6
642
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
643
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
644
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
645
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
646
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
647
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
648
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
649
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
650
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: 3
651
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
652
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
653
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
654
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
655
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
656
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
657
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
658
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
659
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
660
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

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