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

37 Team Members
Filters -> Year: 2025
561
TÍTULO: Languages, Applications and Technologies - 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
AUTORES: José Luis Sierra Rodríguez; José Paulo Leal ; Alberto Simões ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies, SLATE 2015 in SLATE, VOLUME: 563
INDEXADO EM: Scopus DBLP CrossRef: 2
562
TÍTULO: Liquid Intersection Types PDF  Full Text
AUTORES: Pereira, M; Alves, S ; Florido, M ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, NÚMERO: 177, PÁGINAS: 24-42
INDEXADO EM: WOS DBLP arXiv CrossRef: 2
563
TÍTULO: Long term goal oriented recommender systems
AUTORES: Nabizadeh, AH ; Jorge, AM ; Leal, JP ;
PUBLICAÇÃO: 2015, FONTE: 11th International Conference on Web Information Systems and Technologies, WEBIST 2015 in WEBIST 2015 - 11th International Conference on Web Information Systems and Technologies, Proceedings, PÁGINAS: 552-557
INDEXADO EM: Scopus DBLP CrossRef: 4
566
TÍTULO: Multithreaded Tabling for Logic Programming
AUTORES: Miguel Areias ;
PUBLICAÇÃO: 2015
INDEXADO EM: DBLP Handle
567
TÍTULO: Network comparison using directed graphlets PDF
AUTORES: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1511.01964
INDEXADO EM: DBLP arXiv
568
TÍTULO: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTORES: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PÁGINAS: 331-334
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
569
TÍTULO: Odin: a service for gamification of learning activities
AUTORES: José P Leal ; José Paiva; Ricardo Queirós;
PUBLICAÇÃO: 2015, FONTE: Symposium on Languages, Applications and Technologies (SLATE), 4th
INDEXADO EM: Handle
570
TÍTULO: Odin: A Service for Gamification of Learning Activities
AUTORES: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 194-204
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
571
TÍTULO: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTORES: Flavio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PÁGINAS: 34-49
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
572
TÍTULO: ORCHESTRATING ONLINE GROUP WORK WHILE ASSESSING INDIVIDUAL PARTICIPATIONS
AUTORES: Alvaro Figueira ;
PUBLICAÇÃO: 2015, FONTE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 2996-3005
INDEXADO EM: WOS
573
TÍTULO: Pairwise structural role mining for user categorization in information cascades
AUTORES: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLICAÇÃO: 2015, FONTE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PÁGINAS: 137-144
INDEXADO EM: Scopus WOS DBLP CrossRef
574
TÍTULO: Physical-layer Security Against Non-degraded Eavesdroppers
AUTORES: Joao P Vilela ; Joao Sa Sousa;
PUBLICAÇÃO: 2015, FONTE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM)
INDEXADO EM: Scopus WOS CrossRef
575
TÍTULO: Predicting Adverse Drug Events from Electronic Medical Records
AUTORES: Jesse Davis; Vítor Santos Costa ; Peggy L Peissig; Michael Caldwell; David Page;
PUBLICAÇÃO: 2015, FONTE: Foundations of Biomedical Knowledge Representation - Methods and Applications, VOLUME: 9521, PÁGINAS: 243-257
INDEXADO EM: DBLP CrossRef
576
TÍTULO: Predicting Drugs Adverse Side-Effects Using a Recommender-System
AUTORES: Diogo Pinto; Pedro Costa; Rui Camacho ; Vitor Santos Costa ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, DS 2015, VOLUME: 9356, PÁGINAS: 201-208
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
577
TÍTULO: Predicting Results from Interaction Patterns During Online Group Work
AUTORES: Álvaro Figueira ;
PUBLICAÇÃO: 2015, FONTE: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015 in Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings, VOLUME: 9307, PÁGINAS: 414-419
INDEXADO EM: Scopus DBLP CrossRef: 3
578
TÍTULO: Preface
AUTORES: Sierra Rodríguez, JL; Leal, JP ; Simões, A ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies, SLATE 2015 in Communications in Computer and Information Science, VOLUME: 563
INDEXADO EM: Scopus
580
TÍTULO: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10, PÁGINAS: 280-298
INDEXADO EM: WOS DBLP CrossRef: 28

Results per Page: 20.
Página 29 de 58. Total de resultados: 1141.