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

44 Team Members
Filters -> Year: 2026
921
TÍTULO: Jammer selection policies for secure wireless networks
AUTORES: Vilela, JP ; Pinto, PC; Barros, J ;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE International Conference on Communications Workshops, ICC 2011 Workshops in IEEE International Conference on Communications
INDEXADO EM: Scopus CrossRef: 6
922
TÍTULO: L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory PDF
AUTORES: Paulo Moura ; Artur Miguel Dias;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3783
INDEXADO EM: DBLP arXiv
924
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Rocha, R ; Launchbury, J;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXADO EM: Scopus
925
TÍTULO: LEVERAGING IDENTITY MANAGEMENT INTEROPERABILITY IN EHEALTH
AUTORES: Campos, MJ; Correia, ME ; Antunes, L ;
PUBLICAÇÃO: 2011, FONTE: IEEE International Carnahan Conference on Security Technology (ICCST) in 2011 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
926
TÍTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, PÁGINAS: 173-182
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
927
TÍTULO: Media Ecosystems: A Novel Approach for Content-Awareness in Future Networks
AUTORES: Harilaos Koumaras; Daniel Négru; Eugen Borcoci; Vaios Koumaras; Costas Troulos; Lapid, Y; Evangelos Pallis; Mamadou Sidibé; António Pinto ; Georgios Gardikis; Georgios Xilouris; Christian Timmerer;
PUBLICAÇÃO: 2011, FONTE: Future Internet Assembly, VOLUME: 6656, PÁGINAS: 369-380
INDEXADO EM: Scopus DBLP CrossRef: 7
928
TÍTULO: Meta-predicate Semantics
AUTORES: Paulo Moura ;
PUBLICAÇÃO: 2011, FONTE: LOPSTR, VOLUME: 7225 LNCS, PÁGINAS: 155-172
INDEXADO EM: Scopus DBLP CrossRef
929
TÍTULO: Modelling a network of heterogeneous e-learning systems
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2011, FONTE: International Workshop on Enterprise Systems and Technology, 5th
INDEXADO EM: Handle
930
TÍTULO: Modelling an e-learning environment for learning programming languages  Full Text
AUTORES: Ricardo Queirós ; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: IEEE Learning Technology Newsletter, VOLUME: 13, 2
INDEXADO EM: Handle
931
TÍTULO: Modelling Text File Evaluation Processes
AUTORES: Leal, JP ; Queirós, R ;
PUBLICAÇÃO: 2011, FONTE: 1st International Workshop on Cognitive-Based Interactive Computing and Web Wisdom in NEW HORIZONS IN WEB-BASED LEARNING: ICWL 2010 WORKSHOPS, VOLUME: 6537, PÁGINAS: 66-74
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
932
TÍTULO: Network Node Label Acquisition and Tracking
AUTORES: Choobdar, S ; Silva, F ; Ribeiro, P ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026, PÁGINAS: 418-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
933
TÍTULO: On combining linear-based strategies for tabled evaluation of logic programs
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5, PÁGINAS: 681-696
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
934
TÍTULO: On performance of group key distribution techniques when applied to IPTV services
AUTORES: Pinto, A ; Ricardo, M ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER COMMUNICATIONS, VOLUME: 34, NÚMERO: 14, PÁGINAS: 1708-1721
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
935
TÍTULO: On the implementation of the probabilistic logic programming language ProbLog
AUTORES: Kimmig, A; Demoen, B; De Raedt, L; Costa, VS ; Rocha, R ;
PUBLICAÇÃO: 2011, FONTE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 2-3, PÁGINAS: 235-262
INDEXADO EM: Scopus WOS DBLP CrossRef: 97
936
TÍTULO: On the Portability of Prolog Applications
AUTORES: Wielemaker, J; Costa, VS ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PÁGINAS: 69-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
937
TÍTULO: On using crowdsourcing and active learning to improve classification performance
AUTORES: Joana Cósta; Catarina Silva ; Mário Antunes ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: ISDA, PÁGINAS: 469-474
INDEXADO EM: Scopus DBLP CrossRef: 24
939
TÍTULO: PExIL: Programming Exercises Interoperability Language
AUTORES: Ricardo Queirós ; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXADO EM: Handle
940
TÍTULO: Position-Based Jamming for Enhanced Wireless Secrecy
AUTORES: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, NÚMERO: 3, PÁGINAS: 616-627
INDEXADO EM: Scopus WOS CrossRef: 37

Results per Page: 20.
Página 47 de 65. Total de resultados: 1290.