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

37 Team Members
Filters -> Year: 2024
801
TÍTULO: On combining linear-based strategies for tabled evaluation of logic programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
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
802
TÍTULO: On performance of group key distribution techniques when applied to IPTV services  Full Text
AUTORES: Antonio Pinto ; Manuel Ricardo ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER COMMUNICATIONS, VOLUME: 34, NÚMERO: 14, PÁGINAS: 1708-1721
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
803
TÍTULO: On the implementation of the probabilistic logic programming language ProbLog
AUTORES: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
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: 86
804
TÍTULO: On the Portability of Prolog Applications  Full Text
AUTORES: Jan Wielemaker; Vitor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PÁGINAS: 69-83
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
805
TÍTULO: On using crowdsourcing and active learning to improve classification performance
AUTORES: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: 2011 11th International Conference on Intelligent Systems Design and Applications, ISDA'11 in International Conference on Intelligent Systems Design and Applications, ISDA, PÁGINAS: 469-474
INDEXADO EM: Scopus DBLP CrossRef: 24
806
TÍTULO: Online Proceedings of the 11th PDF
AUTORES: Salvador Abreu ; Vítor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.4993
INDEXADO EM: DBLP arXiv
807
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
808
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
810
TÍTULO: 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
811
TÍTULO: Programming exercises interoperability language
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
INDEXADO EM: Handle
812
TÍTULO: Runtime programming through model-preserving, scalable runtime patches  Full Text
AUTORES: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PÁGINAS: 77-86
INDEXADO EM: Scopus DBLP CrossRef: 2
813
TÍTULO: Single Time-Stamped Tries for Retroactive Call Subsumption PDF
AUTORES: Flávio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3779
INDEXADO EM: DBLP arXiv
814
TÍTULO: The architecture design for content-aware network security services
AUTORES: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLICAÇÃO: 2011, FONTE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, NÚMERO: 3, PÁGINAS: 151-164
INDEXADO EM: Scopus
815
TÍTULO: The importance of precision in humour classification
AUTORES: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6936 LNCS, PÁGINAS: 271-278
INDEXADO EM: Scopus DBLP CrossRef: 1
816
TÍTULO: Trebuchet: Exploring TLP with dataflow virtualisation
AUTORES: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLICAÇÃO: 2011, FONTE: International Journal of High Performance Systems Architecture, VOLUME: 3, NÚMERO: 2-3, PÁGINAS: 137-148
INDEXADO EM: Scopus DBLP CrossRef: 24
817
TÍTULO: Tunable immune detectors for behaviour-based network intrusion detection
AUTORES: Antunes, M ; Manuel E. Correia ;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Artificial Immune Systems, ICARIS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6825 LNCS, PÁGINAS: 334-347
INDEXADO EM: Scopus DBLP CrossRef: 2
818
TÍTULO: Using the Common Cartridge profile to enhance learning content interoperability
AUTORES: Ricardo Queirós; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the European Conference on E-Learning
INDEXADO EM: Handle
819
TÍTULO: Using the Common Cartridge Profile to Enhance Learning Content Interoperability
AUTORES: Ricardo Queiros ; Jose Paulo Leal ;
PUBLICAÇÃO: 2011, FONTE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 637-645
INDEXADO EM: Scopus WOS
820
TÍTULO: Using the learning tools interoperability framework for LMS integration in service oriented architectures
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: Technology Enhanced Learning TECH-EDUCATION'11
INDEXADO EM: Handle

Results per Page: 20.
Página 41 de 56. Total de resultados: 1120.