CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
6981
TÍTULO: Towards the Safe Programming of Wireless Sensor Networks
AUTORES: Francisco Martins ; Luís M B Lopes ; João Barros;
PUBLICAÇÃO: 2009, FONTE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., VOLUME: 17, PÁGINAS: 49-62
INDEXADO EM: Scopus DBLP CrossRef
6982
TÍTULO: Tracking Recurring Concepts with Meta-learners
AUTORES: Joao Gama ; Petr Kosina;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PÁGINAS: 423-434
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
6983
TÍTULO: Trend patterns in global sea surface temperature  Full Text
AUTORES: Susana M Barbosa ; Ole B Andersen;
PUBLICAÇÃO: 2009, FONTE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 29, NÚMERO: 14, PÁGINAS: 2049-2055
INDEXADO EM: Scopus WOS CrossRef: 27
6984
TÍTULO: Tutorial on agile documentation with Wikis
AUTORES: Ademar Aguiar ;
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
6985
TÍTULO: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTORES: Barbosa, LS ; Sun Meng;
PUBLICAÇÃO: 2009, FONTE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PÁGINAS: 340-347
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6986
TÍTULO: Unbalanced FIFO sorting for FPGA-based systems
AUTORES: Rui Marcelino; Horácio C Neto ; João M P Cardoso ;
PUBLICAÇÃO: 2009, FONTE: 2009 16th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2009 in 16th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2009, Yasmine Hammamet, Tunesia, 13-19 December, 2009, PÁGINAS: 431-434
INDEXADO EM: Scopus DBLP CrossRef: 11
6987
TÍTULO: Understanding the Earth as a Complex System - recent advances in data analysis and modelling in Earth sciences  Full Text
AUTORES: Donner, R; Barbosa, S ; Kurths, J; Marwan, N;
PUBLICAÇÃO: 2009, FONTE: EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, VOLUME: 174, NÚMERO: 1, PÁGINAS: 1-9
INDEXADO EM: Scopus WOS CrossRef: 31
6988
TÍTULO: Universal Fluctuations of the S&100 Stock Index Returns  Full Text
AUTORES: Rui Gonçalves ; Alberto Pinto ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLICAÇÃO: 2009, FONTE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS 1 AND 2, VOLUME: 1168, PÁGINAS: 979-981
INDEXADO EM: Scopus WOS CrossRef
6989
TÍTULO: Universality in nonlinear prediction of complex systems  Full Text
AUTORES: Goncalves, R ; Ferreira, H ; Pinto, A ; Stollenwerk, N ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 15, NÚMERO: 11-12, PÁGINAS: 1067-1076
INDEXADO EM: Scopus WOS CrossRef: 5
6990
TÍTULO: User Defined Indexing  Full Text
AUTORES: David Vaz; Vitor Santos Costa ; Michel Ferreira ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PÁGINAS: 372-386
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6991
TÍTULO: Using Compilers to Enhance Cryptographic Product Development
AUTORES: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLICAÇÃO: 2009, FONTE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009, PÁGINAS: 291-301
INDEXADO EM: DBLP CrossRef: 1
6992
TÍTULO: Using data mining techniques to probe the role of hydrophobic residues in protein folding and unfolding simulations
AUTORES: Silva, CG; Ferreira, PG ; Azevedo, PJ ; Brito, RMM;
PUBLICAÇÃO: 2009, FONTE: Evolving Application Domains of Data Warehousing and Mining: Trends and Solutions, PÁGINAS: 258-276
INDEXADO EM: Scopus CrossRef
6993
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825, PÁGINAS: 37-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6994
TÍTULO: Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments  Full Text
AUTORES: Tinka, A; Diemer, S; Madureira, L; Marques, EB ; Borges B de Sousa; Martins, R; Pinto, J ; Estrela E da Silva ; Sousa, A; Saint Pierre, P; Bayen, AM;
PUBLICAÇÃO: 2009, FONTE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, PÁGINAS: 3603-3610
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
6995
TÍTULO: VIRTUAL REALITY: APPLICATION TO COGNITIVE REHABILITION AFTER ACQUIRED BRAIN INJURY
AUTORES: Dores, RA; Carvalho, I ; Abreu, C; Nunes, J; Leitao, M ; Castro Caldas, A;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PÁGINAS: 31-36
INDEXADO EM: WOS
6996
TÍTULO: Visually Guiding and Controlling the Search While Mining Chemical Structures
AUTORES: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ;
PUBLICAÇÃO: 2009, FONTE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, NÚMERO: PART 2, PÁGINAS: 1043-1046
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
6997
TÍTULO: Vital Signs in Intensive Care: Automatic Acquisition and Consolidation into Electronic Patient Records  Full Text
AUTORES: Telmo Fonseca; Cristina Ribeiro ; Cristina Granja ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 33, NÚMERO: 1, PÁGINAS: 47-57
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
6998
TÍTULO: Web Accessibility in Portuguese Enterprises
AUTORES: Jose Martins ; Filipa Moura; Antonio Pereira; Carlos Rabadao ; Joao Barroso ; Ramiro Goncalves ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PÁGINAS: 43-48
INDEXADO EM: WOS
6999
TÍTULO: Web platform architecture to support the Geographic Information System of the University of Tras-os-Montes and Alto Douro Campus
AUTORES: Jose Almeida; Hugo Fernandes ; Vitor Filipe ; Joao Barroso ;
PUBLICAÇÃO: 2009, FONTE: 3rd International Conference on New Trends in Information and Service Science (NISS 2009) in 2009 INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION AND SERVICE SCIENCE (NISS 2009), VOLS 1 AND 2, PÁGINAS: 1112-+
INDEXADO EM: Scopus WOS CrossRef: 4
7000
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

Results per Page: 20.
Página 350 de 414. Total de resultados: 8280.