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
6381
TÍTULO: Supporting requirements formulation in software formal verification
AUTORES: Campos, J. Creissac ; José M Machado;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
6382
TÍTULO: Tangible Interaction on Tabletops for Elderly People
AUTORES: Marques, T; Nunes, F; Silva, P; Rodrigues, R ;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Entertainment Computing10th Biennial Pan Ocean Remote Sensing Conference (PORSEC) in ENTERTAINMENT COMPUTING - ICEC 2011, VOLUME: 6972, PÁGINAS: 440-443
INDEXADO EM: Scopus WOS DBLP CrossRef
6383
TÍTULO: Technical analysis and approaches for game development in second life
AUTORES: Cruz, A; Coelho, A ; Sousa, A ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus
6384
TÍTULO: Techniques for Dynamically Mapping Computations to Coprocessors
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2011, FONTE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PÁGINAS: 505-508
INDEXADO EM: Scopus DBLP CrossRef: 1
6385
TÍTULO: Term Weighting Based on Document Revision History
AUTORES: Nunes, S ; Ribeiro, C ; David, G ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 62, NÚMERO: 12, PÁGINAS: 2471-2478
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
6386
TÍTULO: Test case generation from mutated task models
AUTORES: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLICAÇÃO: 2011, FONTE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PÁGINAS: 175-184
INDEXADO EM: Scopus DBLP CrossRef: 15
6387
TÍTULO: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTORES: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2, PÁGINAS: 192-200
INDEXADO EM: Scopus WOS DBLP
6388
TÍTULO: Testing for Deterministic Trends in Global Sea Surface Temperature  Full Text
AUTORES: Susana M Barbosa ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF CLIMATE, VOLUME: 24, NÚMERO: 10, PÁGINAS: 2516-2522
INDEXADO EM: Scopus WOS CrossRef: 21
6389
TÍTULO: The architecture design for content-aware network security services
AUTORES: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLICAÇÃO: 2011, FONTE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, NÚMERO: 3, PÁGINAS: 151-164
INDEXADO EM: Scopus
6390
TÍTULO: The importance of precision in humour classification
AUTORES: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6936 LNCS, PÁGINAS: 271-278
INDEXADO EM: Scopus DBLP CrossRef: 1
6391
TÍTULO: The importance of qualitative evaluation on E-learning systems
AUTORES: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLICAÇÃO: 2011, FONTE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PÁGINAS: 278-282
INDEXADO EM: WOS
6392
TÍTULO: The millennium development goals, national statistical offices, the international statistical literacy project and statistical literacy in schools
AUTORES: Sanchez, J; Forbes, S; Campos, P ; Giacche, P; Townsend, M; Mooney, G; Helenius, R;
PUBLICAÇÃO: 2011, FONTE: Statistical Journal of the IAOS, VOLUME: 27, NÚMERO: 3-4, PÁGINAS: 157-171
INDEXADO EM: Scopus
6393
TÍTULO: The Role of Coordination Analysis in Software Integration Projects
AUTORES: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLICAÇÃO: 2011, FONTE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PÁGINAS: 83-92
INDEXADO EM: Scopus WOS DBLP CrossRef
6394
TÍTULO: Three Behavioural Scenarios for Contingent Claims Valuation in Incomplete Markets
AUTORES: Boukas, L; Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLICAÇÃO: 2011, FONTE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PÁGINAS: 221-228
INDEXADO EM: Scopus WOS CrossRef
6395
TÍTULO: Tilings and Bussola for Making Decisions
AUTORES: Alberto A Pinto ; Abdelrahim S Mousa; Mohammad S Mousa; Rasha M Samarah;
PUBLICAÇÃO: 2011, FONTE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PÁGINAS: 689-708
INDEXADO EM: Scopus WOS CrossRef: 2
6396
TÍTULO: Time series motifs statistical significance
AUTORES: Castro, N ; Azevedo, PJ ;
PUBLICAÇÃO: 2011, FONTE: 11th SIAM International Conference on Data Mining, SDM 2011 in Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011, PÁGINAS: 687-698
INDEXADO EM: Scopus DBLP CrossRef: 7
6397
TÍTULO: Transformation of structure-shy programs with application to XPath queries and strategic functions  Full Text
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2011, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, NÚMERO: 6, PÁGINAS: 516-539
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
6398
TÍTULO: Transformation Rules for Model Migration in Relational Database Preservation
AUTORES: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
INDEXADO EM: DBLP
6399
TÍTULO: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PÁGINAS: 221-236
INDEXADO EM: Scopus DBLP CrossRef: 6
6400
TÍTULO: Trebuchet: Exploring TLP with dataflow virtualisation
AUTORES: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLICAÇÃO: 2011, FONTE: International Journal of High Performance Systems Architecture, VOLUME: 3, NÚMERO: 2-3, PÁGINAS: 137-148
INDEXADO EM: Scopus DBLP CrossRef: 24

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