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
381
TITLE: A new notion of vertex independence and rank for finite graphs  Full Text
AUTHORS: John Rhodes; Pedro V Silva ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, ISSUE: 1-2, PAGES: 123-167
INDEXED IN: Scopus WOS CrossRef: 2
382
TITLE: A Note on Dimension Modules  Full Text
AUTHORS: Christian Lomp ; Edmund Puczylowski;
PUBLISHED: 2015, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 43, ISSUE: 6, PAGES: 2267-2271
INDEXED IN: Scopus WOS CrossRef
383
TITLE: A NOTE ON PSEUDOVARIETIES OF COMPLETELY REGULAR SEMIGROUPS
AUTHORS: Almeida, J ; Costa, A;
PUBLISHED: 2015, SOURCE: Bulletin of the Australian Mathematical Society in BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, VOLUME: 92, ISSUE: 2, PAGES: 233-237
INDEXED IN: Scopus WOS CrossRef Handle
384
TITLE: A PARAMETRIC FAMILY OF SUBALGEBRAS OF THE WEYL ALGEBRA I. STRUCTURE AND AUTOMORPHISMS
AUTHORS: Benkart, G; Lopes, SA ; Ondrus, M;
PUBLISHED: 2015, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 367, ISSUE: 3, PAGES: 1993-2021
INDEXED IN: Scopus WOS CrossRef: 11
385
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
INDEXED IN: WOS CrossRef
386
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
INDEXED IN: Scopus WOS DBLP CrossRef: 3
387
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
INDEXED IN: Scopus WOS DBLP CrossRef: 29
388
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
389
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
INDEXED IN: Scopus WOS CrossRef: 23
390
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
INDEXED IN: WOS DBLP CrossRef: 9
391
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
INDEXED IN: DBLP
392
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
INDEXED IN: WOS CrossRef: 32
393
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
INDEXED IN: WOS CrossRef: 5
394
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
INDEXED IN: Scopus WOS CrossRef: 29
395
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
INDEXED IN: WOS
396
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
INDEXED IN: Scopus CrossRef: 13
397
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
INDEXED IN: WOS Handle
398
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
399
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
INDEXED IN: Scopus DBLP CrossRef Handle
400
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
INDEXED IN: Scopus WOS CrossRef: 10

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