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

531 Team Members
Filters -> Year: 2025
6841
TÍTULO: Programming Safety Requirements in the REFLECT Design Flow
AUTORES: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 841-847
INDEXADO EM: Scopus WOS CrossRef: 7
6842
TÍTULO: Protective effect of physical activity on dissatisfaction with body image in children - A cross-sectional study  Full Text
AUTORES: Gaspar, MJM; Amaral, TF ; Oliveira, BMPM ; Borges, N ;
PUBLICAÇÃO: 2011, FONTE: PSYCHOLOGY OF SPORT AND EXERCISE, VOLUME: 12, NÚMERO: 5, PÁGINAS: 563-569
INDEXADO EM: Scopus WOS CrossRef: 31 Handle
6843
TÍTULO: Prototype WSN platform for performing dynamic monitoring of civil engineering structures
AUTORES: Aguilar, R; Ramos, LF ; Lourenco, PB ; Severino, R; Gomes, R; Gandra, P; Alves, M ; Tovar, E ;
PUBLICAÇÃO: 2011, FONTE: 29th IMAC, a Conference on Structural Dynamics, 2011 in Conference Proceedings of the Society for Experimental Mechanics Series, VOLUME: 6, PÁGINAS: 81-89
INDEXADO EM: Scopus Handle
6844
TÍTULO: Qual o impacte de uma intervenção com setting na escola na atividade física em crianças?
AUTORES: Rafaela Rosário; Beatriz Pereira; Ana Araújo; Óscar Lopes; Patríca Padrão; Vítor H Teixeira; Bruno M Oliveira ; Renata Barros ; André Moreira; Pedro Moreira;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
6845
TÍTULO: Quality evolution track at QUATIC 2010  Full Text
AUTORES: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2011, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, NÚMERO: 1, PÁGINAS: 28-29
INDEXADO EM: DBLP CrossRef: 3
6846
TÍTULO: Reasoning about the Learning Process
AUTORES: João Gama ;
PUBLICAÇÃO: 2011, FONTE: Extraction et gestion des connaissances (EGC'2011), Actes, 25 au 29 janvier 2011, Brest, France, VOLUME: RNTI-E-20, PÁGINAS: 7-8
INDEXADO EM: DBLP
6847
TÍTULO: Reconfigurable Computing
AUTORES: João M P Cardoso ; Michael Hübner;
PUBLICAÇÃO: 2011
INDEXADO EM: CrossRef: 21
6848
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
6849
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
6850
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
6851
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: 32
6852
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
6853
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
6854
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
6855
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
6856
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: 18 Openlibrary
6857
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: 3
6858
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: 19
6859
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: 1 Handle
6860
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

Results per Page: 20.
Página 343 de 443. Total de resultados: 8841.