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

1716 Team Members
Filters -> Year: 2026
16841
TÍTULO: Automated theorem proving for the systematic analysis of an infusion pump
AUTORES: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
INDEXADO EM: Scopus DBLP Handle
16842
TÍTULO: Automatic Annotation of <i>Leishmania</i> Infections in Fluorescence Microscopy Images
AUTORES: Neves, JC; Castro, H; Proença, H ; Coimbra, M ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PÁGINAS: 613-620
INDEXADO EM: Scopus WOS DBLP CrossRef
16843
TÍTULO: Automatic Classification of Retinal Vessels Using Structural and Intensity Information
AUTORES: Dashtbozorg, B; Mendonça, AM ; Campilho, A ;
PUBLICAÇÃO: 2013, FONTE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PÁGINAS: 584-591
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
16844
TÍTULO: Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm
AUTORES: David Parker; Martin Walker; Luís Silva Azevedo; Yiannis Papadopoulos; Rui Esteves Araujo ;
PUBLICAÇÃO: 2013, FONTE: IEA/AIE, VOLUME: 7906 LNAI, PÁGINAS: 449-459
INDEXADO EM: Scopus DBLP CrossRef: 15 Handle
16845
TÍTULO: Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search
AUTORES: Luís Silva Azevedo; David Parker; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo ;
PUBLICAÇÃO: 2013, FONTE: CARS@SAFECOMP
INDEXADO EM: DBLP
16846
TÍTULO: Automatic Emotional Reactions Identification: A Software Tool for Offline User Experience Research
AUTORES: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLICAÇÃO: 2013, FONTE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PÁGINAS: 164-167
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
16847
TÍTULO: Automatic Estimation of the Arteriolar-to-Venular Ratio in Retinal Images Using a Graph-Based Approach for Artery/Vein Classification
AUTORES: Dashtbozorg, B; Mendonça, AM ; Campilho, A ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PÁGINAS: 530-538
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
16848
TÍTULO: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTORES: Tomás, AP ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PÁGINAS: 848-863
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
16849
TÍTULO: Automatic Lane Segmentation in TLC Images Using the Continuous Wavelet Transform
AUTORES: Moreira, B; Sousa, A ; Mendonça, AM ; Campilho, A ;
PUBLICAÇÃO: 2013, FONTE: COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE, VOLUME: 2013, PÁGINAS: 218415:1-218415:19
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
16850
TÍTULO: Automatic localization of the optic disc by combining vascular and intensity information
AUTORES: Mendonça, AM ; Sousa, A ; Mendonça, L; Campilho, A ;
PUBLICAÇÃO: 2013, FONTE: COMPUTERIZED MEDICAL IMAGING AND GRAPHICS, VOLUME: 37, NÚMERO: 5-6, PÁGINAS: 409-417
INDEXADO EM: Scopus WOS DBLP CrossRef: 54
16851
TÍTULO: Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum
AUTORES: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
PUBLICAÇÃO: 2013, FONTE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PÁGINAS: 71-74
INDEXADO EM: Scopus
16852
TÍTULO: Automatic Street Surface Modeling for Web-Based Urban Information Systems  Full Text
AUTORES: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, NÚMERO: 1, PÁGINAS: 40-48
INDEXADO EM: WOS CrossRef: 12
16853
TÍTULO: Availability of Thermal Loads to Provide Reserve Services
AUTORES: Miguel Heleno ; Manuel A Matos ; Pecas Lopes, JAP ;
PUBLICAÇÃO: 2013, FONTE: IEEE Grenoble PowerTech (POWERTECH) Conference in 2013 IEEE GRENOBLE POWERTECH (POWERTECH)
INDEXADO EM: Scopus WOS CrossRef: 5
16854
TÍTULO: Avaliação de ambientes ubíquos na plataforma APEX
AUTORES: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac ;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
16855
TÍTULO: Avoiding Anomalies in Data Stream Learning
AUTORES: Gama, J ; Kosina, P; Almeida, E ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PÁGINAS: 49-63
INDEXADO EM: Scopus WOS DBLP CrossRef
16856
TÍTULO: BabeLO-An Extensible Converter of Programming Exercises Formats
AUTORES: Queirós, R ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 6, NÚMERO: 1, PÁGINAS: 38-45
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
16857
TÍTULO: Basic tastes classification using thin-film transistors based on poly (3-hexylthiophene)
AUTORES: Rodríguez, EM; Cavallari, MR; Braga, GS ; Rodríguez, EFG; Fonseca, FJ;
PUBLICAÇÃO: 2013, FONTE: 28th Symposium on Microelectronics Technology and Devices, SBMicro 2013 in Chip in Curitiba 2013 - SBMicro 2013: 28th Symposium on Microelectronics Technology and Devices
INDEXADO EM: Scopus CrossRef: 1
16858
TÍTULO: Batched Evaluation of Linear Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1775-1797
INDEXADO EM: Scopus WOS DBLP CrossRef
16859
TÍTULO: Benchmarking countries' environmental performance
AUTORES: Zanella, A ; Camanho, AS ; Dias, TG ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, NÚMERO: 3, PÁGINAS: 426-438
INDEXADO EM: Scopus WOS CrossRef: 57
16860
TÍTULO: Benchmarking flexible job-shop scheduling and control systems
AUTORES: Trentesaux, D; Pach, C; Bekrar, A; Sallez, Y; Berger, T; Bonte, T; Leitao, P ; Barbosa, J ;
PUBLICAÇÃO: 2013, FONTE: CONTROL ENGINEERING PRACTICE, VOLUME: 21, NÚMERO: 9, PÁGINAS: 1204-1225
INDEXADO EM: Scopus WOS CrossRef: 86 Handle

Results per Page: 20.
Página 843 de 1250. Total de resultados: 24992.