CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 10684

639 Team Members
Filters -> Year: 2026
8501
TITLE: Reconfigurable computing. from FPGAs to hardware/software codesign
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
INDEXED IN: Openlibrary
8502
TITLE: Refinement by interpretation in π-institutions
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: Refine@FM, VOLUME: 55, PAGES: 53-64
INDEXED IN: Scopus DBLP CrossRef: 2
8503
TITLE: REFLECT: Rendering FPGAs to Multi-core Embedded Computing  Full Text
AUTHORS: 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 ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
INDEXED IN: CrossRef: 14 Handle
8504
TITLE: Relationship between cooking habits and skills and Mediterranean diet in a sample of Portuguese adolescents
AUTHORS: Fernanda Maria D da Rocha Leal; Bruno Miguel P M Paz Mendes de Oliveira ; Rodrigues, Sara Simões Pereira ;
PUBLISHED: 2011, SOURCE: PERSPECTIVES IN PUBLIC HEALTH, VOLUME: 131, ISSUE: 6, PAGES: 283-287
INDEXED IN: Scopus WOS CrossRef: 34
8505
TITLE: Renormalization and Focal Decomposition
AUTHORS: Carlos A A de Carvalho; Mauricio M Peixoto; Diogo Pinheiro; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PAGES: 25-40
INDEXED IN: Scopus WOS CrossRef: 1
8506
TITLE: Research on corporate social responsibility and disclosure in Portugal
AUTHORS: Branco, MC ; Delgado, C ;
PUBLISHED: 2011, SOURCE: Social Responsibility Journal, VOLUME: 7, ISSUE: 2, PAGES: 202-217
INDEXED IN: Scopus CrossRef: 16 Unpaywall
8507
TITLE: Resort Pricing and Bankruptcy
AUTHORS: Alberto A Pinto ; Marta Faias ; Abdelrahim S Mousa ;
PUBLISHED: 2011, SOURCE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PAGES: 567-573
INDEXED IN: Scopus WOS CrossRef: 2
8508
TITLE: Reusable roles, a test with patterns
AUTHORS: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: PLoP, PAGES: 11:1-11:16
INDEXED IN: Scopus DBLP CrossRef Handle
8509
TITLE: Revisiting context-aware component interconnection
AUTHORS: Barbosa, LS ; Barbosa, MAC; Rodrigues, CJ;
PUBLISHED: 2011, SOURCE: 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), PAGES: 377-384
INDEXED IN: Scopus WOS DBLP CrossRef
8510
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
INDEXED IN: DBLP CrossRef: 21 Openlibrary
8511
TITLE: Runtime Programming through Model-Preserving, Scalable Runtime Patches
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2011, SOURCE: ACSD, PAGES: 77-86
INDEXED IN: Scopus DBLP CrossRef: 3
8512
TITLE: Safe controllers design for industrial automation systems
AUTHORS: Machado, J ; Seabra, E ; Campos, JC ; Soares, F ; Leao, CP ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4, PAGES: 635-653
INDEXED IN: Scopus WOS DBLP CrossRef: 20
8513
TITLE: Scheduling a Cutting and Treatment Stainless Steel Sheet Line with Self-Management Capabilities
AUTHORS: Madureira, A ; Pereira, I ; Sousa, N; Avila, P ; Bastos, J ;
PUBLISHED: 2011, SOURCE: International Symposium on Computational Intelligence for Engineering Systems (ISCIES '09) in COMPUTATIONAL INTELLIGENCE FOR ENGINEERING SYSTEMS: EMERGENT APPLICATIONS, VOLUME: 46, PAGES: 34-47
INDEXED IN: WOS CrossRef: 1 Handle
8514
TITLE: School satisfaction and psychological well-being in adolescents Portuguese [satisfação escolar e bem-estar psicológico em adolescentes Portugueses]
AUTHORS: Fernandes, HM ; Vasconcelos Raposo, J ; Bertelli, R; Almeida, L ;
PUBLISHED: 2011, SOURCE: Revista Lusofona de Educacao, ISSUE: 18, PAGES: 155-172
INDEXED IN: Scopus
8515
TITLE: SCHOOOOOLS.COM: A SOCIAL AND COLLABORATIVE LEARNING ENVIRONMENT FOR K-6
AUTHORS: Simoes, J; Aguiar, A ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2441-2450
INDEXED IN: WOS
8516
TITLE: Seasonal and daily variation of radon at 10 m depth in borehole, Garhwal Lesser Himalaya, India  Full Text
AUTHORS: Choubey, VM; Arora, BR; Barbosa, SM ; Naresh Kumar; Leena Kamra;
PUBLISHED: 2011, SOURCE: APPLIED RADIATION AND ISOTOPES, VOLUME: 69, ISSUE: 7, PAGES: 1070-1078
INDEXED IN: Scopus WOS CrossRef: 32
8517
TITLE: Selected Papers from the 17th Reconfigurable Architectures Workshop (RAW2010)
AUTHORS: Aravind Dasu; João M P Cardoso ; Eli Bozorgzadeh; Jürgen Becker;
PUBLISHED: 2011, SOURCE: Int. J. Reconfigurable Comput., VOLUME: 2011, PAGES: 574972:1-574972:2
INDEXED IN: Scopus DBLP CrossRef
8518
TITLE: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTHORS: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
INDEXED IN: DBLP CrossRef: 27
8519
TITLE: Self-organization for scheduling in agile manufacturing
AUTHORS: Madureira, A ; Pereira, I ; Sousa, N;
PUBLISHED: 2011, SOURCE: 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, PAGES: 38-43
INDEXED IN: Scopus CrossRef: 8 Handle
8520
TITLE: Serious Game for Business in Context of reception for new employees
AUTHORS: Pedro Almeida; Luis Pedro; Marilia Moita; Ricardo Magalhaes; Arnaldo Santos ; Lucia Moreira;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 699-704
INDEXED IN: WOS

Results per Page: 20.
Page 426 of 535. Total results: 10684.