Semigroups, Automata and Languages (L:SAL)
AuthID: I-000-B7B
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
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!
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!
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!
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: 625
18 Team MembersFilters -> Year: 2026
241
TITLE: A Routing/Assignment Problem in Garden Maintenance Services Full Text
AUTHORS: Orestes Cerdeira, JO ; Manuel Cruz; Ana Moura ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH, PAGES: 145-155
AUTHORS: Orestes Cerdeira, JO ; Manuel Cruz; Ana Moura ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH, PAGES: 145-155
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef
243
TITLE: A Typed Language for Events
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
244
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bull. EATCS, VOLUME: 116
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bull. EATCS, VOLUME: 116
INDEXED IN: 
DBLP
DBLP245
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
246
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: CIAA, VOLUME: 9223, PAGES: 49-62
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: CIAA, VOLUME: 9223, PAGES: 49-62
247
TITLE: Equations over free inverse monoids with idempotent variables
AUTHORS: Diekert, V; Martin, F; Sénizergues, G; Silva, PV ;
PUBLISHED: 2015, SOURCE: 10th International Computer Science Symposium in Russia, CSR 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9139, PAGES: 173-188
AUTHORS: Diekert, V; Martin, F; Sénizergues, G; Silva, PV ;
PUBLISHED: 2015, SOURCE: 10th International Computer Science Symposium in Russia, CSR 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9139, PAGES: 173-188
248
TITLE: Finiteness results for subgroups of finite extensions Full Text
AUTHORS: Araojo, V; Silva, PV ; Sykiotis, M;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 423, PAGES: 592-614
AUTHORS: Araojo, V; Silva, PV ; Sykiotis, M;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 423, PAGES: 592-614
249
TITLE: FROBENIUS VECTORS, HILBERT SERIES AND GLUINGS OF AFFINE SEMIGROUPS
AUTHORS: Assi, A; García Sánchez, PA ; Ojeda, I;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMMUTATIVE ALGEBRA, VOLUME: 7, ISSUE: 3, PAGES: 317-335
AUTHORS: Assi, A; García Sánchez, PA ; Ojeda, I;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMMUTATIVE ALGEBRA, VOLUME: 7, ISSUE: 3, PAGES: 317-335
250
TITLE: Incomplete operational transition complexity of regular languages Full Text
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244, PAGES: 1-22
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244, PAGES: 1-22
251
TITLE: McCammond's normal forms for free aperiodic semigroups revisited
AUTHORS: Almeida, J ; Costa, JC ; Zeitoun, M;
PUBLISHED: 2015, SOURCE: LMS JOURNAL OF COMPUTATION AND MATHEMATICS, VOLUME: 18, ISSUE: 1, PAGES: 130-147
AUTHORS: Almeida, J ; Costa, JC ; Zeitoun, M;
PUBLISHED: 2015, SOURCE: LMS JOURNAL OF COMPUTATION AND MATHEMATICS, VOLUME: 18, ISSUE: 1, PAGES: 130-147
252
TITLE: McCammond's normal forms for free aperiodic semigroups revisited
AUTHORS: Jorge Almeida ; José Carlos Costa; Marc Zeitoun;
PUBLISHED: 2015, SOURCE: LMS J. Comput. Math., VOLUME: 18, ISSUE: 1, PAGES: 130-147
AUTHORS: Jorge Almeida ; José Carlos Costa; Marc Zeitoun;
PUBLISHED: 2015, SOURCE: LMS J. Comput. Math., VOLUME: 18, ISSUE: 1, PAGES: 130-147
INDEXED IN: DBLP
DBLP253
TITLE: On Decidability of Intermediate Levels of Concatenation Hierarchies
AUTHORS: Almeida, J ; Bartonová, J; Klíma, O; Kunc, M;
PUBLISHED: 2015, SOURCE: 19th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), VOLUME: 9168, PAGES: 58-70
AUTHORS: Almeida, J ; Bartonová, J; Klíma, O; Kunc, M;
PUBLISHED: 2015, SOURCE: 19th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), VOLUME: 9168, PAGES: 58-70
254
TITLE: On fixed points of the lower set operator Full Text
AUTHORS: Almeida, J ; Cano, A; Klíma, O; Pin, JÉ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, ISSUE: 1-2, PAGES: 259-292
AUTHORS: Almeida, J ; Cano, A; Klíma, O; Pin, JÉ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, ISSUE: 1-2, PAGES: 259-292
255
TITLE: On the number of L-shapes in embedding dimension four numerical semigroups
AUTHORS: Aguiló Gost, F; García Sánchez, PA ; Llena, D;
PUBLISHED: 2015, SOURCE: DISCRETE MATHEMATICS, VOLUME: 338, ISSUE: 12, PAGES: 2168-2178
AUTHORS: Aguiló Gost, F; García Sánchez, PA ; Llena, D;
PUBLISHED: 2015, SOURCE: DISCRETE MATHEMATICS, VOLUME: 338, ISSUE: 12, PAGES: 2168-2178
256
TITLE: On the Number of Linear Finite Transducers Full Text
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PAGES: 873-893
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PAGES: 873-893
257
TITLE: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTHORS: Moreira, N ; Pighizzini, G; Reis, R ;
PUBLISHED: 2015, SOURCE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939, PAGES: 339-351
AUTHORS: Moreira, N ; Pighizzini, G; Reis, R ;
PUBLISHED: 2015, SOURCE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939, PAGES: 339-351
258
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: DCFS, VOLUME: 9118, PAGES: 21-32
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: DCFS, VOLUME: 9118, PAGES: 21-32
259
TITLE: Prefix and Right-Partial Derivative Automata
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: 11th Conference on Computability in Europe (CiE) in EVOLVING COMPUTABILITY, VOLUME: 9136, PAGES: 258-267
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: 11th Conference on Computability in Europe (CiE) in EVOLVING COMPUTABILITY, VOLUME: 9136, PAGES: 258-267
260
TITLE: Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings
AUTHORS: Rudolf Freund; Markus Holzer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: NCMA, VOLUME: 318
AUTHORS: Rudolf Freund; Markus Holzer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: NCMA, VOLUME: 318
INDEXED IN: DBLP
DBLP