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

1699 Team Members
Filters -> Year: 2024
14981
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PÁGINAS: 39-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
14982
TÍTULO: Wikis4SE 2009. wikis for software engineering
AUTORES: Ademar Aguiar; Nuno Flores ; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 5th International Symposium on Wikis and Open Collaboration - WikiSym '09
INDEXADO EM: CrossRef: 1
14983
TÍTULO: Wikis4SE 2009: wikis for software engineering
AUTORES: Ademar Aguiar ; Nuno Flores ; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: 5th International Symposium on Wikis and Open Collaboration, WiKiSym 2009 in Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009
INDEXADO EM: Scopus DBLP CrossRef: 1
14984
TÍTULO: Wikis4SE'2009: Wikis for Software Engineering
AUTORES: Ademar Aguiar ; Uri Dekel; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: 31st International Conference on Software Engineering (ICSE 2009) in 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, PÁGINAS: 480-+
INDEXADO EM: Scopus WOS DBLP
14985
TÍTULO: Work in progress - W2: An easy-to-use workshop module
AUTORES: Figueira, A ; Cunha, E;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef
14986
TÍTULO: Workplace occupation and equipment availability and utilization, in the context of maintenance float systems
AUTORES: Lopes, IS; Leitao, AF ; Pereira, GAB ;
PUBLICAÇÃO: 2009, FONTE: European Safety and Reliability Conference (ESREL)/17th Annual Meeting of the Society-for-Risk-Analysis-Europe (SRA-Europe) in SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, VOLUME: 1, PÁGINAS: 675-683
INDEXADO EM: Scopus WOS
14987
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays  Full Text
AUTORES: Joao Leito ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2009, FONTE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 236-245
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
14988
TÍTULO: YEAST METABOLIC STATE IDENTIFICATION BY FIBER OPTICS SPECTROSCOPY
AUTORES: Castro, CC; Silva, JS; Lopes, VV; Martins, RC ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PÁGINAS: 169-178
INDEXADO EM: Scopus WOS
14989
TÍTULO: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PÁGINAS: 44-55
INDEXADO EM: Scopus DBLP
14990
TÍTULO: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008: Preface
AUTORES: Pu, C; Kersten, M; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
INDEXADO EM: Scopus
14991
TÍTULO: 529: Failed Back Surgery Syndrome
AUTORES: FERREIRA, M; REBELO, H; GOMES, D; ARANTES, S; PEREIRA, J ; MARCOS, A;
PUBLICAÇÃO: 2008, FONTE: Regional Anesthesia and Pain Medicine, VOLUME: 33, NÚMERO: 5
INDEXADO EM: CrossRef
14992
TÍTULO: <title>Automatic image registration based on correlation and Hough transform</title>
AUTORES: Hernâni Gonçalves ; José A Gonçalves ; Luís Corte-Real ;
PUBLICAÇÃO: 2008, FONTE: Image and Signal Processing for Remote Sensing XIV
INDEXADO EM: CrossRef: 3
14993
TÍTULO: <title>Experimental results of antigliadin antibodies detection using long period fiber grating</title>
AUTORES: Corres, JM; Matias, IR; Goicoechea, J; Arregui, FJ; Viegas, D ; Araújo, FM; Santos, JL ;
PUBLICAÇÃO: 2008, FONTE: 19th International Conference on Optical Fibre Sensors
INDEXADO EM: CrossRef: 1
14994
TÍTULO: <title>Fibre Fabry-Perot sensor for acoustic detection</title>
AUTORES: Lima, SEU; Frazão, O ; Araújo, FM; Ferreira, LA; Miranda, V ; Santos, JL ;
PUBLICAÇÃO: 2008, FONTE: 19th International Conference on Optical Fibre Sensors
INDEXADO EM: CrossRef: 2
14995
TÍTULO: <title>Fibre refractometer based on a Fabry-Pérot interferometer</title>
AUTORES: Silva, SFO ; Frazão, O ; Caldas, P ; Santos, JL ; Araújo, FM; Ferreira, LA;
PUBLICAÇÃO: 2008, FONTE: 19th International Conference on Optical Fibre Sensors
INDEXADO EM: CrossRef: 1
14996
TÍTULO: <title>Humidity sensor based on a long-period fiber grating coated with a SiO<formula><inf><roman>2</roman></inf></formula>-nanosphere film</title>
AUTORES: Viegas, D ; Goicoechea, J; Corres, JM; Santos, JL ; Ferreira, LA; Araújo, FM; Matias, IR;
PUBLICAÇÃO: 2008, FONTE: 19th International Conference on Optical Fibre Sensors
INDEXADO EM: CrossRef
14997
TÍTULO: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software, PÁGINAS: 17-26
INDEXADO EM: Scopus DBLP CrossRef: 3
14998
TÍTULO: A comparative study on predicting algae blooms in Douro River, Portugal  Full Text
AUTORES: Rita Ribeiro ; Luis Torgo ;
PUBLICAÇÃO: 2008, FONTE: 5th European Conference on Ecological Modelling in ECOLOGICAL MODELLING, VOLUME: 212, NÚMERO: 1-2, PÁGINAS: 86-91
INDEXADO EM: Scopus WOS CrossRef: 20
15000
TÍTULO: A comprehensive approach to measure cosmetic and functional results of breast conserving therapy - design and first results of a pilot study  Full Text
AUTORES: Hell, JM; Brockhoff, J; Gebauer, G; Jenetzky, E; Cardoso, M; Cardoso, J ; Stanton, A; Sohn, C;
PUBLICAÇÃO: 2008, FONTE: 6th European Breast Cancer Conference in EJC SUPPLEMENTS, VOLUME: 6, NÚMERO: 7, PÁGINAS: 206-206
INDEXADO EM: WOS

Results per Page: 20.
Página 750 de 906. Total de resultados: 18105.