Semigroups, Automata and Languages (L:SAL)

Centro de Matemática da Universidade do Porto (CMUP)

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

18 Team Members
Filters -> Year: 2025
381
TITLE: Small NFAs from Regular Expressions: Some Experimental Results PDF
AUTHORS: Hugo Gouveia; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3599
INDEXED IN: DBLP arXiv
382
TITLE: State Elimination Ordering Strategies: Some Experimental Results  Full Text
AUTHORS: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLISHED: 2010, SOURCE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31, PAGES: 139-148
INDEXED IN: DBLP CrossRef: 2
383
TITLE: Testing the Equivalence of Regular Languages
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 15, ISSUE: 1/2, PAGES: 7-25
INDEXED IN: DBLP
384
TITLE: UNIQUELY PRESENTED FINITELY GENERATED COMMUTATIVE MONOIDS
AUTHORS: García Sánchez, PA ; Ojeda, I;
PUBLISHED: 2010, SOURCE: PACIFIC JOURNAL OF MATHEMATICS, VOLUME: 248, ISSUE: 1, PAGES: 91-105
INDEXED IN: Scopus WOS CrossRef: 27
385
TITLE: A counterexample to a conjecture concerning concatenation hierarchies  Full Text
AUTHORS: Jorge Almeida ; Ondrej Klima;
PUBLISHED: 2009, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 110, ISSUE: 1, PAGES: 4-7
INDEXED IN: Scopus WOS DBLP CrossRef: 1
386
TITLE: A service-oriented middleware for composing context aware mobile services
AUTHORS: Joao Paulo Sousa; Eurico Carrapatoso; Benjamin Fonseca ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Internet and Web Applications and Services in 2009 FOURTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES, PAGES: 357-362
INDEXED IN: Scopus WOS DBLP CrossRef: 3
387
TITLE: ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: 13th International Conference on Implementation and Application of Automata in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 20, ISSUE: 4, PAGES: 669-684
INDEXED IN: Scopus WOS DBLP CrossRef: 1
388
TITLE: Antimirov and Mosses's Rewrite System Revisited  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2009, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 20, ISSUE: 4, PAGES: 669-684
INDEXED IN: Scopus DBLP CrossRef: 12
389
TITLE: Complexity of the identity checking problem for finite semigroups  Full Text
AUTHORS: Almeida, J ; Volkov, MV; Goldberg, SV;
PUBLISHED: 2009, SOURCE: Journal of Mathematical Sciences, VOLUME: 158, ISSUE: 5, PAGES: 605-614
INDEXED IN: Scopus CrossRef: 10
390
TITLE: Factorization and catenary degree in 3-generated numerical semigroups  Full Text
AUTHORS: Francesc Aguiló Gost; Pedro A García Sánchez ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Discrete Mathematics, VOLUME: 34, PAGES: 157-161
INDEXED IN: Scopus CrossRef: 6
391
TITLE: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTHORS: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLISHED: 2009, SOURCE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642, PAGES: 65-74
INDEXED IN: Scopus WOS DBLP CrossRef: 15
392
TITLE: Families of numerical semigroups closed under finite intersections and adjoin of the Frobenius number
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 91-104
INDEXED IN: CrossRef: 1
393
TITLE: Gerard Lallement (1935-2006) OBITUARY  Full Text
AUTHORS: Jorge Almeida ; Dominique Perrin;
PUBLISHED: 2009, SOURCE: SEMIGROUP FORUM, VOLUME: 78, ISSUE: 3, PAGES: 379-383
INDEXED IN: Scopus WOS CrossRef: 1
394
TITLE: INFINITE PERIODIC POINTS OF ENDOMORPHISMS OVER SPECIAL CONFLUENT REWRITING SYSTEMS
AUTHORS: Cassaigne, J; Silva, PV ;
PUBLISHED: 2009, SOURCE: ANNALES DE L INSTITUT FOURIER, VOLUME: 59, ISSUE: 2, PAGES: 769-810
INDEXED IN: Scopus WOS CrossRef: 9
395
TITLE: INFINITE WORDS AND CONFLUENT REWRITING SYSTEMS: ENDOMORPHISM EXTENSIONS  Full Text
AUTHORS: Julien Cassaigne; Pedro V Silva ;
PUBLISHED: 2009, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 19, ISSUE: 4, PAGES: 443-490
INDEXED IN: Scopus WOS CrossRef: 13
396
TITLE: Infinite-vertex free profinite semigroupoids and symbolic dynamics  Full Text
AUTHORS: Almeida, J ; Costa, A ;
PUBLISHED: 2009, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 213, ISSUE: 5, PAGES: 605-631
INDEXED IN: Scopus WOS CrossRef Handle
397
TITLE: Introduction
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 1-3
INDEXED IN: CrossRef
398
TITLE: Irreducible numerical semigroups
AUTHORS: J.C Rosales; P.A García-Sánchez ;
PUBLISHED: 2009, SOURCE: Numerical Semigroups - Developments in Mathematics, PAGES: 33-55
INDEXED IN: CrossRef: 3
399
TITLE: Locating Cars through a Vision Enabled VANET
AUTHORS: Michel Ferreira ; Hugo Conceicao ; Ricardo Fernandes; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: IEEE Intelligent Vehicles Symposium in 2009 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1 AND 2, PAGES: 99-104
INDEXED IN: Scopus WOS CrossRef: 3
400
TITLE: Matrix Mortality and the Cerny-Pin Conjecture
AUTHORS: Jorge Almeida ; Benjamin Steinberg;
PUBLISHED: 2009, SOURCE: 13th International Conference on Developments in Language Theory (DLT 2009) in DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, VOLUME: 5583, PAGES: 67-80
INDEXED IN: Scopus WOS DBLP CrossRef: 12

Results per Page: 20.
Page 20 of 33. Total results: 643.