CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
4341
TÍTULO: A logic for n-dimensional hierarchical refinement  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, NÚMERO: 209, PÁGINAS: 40-56
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4342
TÍTULO: A Logic for Robotics?  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef: 1
4343
TÍTULO: A microscope for the data centre
AUTORES: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M; Filipe de Faria Pacheco ; Tovar, E ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, NÚMERO: 3-4, PÁGINAS: 193-203
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
4344
TÍTULO: A Modular Sampling Framework for Flexible Traffic Analysis
AUTORES: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2015, FONTE: 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2015 23RD INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PÁGINAS: 200-204
INDEXADO EM: Scopus WOS CrossRef: 2
4345
TÍTULO: A modular sampling framework for flexible traffic analysis
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2015, FONTE: 23rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18, 2015, PÁGINAS: 200-204
INDEXADO EM: DBLP
4346
TÍTULO: A MULTI-AGENT BROKERAGE PLATFORM FOR MEDIA CONTENT RECOMMENDATION
AUTORES: Veloso, B ; Malheiro, B ; Burguillo, JC;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 3, PÁGINAS: 513-527
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
4347
TÍTULO: A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution
AUTORES: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
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: 1925-1932
INDEXADO EM: Scopus WOS CrossRef
4348
TÍTULO: A multi-spot exploration of the topological structures of the reconstructed phase-space for the detection of cardiac murmurs
AUTORES: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2015, FONTE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PÁGINAS: 4194-4197
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4349
TÍTULO: A new concept of 3D DCS interface application for industrial production console operators  Full Text
AUTORES: Ramiro Goncalves ; Jose Martins ; Frederico Branco ; Miguel R G Gonzalez Castro; Manuel P Perez Cota; Joao Barroso ;
PUBLICAÇÃO: 2015, FONTE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, NÚMERO: 3, PÁGINAS: 399-413
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
4350
TÍTULO: A Novel Approach using Alloy in Domain-specific Language Engineering
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLICAÇÃO: 2015, FONTE: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) in MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, PÁGINAS: 157-164
INDEXADO EM: Scopus WOS DBLP CrossRef
4351
TÍTULO: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTORES: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PÁGINAS: 66-82
INDEXADO EM: Scopus CrossRef Handle
4352
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
4353
TÍTULO: A perspective on architectural re-engineering  Full Text
AUTORES: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PÁGINAS: 764-784
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4354
TÍTULO: A Proposal for a social e-learning model [Proposta de um modelo de e-learning social]  Full Text
AUTORES: Martins, J ; Gonçalves, R ; Santos, V; Cota, MP; Oliveira, T; Branco, F ;
PUBLICAÇÃO: 2015, FONTE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, NÚMERO: 16, PÁGINAS: 92-107
INDEXADO EM: Scopus CrossRef: 2
4355
TÍTULO: A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses  Full Text
AUTORES: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLICAÇÃO: 2015, FONTE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, NÚMERO: 4, PÁGINAS: 29:1-29:20
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
4356
TÍTULO: A review of performance criteria to validate simulation models  Full Text
AUTORES: Joana Hora ; Pedro Campos ;
PUBLICAÇÃO: 2015, FONTE: EXPERT SYSTEMS, VOLUME: 32, NÚMERO: 5, PÁGINAS: 578-595
INDEXADO EM: Scopus WOS CrossRef: 25
4357
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
4358
TÍTULO: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTORES: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2015, FONTE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PÁGINAS: 74-81
INDEXADO EM: Scopus WOS DBLP CrossRef
4359
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
4360
TÍTULO: A study of risk-aware program transformation
AUTORES: Murta, D; Oliveira, JN ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PÁGINAS: 51-77
INDEXADO EM: Scopus WOS CrossRef Handle

Results per Page: 20.
Página 218 de 414. Total de resultados: 8279.