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: 25062
1716 Team MembersFilters -> Year: 2026
16901
TITLE: Bisimilarity and refinement for hybrid(ised) logics
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Refine@IFM, VOLUME: 115, PAGES: 84-98
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Refine@IFM, VOLUME: 115, PAGES: 84-98
16902
TITLE: Blockholders presence, identity and institutional context. Are they relevant for firm value?
AUTHORS: Santos, MS; Moreira, AC ; Vieira, ES ;
PUBLISHED: 2013, SOURCE: International Journal of Business Governance and Ethics, VOLUME: 8, ISSUE: 1, PAGES: 18-49
AUTHORS: Santos, MS; Moreira, AC ; Vieira, ES ;
PUBLISHED: 2013, SOURCE: International Journal of Business Governance and Ethics, VOLUME: 8, ISSUE: 1, PAGES: 18-49
16903
TITLE: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PAGES: 75-89
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PAGES: 75-89
16904
TITLE: Boosting the Detection of Transposable Elements Using Machine Learning
AUTHORS: Tiago Loureiro; Rui Camacho ; Jorge Vieira ; Nuno A Fonseca ;
PUBLISHED: 2013, SOURCE: PACBB, VOLUME: 222, PAGES: 85-91
AUTHORS: Tiago Loureiro; Rui Camacho ; Jorge Vieira ; Nuno A Fonseca ;
PUBLISHED: 2013, SOURCE: PACBB, VOLUME: 222, PAGES: 85-91
16905
TITLE: Breaking the Game: The traversal of the emergent narrative in video games. Full Text
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2013, SOURCE: CITAR Journal - Journal of Science and Technology of the Arts, VOLUME: 5, ISSUE: 1
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2013, SOURCE: CITAR Journal - Journal of Science and Technology of the Arts, VOLUME: 5, ISSUE: 1
16906
TITLE: Bridging the Gap between Organizations Policies and the Network Security and Systems Administration in SMEs
AUTHORS: Carlos Rompante Cunha ; Elisabete Paulo Morais; Joao Pedro Gomes;
PUBLISHED: 2013, SOURCE: 21st International-Business-Information-Management-Association Conference on Vision 2020: Innovation, Development Sustainability, and Economic Growth in VISION 2020: INNOVATION, DEVELOPMENT SUSTAINABILITY, AND ECONOMIC GROWTH, VOLS 1-3, VOLUME: 2, PAGES: 888-892
AUTHORS: Carlos Rompante Cunha ; Elisabete Paulo Morais; Joao Pedro Gomes;
PUBLISHED: 2013, SOURCE: 21st International-Business-Information-Management-Association Conference on Vision 2020: Innovation, Development Sustainability, and Economic Growth in VISION 2020: INNOVATION, DEVELOPMENT SUSTAINABILITY, AND ECONOMIC GROWTH, VOLS 1-3, VOLUME: 2, PAGES: 888-892
INDEXED IN: 
Scopus 
WOS
Scopus WOS16907
TITLE: Broadcast cancellation in search mechanisms
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 548-553
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 548-553
16908
TITLE: Brush wear and dust accumulation fiber-optic sensor system for synchronous compensators online monitoring
AUTHORS: Claudio Floridia ; Livia R Alves; Fábio R Bassan; Antonio A Juriollo; Flávio Borin; Afonso Rafael Cunha Souza;
PUBLISHED: 2013, SOURCE: SPIE Proceedings - Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2013
AUTHORS: Claudio Floridia ; Livia R Alves; Fábio R Bassan; Antonio A Juriollo; Flávio Borin; Afonso Rafael Cunha Souza;
PUBLISHED: 2013, SOURCE: SPIE Proceedings - Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2013
16909
TITLE: BTTE - An automated timetabling software for Higher Education
AUTHORS: Pedro Fernandes; Armando Barbosa; Carla Sofia Pereira ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Pedro Fernandes; Armando Barbosa; Carla Sofia Pereira ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
Scopus WOS16910
TITLE: Building envelope shape design in early stages of the design process: Integrating architectural design systems and energy simulation Full Text
AUTHORS: Vasco Granadeiro ; Jose P Duarte ; Joao R Correia ; Vitor M S Leal ;
PUBLISHED: 2013, SOURCE: AUTOMATION IN CONSTRUCTION, VOLUME: 32, PAGES: 196-209
AUTHORS: Vasco Granadeiro ; Jose P Duarte ; Joao R Correia ; Vitor M S Leal ;
PUBLISHED: 2013, SOURCE: AUTOMATION IN CONSTRUCTION, VOLUME: 32, PAGES: 196-209
16911
TITLE: Business Community Management
AUTHORS: Almeida, R; Carneiro, LM ; Sa, A; Ferreira, PS; Fornasiero, R;
PUBLISHED: 2013, SOURCE: Intelligent Non-hierarchical Manufacturing Networks, PAGES: 149-168
AUTHORS: Almeida, R; Carneiro, LM ; Sa, A; Ferreira, PS; Fornasiero, R;
PUBLISHED: 2013, SOURCE: Intelligent Non-hierarchical Manufacturing Networks, PAGES: 149-168
16912
TITLE: Business process monitoring and management in virtual enterprise through interactive user interface layer
AUTHORS: Shamsuzzoha, A; Ferreira, F ; Azevedo, A ; Faria, J ; Helo, P;
PUBLISHED: 2013, SOURCE: Lecture Notes in Mechanical Engineering, VOLUME: 7, PAGES: 451-464
AUTHORS: Shamsuzzoha, A; Ferreira, F ; Azevedo, A ; Faria, J ; Helo, P;
PUBLISHED: 2013, SOURCE: Lecture Notes in Mechanical Engineering, VOLUME: 7, PAGES: 451-464
16913
TITLE: Call for Papers Special issue on "Hybrid Metaheuristics" Full Text
AUTHORS: Festa, P; Resende, MGC; Viana, A ;
PUBLISHED: 2013, SOURCE: International Transactions in Operational Research, VOLUME: 20, ISSUE: 4, PAGES: 613-614
AUTHORS: Festa, P; Resende, MGC; Viana, A ;
PUBLISHED: 2013, SOURCE: International Transactions in Operational Research, VOLUME: 20, ISSUE: 4, PAGES: 613-614
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef16914
TITLE: Caller-REP: Detecting unwanted calls with caller social strength
AUTHORS: Azad, MA ; Morla, R ;
PUBLISHED: 2013, SOURCE: COMPUTERS & SECURITY, VOLUME: 39, ISSUE: PART B, PAGES: 219-236
AUTHORS: Azad, MA ; Morla, R ;
PUBLISHED: 2013, SOURCE: COMPUTERS & SECURITY, VOLUME: 39, ISSUE: PART B, PAGES: 219-236
16915
TITLE: Can I Access my School Website? Auditing Accessibility of the Portuguese Teaching Institutions Websites
AUTHORS: Gonçalves, R ; Martins, J ; Pereira, J; Santos, V; Cota, MP;
PUBLISHED: 2013, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 19, ISSUE: 18, PAGES: 2639-2655
AUTHORS: Gonçalves, R ; Martins, J ; Pereira, J; Santos, V; Cota, MP;
PUBLISHED: 2013, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 19, ISSUE: 18, PAGES: 2639-2655
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP16916
TITLE: Cardiovascular Variability and Nociception/Anti-Nociception Balance During Anesthesia
AUTHORS: Castro, A ; Amorim, P; Coimbra, MT ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 245-250
AUTHORS: Castro, A ; Amorim, P; Coimbra, MT ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 245-250
16917
TITLE: Case studies on collaboration, technology and performance factors in business networks
AUTHORS: Carneiro, LM ; Soares, AL ; Patrício, R; Azevedo, AL ; de Sousa, JP ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 26, ISSUE: 1-2, PAGES: 101-116
AUTHORS: Carneiro, LM ; Soares, AL ; Patrício, R; Azevedo, AL ; de Sousa, JP ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 26, ISSUE: 1-2, PAGES: 101-116
16918
TITLE: Causality tracking for disconnected and semi-connected distributed systems
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle16919
TITLE: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: CCS, PAGES: 1217-1230
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: CCS, PAGES: 1217-1230
16920
TITLE: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2013, PAGES: 316
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2013, PAGES: 316
INDEXED IN: DBLP
DBLP