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

531 Team Members
Filters -> Year: 2025
4481
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
4482
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
4483
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
4484
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
4485
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
4486
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
4487
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
4488
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
4489
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
4490
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
4491
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
4492
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
4493
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
4494
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
4495
TÍTULO: A Real-Time Semantics for the IEC 61499 standard
AUTORES: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
INDEXADO EM: Scopus WOS CrossRef: 10
4496
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
4497
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: 29
4498
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
4499
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
4500
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

Results per Page: 20.
Página 225 de 424. Total de resultados: 8473.