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: 24967
1716 Team MembersFilters -> Year: 2026
16841
TITLE: Biomechanical Modeling and Simulation of the Spider Crab (Maja brachydactyla)
AUTHORS: Rita Rynkevic ; Manuel F Silva ; Arcelina A Marques ;
PUBLISHED: 2013, SOURCE: 3rd Portuguese Bioengineering Meeting in 2013 IEEE 3RD PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Rita Rynkevic ; Manuel F Silva ; Arcelina A Marques ;
PUBLISHED: 2013, SOURCE: 3rd Portuguese Bioengineering Meeting in 2013 IEEE 3RD PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
16842
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
16843
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
16844
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
16845
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
16846
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
16847
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 WOS16848
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
16849
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
16850
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 WOS16851
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
16852
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
16853
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
16854
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 CrossRef16855
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
16856
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 DBLP16857
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
16858
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
16859
TITLE: Causality tracking for disconnected and semi-connected distributed systems
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle16860
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
