Computação Centrada No Humano e Ciência da Informação (HumanISE)
Human-Centered Computing and Information Science

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer 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: 3737

213 Team Members
Filters -> Year: 2024
2881
TÍTULO: Specifying Compiler Strategies for FPGA-based Systems
AUTORES: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
PUBLICAÇÃO: 2012, FONTE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PÁGINAS: 192-199
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
2882
TÍTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PÁGINAS: 312-326
INDEXADO EM: Scopus DBLP CrossRef: 7
2883
TÍTULO: Sports with values: Constructing a fairer society [Num desporto com valores: Construir uma sociedade mais justa]
AUTORES: Vasconcelos Raposo, J ;
PUBLICAÇÃO: 2012, FONTE: Motricidade, VOLUME: 8, NÚMERO: 2, PÁGINAS: 1-7
INDEXADO EM: Scopus
2884
TÍTULO: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
INDEXADO EM: WOS
2885
TÍTULO: State of the art on methodologies for the development of a metadata application profile
AUTORES: Curado Malta, M ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research, MTSR 2012 in Communications in Computer and Information Science, VOLUME: 343 CCIS, PÁGINAS: 61-73
INDEXADO EM: Scopus CrossRef
2886
TÍTULO: Studying a personality coreference network in a news stories photo collection
AUTORES: Devezas, J ; Coelho, F; Nunes, S ; Ribeiro, C ;
PUBLICAÇÃO: 2012, FONTE: 34th European Conference on Information Retrieval, ECIR 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7224 LNCS, PÁGINAS: 485-488
INDEXADO EM: Scopus DBLP CrossRef: 1
2887
TÍTULO: Test Generation from UML Sequence Diagrams
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 245-250
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
2888
TÍTULO: The Recognition of Web Pages' Hyperlinks by People with Intellectual Disabilities: An Evaluation Study  Full Text
AUTORES: Tania Rocha ; Maximino Bessa ; Martinho Goncalves; Luciana Cabral ; Francisco Godinho; Emanuel Peres ; Manuel C Reis ; Luis Magalhaes ; Alan Chalmers;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF APPLIED RESEARCH IN INTELLECTUAL DISABILITIES, VOLUME: 25, NÚMERO: 6, PÁGINAS: 542-552
INDEXADO EM: Scopus WOS CrossRef: 27
2889
TÍTULO: Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum
AUTORES: Joao Gomes Fonseca; Antonio H J Moreira; Pedro L Rodrigues; Jaime C Fonseca ; Pinho, ACM ; Jorge Correia Pinto ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLICAÇÃO: 2012, FONTE: Conference on Medical Imaging - Ultrasonic Imaging, Tomography, and Therapy in MEDICAL IMAGING 2012: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, VOLUME: 8320
INDEXADO EM: Scopus WOS CrossRef
2890
TÍTULO: Time mesh: An educational historical game
AUTORES: David Gouveia; Duarte Lopes; Carlos Vaz De Carvalho; Ricardo Batista ;
PUBLICAÇÃO: 2012, FONTE: Proceedings 2012 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, DIGITEL 2012, PÁGINAS: 171-173
INDEXADO EM: Scopus CrossRef Handle
2891
TÍTULO: Towards a framework to evaluate and improve the quality of implementation of CMMI® practices
AUTORES: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PÁGINAS: 361-365
INDEXADO EM: Scopus DBLP CrossRef: 3
2892
TÍTULO: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 697-702
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
2893
TÍTULO: Towards an overarching classification model of CSCW and groupware: A socio-technical perspective
AUTORES: Cruz, A ; Correia, A ; Paredes, H ; Fonseca, B ; Morgado, L ; Martins, P ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Collaboration and Technology, CRIWG 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7493 LNCS, PÁGINAS: 41-56
INDEXADO EM: Scopus DBLP CrossRef: 16
2894
TÍTULO: Towards Location-based Augmented Reality games
AUTORES: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PÁGINAS: 318-319
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2895
TÍTULO: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTORES: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PÁGINAS: 204-209
INDEXADO EM: Scopus WOS
2896
TÍTULO: Trends in ozone concentrations in the Iberian Peninsula by quantile regression and clustering  Full Text
AUTORES: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLICAÇÃO: 2012, FONTE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PÁGINAS: 184-193
INDEXADO EM: Scopus WOS CrossRef Handle
2897
TÍTULO: Type checking cryptography implementations
AUTORES: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLICAÇÃO: 2012, FONTE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PÁGINAS: 316-334
INDEXADO EM: Scopus DBLP CrossRef: 3
2899
TÍTULO: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions
AUTORES: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PÁGINAS: 119-127
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
2900
TÍTULO: Using Peano-Hilbert space filling curves for fast bidimensional ensemble EMD realization  Full Text
AUTORES: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLICAÇÃO: 2012, FONTE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, NÚMERO: 1, PÁGINAS: 181
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 145 de 187. Total de resultados: 3737.