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
6341
TÍTULO: Reconfigurable computing. from FPGAs to hardware/software codesign
AUTORES: João M P Cardoso ; Michael Hübner;
PUBLICAÇÃO: 2011
INDEXADO EM: Openlibrary
6342
TÍTULO: Refinement by interpretation in π-institutions  Full Text
AUTORES: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55, PÁGINAS: 53-64
INDEXADO EM: Scopus DBLP CrossRef: 2
6343
TÍTULO: REFLECT: Rendering FPGAs to Multi-core Embedded Computing  Full Text
AUTORES: João M P Cardoso; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; João Canas Ferreira ; ...Mais
PUBLICAÇÃO: 2011, FONTE: Reconfigurable Computing, PÁGINAS: 261-289
INDEXADO EM: CrossRef: 14 Handle
6344
TÍTULO: Relationship between cooking habits and skills and Mediterranean diet in a sample of Portuguese adolescents
AUTORES: Fernanda Maria D da Rocha Leal; Bruno Miguel P M Paz Mendes de Oliveira ; Rodrigues, Sara Simões Pereira ;
PUBLICAÇÃO: 2011, FONTE: PERSPECTIVES IN PUBLIC HEALTH, VOLUME: 131, NÚMERO: 6, PÁGINAS: 283-287
INDEXADO EM: Scopus WOS CrossRef: 27
6345
TÍTULO: Renormalization and Focal Decomposition
AUTORES: Carlos A A de Carvalho; Mauricio M Peixoto; Diogo Pinheiro; Alberto A Pinto ;
PUBLICAÇÃO: 2011, FONTE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PÁGINAS: 25-40
INDEXADO EM: Scopus WOS CrossRef: 1
6346
TÍTULO: Resort Pricing and Bankruptcy
AUTORES: Alberto A Pinto ; Marta Faias ; Abdelrahim S Mousa;
PUBLICAÇÃO: 2011, FONTE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PÁGINAS: 567-573
INDEXADO EM: Scopus WOS CrossRef: 2
6347
TÍTULO: Reusable roles, a test with patterns
AUTORES: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLICAÇÃO: 2011, FONTE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PÁGINAS: 11:1-11:16
INDEXADO EM: Scopus DBLP CrossRef Handle
6348
TÍTULO: Revisiting context-aware component interconnection
AUTORES: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLICAÇÃO: 2011, FONTE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), PÁGINAS: 377-384
INDEXADO EM: Scopus WOS DBLP CrossRef
6349
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef Openlibrary
6350
TÍTULO: Runtime programming through model-preserving, scalable runtime patches  Full Text
AUTORES: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PÁGINAS: 77-86
INDEXADO EM: Scopus DBLP CrossRef: 2
6351
TÍTULO: Safe controllers design for industrial automation systems  Full Text
AUTORES: Jose Machado ; Eurico Seabra ; Jose C Campos ; Filomena Soares ; Celina P Leao ;
PUBLICAÇÃO: 2011, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, NÚMERO: 4, PÁGINAS: 635-653
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
6352
TÍTULO: Scheduling a Cutting and Treatment Stainless Steel Sheet Line with Self-Management Capabilities
AUTORES: Madureira, A ; Pereira, I ; Sousa, N; Avila, P ; Bastos, J ;
PUBLICAÇÃO: 2011, FONTE: International Symposium on Computational Intelligence for Engineering Systems (ISCIES '09) in COMPUTATIONAL INTELLIGENCE FOR ENGINEERING SYSTEMS: EMERGENT APPLICATIONS, VOLUME: 46, PÁGINAS: 34-47
INDEXADO EM: WOS CrossRef Handle
6353
TÍTULO: School satisfaction and psychological well-being in adolescents Portuguese [satisfação escolar e bem-estar psicológico em adolescentes Portugueses]
AUTORES: Fernandes, HM ; Vasconcelos Raposo, J ; Bertelli, R; Almeida, L ;
PUBLICAÇÃO: 2011, FONTE: Revista Lusofona de Educacao, NÚMERO: 18, PÁGINAS: 155-172
INDEXADO EM: Scopus
6354
TÍTULO: SCHOOOOOLS.COM: A SOCIAL AND COLLABORATIVE LEARNING ENVIRONMENT FOR K-6
AUTORES: Simoes, J; Aguiar, A ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PÁGINAS: 2441-2450
INDEXADO EM: WOS
6355
TÍTULO: Seasonal and daily variation of radon at 10 m depth in borehole, Garhwal Lesser Himalaya, India  Full Text
AUTORES: Choubey, VM; Arora, BR; Barbosa, SM ; Naresh Kumar; Leena Kamra;
PUBLICAÇÃO: 2011, FONTE: APPLIED RADIATION AND ISOTOPES, VOLUME: 69, NÚMERO: 7, PÁGINAS: 1070-1078
INDEXADO EM: Scopus WOS CrossRef: 31
6356
TÍTULO: Selected papers from the 17th reconfigurable architectures workshop (RAW2010)  Full Text
AUTORES: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLICAÇÃO: 2011, FONTE: International Journal of Reconfigurable Computing, VOLUME: 2011, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
6357
TÍTULO: Self-organization for scheduling in agile manufacturing
AUTORES: Madureira, A ; Pereira, I ; Sousa, N;
PUBLICAÇÃO: 2011, FONTE: 2011 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011 in Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011, PÁGINAS: 38-43
INDEXADO EM: Scopus CrossRef Handle
6358
TÍTULO: Serious Game for Introductory Programming
AUTORES: Coelho, A ; Kato, E; Xavier, J; Goncalves, R;
PUBLICAÇÃO: 2011, FONTE: 2nd International Conference on Serious Games Development and Applications in SERIOUS GAMES DEVELOPMENT AND APPLICATIONS, VOLUME: 6944, PÁGINAS: 61-71
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
6359
TÍTULO: Serious Games: Are They Part of the Solution in the Domain of Cognitive Rehabilitation?
AUTORES: Dores, AR; Carvalho, IP ; Barbosa, F ; Almeida, I; Guerreiro, S; Leitao, M ; de Sousa, L ; Castro Caldas, A ;
PUBLICAÇÃO: 2011, FONTE: 2nd International Conference on Serious Games Development and Applications in SERIOUS GAMES DEVELOPMENT AND APPLICATIONS, VOLUME: 6944, PÁGINAS: 95-105
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
6360
TÍTULO: Service Offloading in Adaptive Real-Time Systems
AUTORES: Luis Lino Ferreira ; Guilherme Silva; Luis Miguel Pinho ;
PUBLICAÇÃO: 2011, FONTE: 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXADO EM: Scopus WOS CrossRef

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