Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 24995
1716 Team MembersFilters -> Year: 2026
19621
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
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: Refine@FM, VOLUME: 55, PAGES: 53-64
19622
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 ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
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 ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
19623
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
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
19624
TITLE: Reliability evaluation of balkan generation systems considering planning exercise of wind power integration
AUTHORS: Tomic, M; Konjic, T; Da Rosa, M; Miranda, V ;
PUBLISHED: 2011, SOURCE: 2011 8th International Conference on the European Energy Market, EEM 11 in 2011 8th International Conference on the European Energy Market, EEM 11, PAGES: 167-172
AUTHORS: Tomic, M; Konjic, T; Da Rosa, M; Miranda, V ;
PUBLISHED: 2011, SOURCE: 2011 8th International Conference on the European Energy Market, EEM 11 in 2011 8th International Conference on the European Energy Market, EEM 11, PAGES: 167-172
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef19625
TITLE: Reliability impact on bulk generation system considering high penetration of electric vehicles
AUTHORS: Da Rosa, MA; Heleno, M ; Miranda, V ; Matos, M ; Ferreira, R ;
PUBLISHED: 2011, SOURCE: 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011 in 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011
AUTHORS: Da Rosa, MA; Heleno, M ; Miranda, V ; Matos, M ; Ferreira, R ;
PUBLISHED: 2011, SOURCE: 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011 in 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011
19626
TITLE: Reliability performance assessment in smart grids with demand-side management
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Adam J Collin; Jorge L Acosta; Sasa Z Djokic;
PUBLISHED: 2011, SOURCE: IEEE PES Innovative Smart Grid Technologies Conference Europe, VOLUME: 6, PAGES: 1-7
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Adam J Collin; Jorge L Acosta; Sasa Z Djokic;
PUBLISHED: 2011, SOURCE: IEEE PES Innovative Smart Grid Technologies Conference Europe, VOLUME: 6, PAGES: 1-7
19627
TITLE: Remote optical fiber sensor with Raman amplification
AUTHORS: Thiago V N Coelho; Guerreiro, A ; Pedro A S Jorge ; Pontes, MJ;
PUBLISHED: 2011, SOURCE: International Conference on Applications of Optics and Photonics in INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 8001
AUTHORS: Thiago V N Coelho; Guerreiro, A ; Pedro A S Jorge ; Pontes, MJ;
PUBLISHED: 2011, SOURCE: International Conference on Applications of Optics and Photonics in INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 8001
19628
TITLE: Remote sensing based indicators of changes in a mountain rural landscape of Northeast Portugal Full Text
AUTHORS: Isabel Pocas ; Mario Cunha ; Luis S Pereira ;
PUBLISHED: 2011, SOURCE: APPLIED GEOGRAPHY, VOLUME: 31, ISSUE: 3, PAGES: 871-880
AUTHORS: Isabel Pocas ; Mario Cunha ; Luis S Pereira ;
PUBLISHED: 2011, SOURCE: APPLIED GEOGRAPHY, VOLUME: 31, ISSUE: 3, PAGES: 871-880
19629
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
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
19630
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
AUTHORS: Branco, MC ; Delgado, C ;
PUBLISHED: 2011, SOURCE: Social Responsibility Journal, VOLUME: 7, ISSUE: 2, PAGES: 202-217
19631
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
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
19632
TITLE: Retrieving information in online dispute resolution platforms: a hybrid method. a hybrid method
AUTHORS: Davide Carneiro ; Paulo Novais ; Francisco Andrade ; José Neves ;
PUBLISHED: 2011, SOURCE: 13th International Conference on Artificial Intelligence and Law, ICAIL 2011 in The 13th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-10, 2011, Pittsburgh, PA, USA, PAGES: 224-228
AUTHORS: Davide Carneiro ; Paulo Novais ; Francisco Andrade ; José Neves ;
PUBLISHED: 2011, SOURCE: 13th International Conference on Artificial Intelligence and Law, ICAIL 2011 in The 13th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-10, 2011, Pittsburgh, PA, USA, PAGES: 224-228
19633
TITLE: Reusable roles, a test with patterns
AUTHORS: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: PLoP, PAGES: 11:1-11:16
AUTHORS: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: PLoP, PAGES: 11:1-11:16
19634
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
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
19635
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
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
19636
TITLE: Role Playing Games and Emotions in Dispute Resolution Environments
AUTHORS: Carneiro, D ; Paulo Novais ; Machado, L; Cesar Analide ; Costa, N; Neves, J ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Soft Computing Models in Industrial and Environmental Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, 6TH INTERNATIONAL CONFERENCE SOCO 2011, VOLUME: 87, PAGES: 155-162
AUTHORS: Carneiro, D ; Paulo Novais ; Machado, L; Cesar Analide ; Costa, N; Neves, J ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Soft Computing Models in Industrial and Environmental Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, 6TH INTERNATIONAL CONFERENCE SOCO 2011, VOLUME: 87, PAGES: 155-162
19637
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
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2011, SOURCE: ACSD, PAGES: 77-86
19638
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
AUTHORS: Machado, J ; Seabra, E ; Campos, JC ; Soares, F ; Leao, CP ;
PUBLISHED: 2011, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 60, ISSUE: 4, PAGES: 635-653
19639
TITLE: Scalable Data Acquisition for Densely Instrumented Cyber-Physical Systems
AUTHORS: Ehyaei, A; Tovar, E ; Pereira, N ; Andersson, B;
PUBLISHED: 2011, SOURCE: 2nd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) in 2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), PAGES: 174-183
AUTHORS: Ehyaei, A; Tovar, E ; Pereira, N ; Andersson, B;
PUBLISHED: 2011, SOURCE: 2nd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) in 2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), PAGES: 174-183
19640
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
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
