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

1699 Team Members
Filters -> Year: 2024
10541
TÍTULO: Bounded Model Checking of Temporal Formulas with Alloy
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477, PÁGINAS: 303-308
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
10542
TÍTULO: Building an Extended Ontological Perspective on Service Science
AUTORES: Monica Dragoicea; Theodor Borangiu; Joao F E Falcao e Cunha ; Virginia Ecaterina Oltean; Jose Faria ; Stefan Radulescu;
PUBLICAÇÃO: 2014, FONTE: 5th International Conference on Exploring Services Science in EXPLORING SERVICES SCIENCE, IESS 2014, VOLUME: 169, PÁGINAS: 17-30
INDEXADO EM: Scopus WOS
10543
TÍTULO: Can artificial neural networks be used to predict the origin of ozone episodes?
AUTORES: Fontes, T ; Silva, LM ; Silva, MP; Barros, N; Carvalho, AC;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 488, NÚMERO: 1, PÁGINAS: 197-207
INDEXADO EM: Scopus WOS CrossRef Handle
10544
TÍTULO: Can hydrogen or natural gas be alternatives for aviation? - A life cycle assessment  Full Text
AUTORES: Sergio Ramos Pereira; Tania Fontes ; Margarida C Coelho;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, VOLUME: 39, NÚMERO: 25, PÁGINAS: 13266-13275
INDEXADO EM: Scopus WOS CrossRef: 19
10545
TÍTULO: Can Presence Improve Collaboration in 3D Virtual Worlds?
AUTORES: Armando Cruz; Hugo Paredes ; Benjamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLICAÇÃO: 2014, FONTE: Procedia Technology, VOLUME: 13, PÁGINAS: 47-55
INDEXADO EM: CrossRef: 16
10546
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B, PÁGINAS: 216-233
INDEXADO EM: Scopus WOS DBLP CrossRef
10547
TÍTULO: Cardiovascular risk analysis by means of pulse morphology and clustering methodologies  Full Text
AUTORES: Vania G Almeida ; Borba, J; Catarina C Pereira; Tania Pereira ; Carlos Correia; Mariano Pego; Joao Cardoso;
PUBLICAÇÃO: 2014, FONTE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 117, NÚMERO: 2, PÁGINAS: 257-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
10548
TÍTULO: Cavity Ring-Down with OTDR for remote sensing
AUTORES: Passos, DJ; Silva, SO ; Marques, MB ; Frazao, O ;
PUBLICAÇÃO: 2014, FONTE: 23rd International Conference on Optical Fibre Sensors in 23RD INTERNATIONAL CONFERENCE ON OPTICAL FIBRE SENSORS, VOLUME: 9157
INDEXADO EM: Scopus WOS CrossRef: 1
10549
TÍTULO: CDM controller order and disturbance rejection ability
AUTORES: João P Coelho; Wojciech Giernacki; José Boaventura Cunha ;
PUBLICAÇÃO: 2014, FONTE: ICCIT 2014: International Conference on Control and Information Technology
INDEXADO EM: Handle
10550
TÍTULO: Cell-Free layer (CFL) measurements in complex geometries: Contractions and bifurcations
AUTORES: Novais, S ; Pinho, D ; Bento, D; Pinto, E; Yaginuma, T; Fernandes, CS; Garcia, V; Pereira, AI; Lima, J ; Mujika, M; Dias, R; Arana, S; Lima, R ;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computational Vision and Biomechanics, VOLUME: 12, PÁGINAS: 119-132
INDEXADO EM: Scopus CrossRef: 1
10551
TÍTULO: Challenges in Computing Semantic Relatedness for Large Semantic Graphs
AUTORES: Costa, T ; Leal, JP ;
PUBLICAÇÃO: 2014, FONTE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PÁGINAS: 376-377
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
10552
TÍTULO: Challenges in Learning from Streaming Data
AUTORES: Joao Gama ;
PUBLICAÇÃO: 2014, FONTE: 18th East European Conference on Advances in Databases and Information Systems (ADBIS) in ADVANCES IN DATABASES AND INFORMATION SYSTEMS (ADBIS 2014), VOLUME: 8716
INDEXADO EM: WOS
10553
TÍTULO: Challenges in Learning from Streaming Data Extended Abstract
AUTORES: João Gama ;
PUBLICAÇÃO: 2014, FONTE: 6th Information and Communication Technologies Innovations 2014 conference, ICT 2014 in ICT Innovations 2014 - World of Data, Ohrid, Macedonia, 1-4 October, 2014, VOLUME: 311, PÁGINAS: 1-5
INDEXADO EM: Scopus DBLP CrossRef
10554
TÍTULO: Changes in extreme sea-levels in the Baltic Sea  Full Text
AUTORES: Andreia Ribeiro; Susana M Barbosa ; Manuel G Scotto ; Reik V Donner;
PUBLICAÇÃO: 2014, FONTE: TELLUS SERIES A-DYNAMIC METEOROLOGY AND OCEANOGRAPHY, VOLUME: 66
INDEXADO EM: WOS CrossRef: 11
10555
TÍTULO: Characterisation of a Nafion film by optical fibre Fabry-Perot interferometry for humidity sensing  Full Text
AUTORES: Juliana S Santos; Ivo M Raimundo; Cristiano M B Cordeiro; Claudecir R Biazoli; Carlos A J Gouveia ; Pedro A S Jorge ;
PUBLICAÇÃO: 2014, FONTE: SENSORS AND ACTUATORS B-CHEMICAL, VOLUME: 196, PÁGINAS: 99-105
INDEXADO EM: Scopus WOS CrossRef: 84
10556
TÍTULO: Characterization of a hybrid Fabry-Perot Cavity based on a four-bridge double-Y-shape-core microstructured fiber
AUTORES: Pinto, AMR; Lopez Aldaba, A; Lopez Amo, M; Frazao, O ; Santos, JL ; Baptista, JM ; Baierl, H; Auguste, JL; Jamier, R; Roy, P;
PUBLICAÇÃO: 2014, FONTE: 23rd International Conference on Optical Fibre Sensors in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 9157
INDEXADO EM: Scopus CrossRef: 1
10557
TÍTULO: Characterization of an Acoustic Based Device for Local Arterial Stiffness Assessment
AUTORES: Pereira, HC; Contente, M; Almeida, V ; Pereira, T ; Simoes, JB; Cardoso, J; Correia, C; Pereira, HC; Simoes, JB; Maldonado, J; Pereira, T;
PUBLICAÇÃO: 2014, FONTE: 6th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES (BIOSTEC 2013), VOLUME: 452, PÁGINAS: 98-114
INDEXADO EM: Scopus WOS DBLP CrossRef
10558
TÍTULO: Characterization of the electrode-skin impedance of textile electrodes
AUTORES: Oliveira, CC; Machado da Silva, J ; Trindade, IG; Martins, F;
PUBLICAÇÃO: 2014, FONTE: 2014 29th Conference on Design of Circuits and Integrated Systems, DCIS 2014 in Proceedings of the 2014 29th Conference on Design of Circuits and Integrated Systems, DCIS 2014
INDEXADO EM: Scopus CrossRef: 17
10559
TÍTULO: Characterization of the impact of network topology on the performance of single-radio wireless mesh networks  Full Text
AUTORES: Tania Calcada; Manuel Ricardo ;
PUBLICAÇÃO: 2014, FONTE: TELECOMMUNICATION SYSTEMS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 159-179
INDEXADO EM: Scopus WOS DBLP CrossRef
10560
TÍTULO: Characterizing the Control Logic of Web Applications' User Interfaces
AUTORES: Carlos Eduardo Silva ; Jose Creissac Campos ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, NÚMERO: PART 6, PÁGINAS: 263-276
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 528 de 907. Total de resultados: 18135.