Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 1133

37 Team Members
Filters -> Year: 2025
521
TÍTULO: Processing Markov Logic Networks with GPUs: Accelerating Network Grounding
AUTORES: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLICAÇÃO: 2016, FONTE: 25th International Conference on Inductive Logic Programming (ILP) in INDUCTIVE LOGIC PROGRAMMING, ILP 2015, VOLUME: 9575, PÁGINAS: 122-136
INDEXADO EM: Scopus WOS DBLP CrossRef
522
TÍTULO: Relational Learning with GPUs: Accelerating Rule Coverage  Full Text
AUTORES: Carlos A Alberto Martinez Angeles; Haicheng C Wu; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3, PÁGINAS: 663-685
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
523
TÍTULO: Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
AUTORES: Sandra Alves ;
PUBLICAÇÃO: 2016, FONTE: SIGLOG News, VOLUME: 3, NÚMERO: 4, PÁGINAS: 50-54
INDEXADO EM: DBLP
524
TÍTULO: Semantic Measures: How Similar? How Related?
AUTORES: Teresa Costa ; Jose Paulo Leal ;
PUBLICAÇÃO: 2016, FONTE: 16th International Conference on Web Engineering (ICWE) in WEB ENGINEERING (ICWE 2016), VOLUME: 9671, PÁGINAS: 431-438
INDEXADO EM: Scopus WOS DBLP CrossRef
525
TÍTULO: Smartphones as M2M Gateways in Smart Cities IoT Applications
AUTORES: Pereira, C; Rodrigues, J; Pinto, A ; Rocha, P; Santiago, F; Sousa, J ; Aguiar, A ;
PUBLICAÇÃO: 2016, FONTE: 23rd International Conference on Telecommunications (ICT) in 2016 23RD INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS (ICT), PÁGINAS: 1-7
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
526
TÍTULO: Sni'per: a Code Snippet RESTful API
AUTORES: Ricardo Queirós ; Alberto Simões;
PUBLICAÇÃO: 2016, FONTE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PÁGINAS: 13:1-13:11
INDEXADO EM: Scopus DBLP
527
TÍTULO: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTORES: João Sá; Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1611.08547
INDEXADO EM: DBLP arXiv
528
TÍTULO: Workshop message: Smart Vehicles 2016
AUTORES: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLICAÇÃO: 2016, FONTE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
INDEXADO EM: Scopus CrossRef
529
TÍTULO: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PÁGINAS: 89-105
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
530
TÍTULO: A Framework for the Secure Storage of Data Generated in the IoT
AUTORES: Ricardo Costa ; António Pinto ;
PUBLICAÇÃO: 2015, FONTE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PÁGINAS: 175-182
INDEXADO EM: Scopus DBLP CrossRef: 4
531
TÍTULO: A Parallel Computing Hybrid Approach for Feature Selection
AUTORES: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
PUBLICAÇÃO: 2015, FONTE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PÁGINAS: 97-104
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
532
TÍTULO: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 115, NÚMERO: 11, PÁGINAS: 908-911
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
533
TÍTULO: A Structural Approach to Assess Graph-Based Exercises
AUTORES: Ruben Sousa; Jose Paulo Leal ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 182-193
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
534
TÍTULO: A Typed Language for Events
AUTORES: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PÁGINAS: 107-123
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
535
TÍTULO: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTORES: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PÁGINAS: 148-163
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
536
TÍTULO: Active Manifold Learning with Twitter Big Data
AUTORES: Catarina Silva ; Mario Antunes ; Joana Costa; Bernardete Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: INNS Conference on Big Data in INNS CONFERENCE ON BIG DATA 2015 PROGRAM, VOLUME: 53, NÚMERO: 1, PÁGINAS: 208-215
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
537
TÍTULO: Automatic network configuration in virtualized environment using GNS3
AUTORES: Rodrigo Emiliano; Mario Antunes ;
PUBLICAÇÃO: 2015, FONTE: 10th International Conference on Computer Science and Education (ICCSE) in 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015), PÁGINAS: 25-30
INDEXADO EM: Scopus WOS CrossRef: 10
538
TÍTULO: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 113-124
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
539
TÍTULO: Benchmarking analysis of social media strategies in the Higher Education Sector
AUTORES: Oliveira, L ; Figueira, A ;
PUBLICAÇÃO: 2015, FONTE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PÁGINAS: 779-786
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
540
TÍTULO: Cross-Layer Admission Control to Enhance the Support of Real-Time Applications in WSN  Full Text
AUTORES: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLICAÇÃO: 2015, FONTE: IEEE SENSORS JOURNAL, VOLUME: 15, NÚMERO: 12, PÁGINAS: 6945-6953
INDEXADO EM: Scopus WOS CrossRef: 12 Handle

Results per Page: 20.
Página 27 de 57. Total de resultados: 1133.