Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and 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: 19031

1704 Team Members
Filters -> Year: 2025
10221
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
10222
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
10223
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
10224
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
10225
TÍTULO: A Survey of Distributed Data Aggregation Algorithms  Full Text
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLICAÇÃO: 2015, FONTE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 381-404
INDEXADO EM: Scopus WOS DBLP CrossRef: 102
10226
TÍTULO: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTORES: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.01658
INDEXADO EM: DBLP arXiv
10227
TÍTULO: A survey of task-oriented crowdsourcing  Full Text
AUTORES: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLICAÇÃO: 2015, FONTE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, NÚMERO: 2, PÁGINAS: 187-213
INDEXADO EM: Scopus WOS CrossRef: 18
10228
TÍTULO: A survey on smart meeting rooms and open issues  Full Text
AUTORES: Freitas, CF; Barroso, J ; Ramos, C;
PUBLICAÇÃO: 2015, FONTE: International Journal of Smart Home, VOLUME: 9, NÚMERO: 9, PÁGINAS: 13-20
INDEXADO EM: Scopus CrossRef: 4
10230
TÍTULO: A time synchronization circuit with sub-microsecond skew for multi-hop wired wearable networks  Full Text
AUTORES: Fardin Derogarian; Joao Canas Ferreira ; Vitor M G Grade Tavares ;
PUBLICAÇÃO: 2015, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, NÚMERO: 8, PÁGINAS: 1029-1038
INDEXADO EM: WOS DBLP CrossRef
10231
TÍTULO: A Two-Level Framework to Fault Diagnosis and Decision Making for Power Transformers
AUTORES: Shigeaki L Lima; Osvaldo R Saavedra; Vladimiro Miranda ;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 30, NÚMERO: 1, PÁGINAS: 497-504
INDEXADO EM: Scopus WOS CrossRef: 11
10232
TÍTULO: A Typed Language for Events
AUTORES: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PÁGINAS: 107-123
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
10233
TÍTULO: A Ubl/ubiquitin switch in the activation of Parkin
AUTORES: Véronique Sauvé; Asparouh Lilov; Marjan Seirafi; Marta Vranas ; Shafqat Rasool; Guennadi Kozlov; Tara Sprules; Jimin Wang; Jean‐François Trempe; Kalle Gehring;
PUBLICAÇÃO: 2015, FONTE: The EMBO Journal, VOLUME: 34, NÚMERO: 20, PÁGINAS: 2492-2505
INDEXADO EM: CrossRef: 160
10234
TÍTULO: A Virtual Reservoir Electricity Market Design Applied to the Brazilian System Using an Agent Based Model
AUTORES: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
INDEXADO EM: Scopus WOS CrossRef: 4
10235
TÍTULO: a-GIZO TFT neural modeling, circuit simulation and validation  Full Text
AUTORES: Pydi Ganga Bahubalindruni; Vitor Grade Tavares ; Pedro Barquinha; Candido Duarte ; Nuno Cardoso; Pedro Guedes de Oliveira; Rodrigo Martins; Elvira Fortunato;
PUBLICAÇÃO: 2015, FONTE: SOLID-STATE ELECTRONICS, VOLUME: 105, PÁGINAS: 30-36
INDEXADO EM: Scopus WOS CrossRef: 7
10236
TÍTULO: A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy
AUTORES: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC; von Kruger, MA; Pereira, WCA; Vilaca, JL;
PUBLICAÇÃO: 2015, FONTE: Conference on Medical Imaging - Ultrasonic Imaging and Tomography in MEDICAL IMAGING 2015: ULTRASONIC IMAGING AND TOMOGRAPHY, VOLUME: 9419
INDEXADO EM: Scopus WOS CrossRef Handle
10237
TÍTULO: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTORES: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2015, FONTE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXADO EM: Scopus
10238
TÍTULO: Accelerating Recommender Systems using GPUs
AUTORES: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
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: 879-884
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
10239
TÍTULO: Accelerating Recommender Systems using GPUs PDF
AUTORES: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1511.02433
INDEXADO EM: DBLP arXiv
10240
TÍTULO: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTORES: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PÁGINAS: 148-163
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 512 de 952. Total de resultados: 19031.