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

1707 Team Members
Filters -> Year: 2025
9681
TÍTULO: Alloy meets TLA+: An exploratory study PDF
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1603.03599
INDEXADO EM: DBLP arXiv
9682
TÍTULO: An Adaptive Model Approach for Quantitative Wrist Rigidity Evaluation during Deep Brain Stimulation Surgery
AUTORES: Sofia Assis; Pedro Costa; Maria Jose Rosas; Rui Vaz ; Joao Paulo S Silva Cunha ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PÁGINAS: 5809-5812
INDEXADO EM: Scopus WOS CrossRef: 7
9683
TÍTULO: An Adaptive System for Underwater Wireless Power Transfer
AUTORES: Francisco Goncalves ; Adriano Pereira; Andre Morais; Candido Duarte ; Rui Gomes; Pessoa, LM ;
PUBLICAÇÃO: 2016, FONTE: 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) in 2016 8TH INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS AND WORKSHOPS (ICUMT), VOLUME: 2016-December, PÁGINAS: 101-105
INDEXADO EM: Scopus WOS CrossRef: 9
9684
TÍTULO: An agent-based approach to schedule crane operations in rail-rail transshipment terminals
AUTORES: Heshmati, S ; Kokkinogenis, Z ; Rossetti, RJF ; Carravilla, MA ; Oliveira, JF ;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Economics and Mathematical Systems, VOLUME: 682, PÁGINAS: 91-97
INDEXADO EM: Scopus CrossRef: 2
9685
TÍTULO: An Agent-based Model of the Earth System & Climate Change
AUTORES: Baghoussi, Y ; Campos, PJRM ; Rossetti, RJF ;
PUBLICAÇÃO: 2016, FONTE: 2nd IEEE International Smart Cities Conference (ISC2) in IEEE SECOND INTERNATIONAL SMART CITIES CONFERENCE (ISC2 2016), PÁGINAS: 319-324
INDEXADO EM: Scopus WOS DBLP CrossRef
9686
TÍTULO: An Approach to Relevancy Detection: contributions to the automatic detection of relevance in social networks
AUTORES: Alvaro Figueira ; Miguel Sandim ; Paula Fortuna ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 89-99
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
9687
TÍTULO: An approach using SAT solvers for the RCPSP with logical constraints  Full Text
AUTORES: Mario Vanhoucke; Jose Coelho ;
PUBLICAÇÃO: 2016, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 249, NÚMERO: 2, PÁGINAS: 577-591
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
9688
TÍTULO: An Automated Approach for Requirements Specification Maintenance
AUTORES: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 827-833
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
9689
TÍTULO: An automated model based approach to mobile UI specification and development
AUTORES: Ribeiro, AN ; Araújo, CR;
PUBLICAÇÃO: 2016, FONTE: 18th International Conference on Human-Computer Interaction, HCI International 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9731, PÁGINAS: 523-534
INDEXADO EM: Scopus CrossRef: 1 Handle
9690
TÍTULO: An automatic method for arterial pulse waveform recognition using KNN and SVM classifiers  Full Text
AUTORES: Tania Pereira ; Joana S Paiva ; Carlos Correia; Joao Cardoso;
PUBLICAÇÃO: 2016, FONTE: MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING, VOLUME: 54, NÚMERO: 7, PÁGINAS: 1049-1059
INDEXADO EM: Scopus WOS CrossRef: 19
9691
TÍTULO: An Automatic Subject-Adaptable Heartbeat Classifier Based on Multiview Learning  Full Text
AUTORES: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2016, FONTE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 20, NÚMERO: 6, PÁGINAS: 1485-1492
INDEXADO EM: Scopus WOS DBLP CrossRef: 55
9692
TÍTULO: An Enhanced Model for Stochastic Coordination  Full Text
AUTORES: Nuno Oliveira; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, NÚMERO: 228, PÁGINAS: 35-45
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9693
TÍTULO: An exercise on the generation of many-valued dynamic logics
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 1011-1037
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
9694
TÍTULO: An FPGA Implementation of a Long Short-Term Memory Neural Network
AUTORES: Joao Canas Ferreira ; Jose Fonseca;
PUBLICAÇÃO: 2016, FONTE: International Conference on Reconfigurable Computing and FPGAs (ReConFig) in 2016 INTERNATIONAL CONFERENCE ON RECONFIGURABLE COMPUTING AND FPGAS (RECONFIG16), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
9695
TÍTULO: An Information Management Perspective of Supplier Selection Process in Manufacturing Networks
AUTORES: Dario Messina ; Ana Cristina Barros ; Antonio Lucas Soares ;
PUBLICAÇÃO: 2016, FONTE: 17th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATION IN A HYPERCONNECTED WORLD, VOLUME: 480, PÁGINAS: 178-188
INDEXADO EM: Scopus WOS CrossRef
9696
TÍTULO: An Institutional Approach to First-Year Adjustment: The “Projeto FEUP” Case Study of a Portuguese University
AUTORES: Mouraz, Ana ; Sousa, A ;
PUBLICAÇÃO: 2016, FONTE: Journal of Hispanic Higher Education, VOLUME: 15, NÚMERO: 3, PÁGINAS: 221-239
INDEXADO EM: Scopus CrossRef: 7
9697
TÍTULO: An Interoperable Approach for Energy Systems Simulation: Electricity Market Participation Ontologies  Full Text
AUTORES: Santos, G; Pinto, T ; Praca, I ; Vale, Z ;
PUBLICAÇÃO: 2016, FONTE: ENERGIES, VOLUME: 9, NÚMERO: 11, PÁGINAS: 878
INDEXADO EM: Scopus WOS CrossRef: 14
9698
TÍTULO: An online learning approach to eliminate Bus Bunching in real-time  Full Text
AUTORES: Luis Moreira Matias ; Oded Cats; Joao Gama ; Joao Mendes Moreira ; Jorge Freire de Sousa ;
PUBLICAÇÃO: 2016, FONTE: APPLIED SOFT COMPUTING, VOLUME: 47, PÁGINAS: 460-482
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
9699
TÍTULO: An Ontology for Licensing Public Transport Services
AUTORES: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016, PÁGINAS: 230-239
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
9700
TÍTULO: An optical fiber sensor and its application in UAVs for current measurements  Full Text
AUTORES: Delgado, FS; Carvalho, JP ; Coelho, TVN; Dos Santos, AB;
PUBLICAÇÃO: 2016, FONTE: Sensors (Switzerland), VOLUME: 16, NÚMERO: 11, PÁGINAS: 1800
INDEXADO EM: Scopus CrossRef: 15

Results per Page: 20.
Página 485 de 979. Total de resultados: 19580.