RG: Algebra (RG:ALG)
AuthID: I-000-B74
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: 973
45 Team MembersFilters -> Year: 2025
401
TITLE: A systematic review on heterogeneous routing protocols for wireless sensor network Full Text
AUTHORS: Sudeep Tanwar; Neeraj Kumar; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, VOLUME: 53, PAGES: 39-56
AUTHORS: Sudeep Tanwar; Neeraj Kumar; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, VOLUME: 53, PAGES: 39-56
402
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
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: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
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
403
TITLE: An intelligent approach for building a secure decentralized public key infrastructure in VANET Full Text
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 6, PAGES: 1042-1058
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 6, PAGES: 1042-1058
404
TITLE: An Intelligent Context-aware Congestion Resolution Protocol for Data Dissemination in Vehicular Ad Hoc Networks Full Text
AUTHORS: Amit Dua; Neeraj Kumar; Seema Bawa; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 20, ISSUE: 2, PAGES: 181-200
AUTHORS: Amit Dua; Neeraj Kumar; Seema Bawa; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 20, ISSUE: 2, PAGES: 181-200
405
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
INDEXED IN: 
DBLP
DBLP406
TITLE: Bayesian Coalition Game for Contention-Aware Reliable Data Forwarding in Vehicular Mobile Cloud Full Text
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 48, PAGES: 60-72
AUTHORS: Neeraj Kumar; Rahat Iqbal; Sudip Misra; Joel J P C Rodrigues ;
PUBLISHED: 2015, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 48, PAGES: 60-72
407
TITLE: Bayesian Coalition Game-Based Optimized Clustering in Wireless Sensor Networks
AUTHORS: Sudhanshu Tyagi; Sudeep Tanwar; Gupta, SK; Neeraj Kumar; Sudip Misra; Rodrigues, JPC ; Sana Ullah;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 3540-3545
AUTHORS: Sudhanshu Tyagi; Sudeep Tanwar; Gupta, SK; Neeraj Kumar; Sudip Misra; Rodrigues, JPC ; Sana Ullah;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 3540-3545
408
TITLE: Coalition Games for Spatio-Temporal Big Data in Internet of Vehicles Environment: A Comparative Analysis
AUTHORS: Neeraj Kumar; Sudip Misra; Joel J P C Rodrigues ; Mohammad S Obaidat;
PUBLISHED: 2015, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 2, ISSUE: 4, PAGES: 310-320
AUTHORS: Neeraj Kumar; Sudip Misra; Joel J P C Rodrigues ; Mohammad S Obaidat;
PUBLISHED: 2015, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 2, ISSUE: 4, PAGES: 310-320
409
TITLE: Cooperation Strategies for Vehicular Delay-Tolerant Networks Full Text
AUTHORS: Joao A F F Dias; Joel J P C Rodrigues ; Neeraj Kumar; Kashif Saleem;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 53, ISSUE: 12, PAGES: 88-94
AUTHORS: Joao A F F Dias; Joel J P C Rodrigues ; Neeraj Kumar; Kashif Saleem;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 53, ISSUE: 12, PAGES: 88-94
INDEXED IN: 
WOS
WOS410
TITLE: Cooperation strategies for vehicular delay-tolerant networks Full Text
AUTHORS: Dias, JAFF; Rodrigues, JJPC ; Kumar, N; Saleem, K;
PUBLISHED: 2015, SOURCE: IEEE Communications Magazine, VOLUME: 53, ISSUE: 12, PAGES: 88-94
AUTHORS: Dias, JAFF; Rodrigues, JJPC ; Kumar, N; Saleem, K;
PUBLISHED: 2015, SOURCE: IEEE Communications Magazine, VOLUME: 53, ISSUE: 12, PAGES: 88-94
411
TITLE: DAMAGE ASSESSMENT IN COMPOSITE LAMINATES - A FRACTAL APPROACH
AUTHORS: Silva, JMP; Matos, J; Abreu, S ; João Manuel R. S. Tavares ; Durao, LMP;
PUBLISHED: 2015, SOURCE: 6th International Conference on Mechanics and Materials in Design (M2D) in M2D2015: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN, PAGES: 1837-1838
AUTHORS: Silva, JMP; Matos, J; Abreu, S ; João Manuel R. S. Tavares ; Durao, LMP;
PUBLISHED: 2015, SOURCE: 6th International Conference on Mechanics and Materials in Design (M2D) in M2D2015: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN, PAGES: 1837-1838
INDEXED IN: WOS 
Handle
WOS Handle412
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
413
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
414
TITLE: Derivations of a parametric family of subalgebras of the Weyl algebra Full Text
AUTHORS: Georgia Benkart; Samuel A Lopes ; Matthew Ondrus;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 424, PAGES: 46-97
AUTHORS: Georgia Benkart; Samuel A Lopes ; Matthew Ondrus;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 424, PAGES: 46-97
415
TITLE: ENDOMORPHISM RINGS OF MODULES OVER PRIME RINGS
AUTHORS: Mohammad Baziar; Christian Lomp ;
PUBLISHED: 2015, SOURCE: TAIWANESE JOURNAL OF MATHEMATICS, VOLUME: 19, ISSUE: 3, PAGES: 953-962
AUTHORS: Mohammad Baziar; Christian Lomp ;
PUBLISHED: 2015, SOURCE: TAIWANESE JOURNAL OF MATHEMATICS, VOLUME: 19, ISSUE: 3, PAGES: 953-962
416
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
417
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
418
TITLE: Formalization of context-free language theory PDF
AUTHORS: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.09092
AUTHORS: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.09092
INDEXED IN: DBLP 
arXiv
DBLP arXiv419
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
420
TITLE: Generic profit singularities in time averaged optimization for phase transitions in polydynamical systems Full Text
AUTHORS: Davydov, AA; Mena Matos, H ; Moreira, CS ;
PUBLISHED: 2015, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 424, ISSUE: 1, PAGES: 704-726
AUTHORS: Davydov, AA; Mena Matos, H ; Moreira, CS ;
PUBLISHED: 2015, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 424, ISSUE: 1, PAGES: 704-726
