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

531 Team Members
Filters -> Year: 2025
6681
TÍTULO: Software transactional memory as a building block for parallel embedded real-time systems
AUTORES: Barros, A ; Pinho, LM ;
PUBLICAÇÃO: 2011, FONTE: Joint Conference of 14th EUROMICRO Digital Systems Design Conference (DSD) / 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) in 2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), PÁGINAS: 251-255
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
6682
TÍTULO: Soil-gas radon monitoring in an active granite quarry from central Portugal  Full Text
AUTORES: Pereira, AJSC ; Barbosa, SM ; Neves, LJPF ; Aumento, F;
PUBLICAÇÃO: 2011, FONTE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 11, NÚMERO: 7, PÁGINAS: 1845-1849
INDEXADO EM: Scopus WOS CrossRef: 5
6683
TÍTULO: Special Section on Cultural Heritage  Full Text
AUTORES: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLICAÇÃO: 2011, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 35, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 1
6684
TÍTULO: Special track on data streams. editorial message  Full Text
AUTORES: Gama, J ; Carvalho, A; Krishnaswamy, S; Rodrigues, PP ;
PUBLICAÇÃO: 2011, FONTE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 987
INDEXADO EM: Scopus CrossRef
6685
TÍTULO: Special track on dependable and adaptive distributed systems
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLICAÇÃO: 2011, FONTE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 195-196
INDEXADO EM: Scopus
6686
TÍTULO: Speeding up hoeffding-based regression trees with options
AUTORES: Ikonomovska, E; Gama, J ; Zenko, B; Dzeroski, S;
PUBLICAÇÃO: 2011, FONTE: 28th International Conference on Machine Learning, ICML 2011 in Proceedings of the 28th International Conference on Machine Learning, ICML 2011, PÁGINAS: 537-544
INDEXADO EM: Scopus DBLP
6687
TÍTULO: Strategic Bidding Methodology for Electricity Markets Using Adaptive Learning
AUTORES: Tiago Pinto ; Zita A Vale ; Fátima Rodrigues ; Hugo Morais; Isabel Praça ;
PUBLICAÇÃO: 2011, FONTE: 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011 in Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II, VOLUME: 6704, NÚMERO: PART 2, PÁGINAS: 490-500
INDEXADO EM: Scopus DBLP CrossRef
6688
TÍTULO: Strictification of circular programs
AUTORES: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLICAÇÃO: 2011, FONTE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PÁGINAS: 131-140
INDEXADO EM: Scopus DBLP CrossRef: 3
6689
TÍTULO: Suitability of e-business maturity models for digital economy
AUTORES: Morais, EP ; Pires, JA; Goncalves, R ;
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
6690
TÍTULO: Summarising changes in air temperature over Central Europe by quantile regression and clustering  Full Text
AUTORES: Barbosa, SM ; Scotto, MG ; Alonso, AM;
PUBLICAÇÃO: 2011, FONTE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 11, NÚMERO: 12, PÁGINAS: 3227-3233
INDEXADO EM: Scopus WOS CrossRef: 38
6691
TÍTULO: Supporting requirements formulation in software formal verification
AUTORES: Campos, J. Creissac ; José M Machado;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
6692
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
6693
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
6694
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
6695
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
6696
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
6697
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
6698
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
6699
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
6700
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

Results per Page: 20.
Página 335 de 432. Total de resultados: 8637.