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
882
TÍTULO: Distributed, Modular HTL  Full Text
AUTORES: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLICAÇÃO: 2009, FONTE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PÁGINAS: 171-180
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
883
TÍTULO: EduMCA: An approach to educational mobile content adaptation
AUTORES: Queiros, R ; Pinto, MP;
PUBLICAÇÃO: 2009, FONTE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009, PÁGINAS: 485-488
INDEXADO EM: Scopus
884
TÍTULO: Extending the learning object definition to represent programming problems
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2009, FONTE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXADO EM: Handle
885
TÍTULO: High Level Thread-Based Competitive Or-Parallelism in Logtalk  Full Text
AUTORES: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PÁGINAS: 107-121
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
886
TÍTULO: IMC: A Communication Protocol for Networked Vehicles and Sensors
AUTORES: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLICAÇÃO: 2009, FONTE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2, PÁGINAS: 1263-1268
INDEXADO EM: Scopus WOS CrossRef: 52
887
TÍTULO: Improving the automatic evaluation of problem solutions in programming contests
AUTORES: Ribeiro, P ; Guerreiro, P;
PUBLICAÇÃO: 2009, FONTE: International Conference Joint with the 21st International Olympiad in Informatics, IOI 2009 in Olympiads in Informatics, VOLUME: 3, PÁGINAS: 132-143
INDEXADO EM: Scopus
888
TÍTULO: Improving the efficiency of inductive logic programming systems  Full Text
AUTORES: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLICAÇÃO: 2009, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, NÚMERO: 2, PÁGINAS: 189-219
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
889
TÍTULO: Knowledge discovery for sensor network comprehension
AUTORES: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLICAÇÃO: 2009, FONTE: Intelligent Techniques for Warehousing and Mining Sensor Network Data, PÁGINAS: 118-135
INDEXADO EM: Scopus CrossRef: 10
890
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Gama, J ; Costa, VS ; Jorge, A ; Brazdil, P;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Discovery Science, DS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5808 LNAI
INDEXADO EM: Scopus
891
TÍTULO: Management of User Generated Multicast Sessions in IMS-based Networks
AUTORES: Nuno Passaro; Antonio Pinto ; Manuel Ricardo ; Telma Mota; Filipe Pinto; Teresa Almeida; Joao Goncalves;
PUBLICAÇÃO: 2009, FONTE: 3rd International Conference on Next Generation Mobile Applications, Services, and Technologies in THIRD INTERNATIONAL CONFERENCE ON NEXT GENERATION MOBILE APPLICATIONS, SERVICES, AND TECHNOLOGIES, PROCEEDINGS, PÁGINAS: 3-8
INDEXADO EM: Scopus WOS CrossRef: 1
892
TÍTULO: Mapping e-learning interactions using social network analysis
AUTORES: Figueira, A ;
PUBLICAÇÃO: 2009, FONTE: 8th IASTED International Conference on Web-based Education, WBE 2009 in Proceedings of the 8th IASTED International Conference on Web-based Education, WBE 2009, PÁGINAS: 66-72
INDEXADO EM: Scopus
893
TÍTULO: Moodle - Criação e Gestão de cursos online
AUTORES: Álvaro Figueira ;
PUBLICAÇÃO: 2009
INDEXADO EM: Handle
894
TÍTULO: mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction  Full Text
AUTORES: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLICAÇÃO: 2009, FONTE: MITOCHONDRION, VOLUME: 9, NÚMERO: 1, PÁGINAS: 36-40
INDEXADO EM: Scopus WOS CrossRef: 1
895
TÍTULO: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PÁGINAS: 113-125
INDEXADO EM: Scopus WOS DBLP CrossRef
896
TÍTULO: On Just in Time Indexing of Dynamic Predicates in Prolog
AUTORES: Vitor Santos Costa ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PÁGINAS: 126-137
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
897
TÍTULO: ON THE STRENGTHENING OF OPENID AUTHENTICATION MECANISMS WITH THE PORTUGUESE CITIZEN CARD
AUTORES: Filipa Falcao Reis; Diana Almeida; Manuel E. Correia ;
PUBLICAÇÃO: 2009, FONTE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PÁGINAS: 273-278
INDEXADO EM: Scopus WOS
898
TÍTULO: One Table Fits All  Full Text
AUTORES: Jorge Costa; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PÁGINAS: 195-208
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
899
TÍTULO: Parallel calculation of multi-electrode array correlation networks  Full Text
AUTORES: Pedro Ribeiro ; Jennifer Simonotto; Marcus Kaiser; Fernando Silva ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 184, NÚMERO: 2, PÁGINAS: 357-364
INDEXADO EM: Scopus WOS CrossRef: 2
900
TÍTULO: Parallel ILP for distributed-memory architectures  Full Text
AUTORES: Fonseca, NA ; Srinivasan, A; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2009, FONTE: MACHINE LEARNING, VOLUME: 74, NÚMERO: 3, PÁGINAS: 257-279
INDEXADO EM: Scopus WOS DBLP CrossRef: 20 Handle

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