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: 24965
1716 Team MembersFilters -> Year: 2026
15581
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
15582
TITLE: A relational approach to bidirectional transformation. Uma abordagem relacional à transformação bidirecional
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
INDEXED IN: 
DBLP 
Handle
DBLP Handle15583
TITLE: A relax-and-fix-based algorithm for the vehicle-reservation assignment problem in a car rental company Full Text
AUTHORS: Beatriz Brito Oliveira ; Maria Antonia Carravilla ; Jose Fernando Oliveira ; Franklina M B Toledo;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 237, ISSUE: 2, PAGES: 729-737
AUTHORS: Beatriz Brito Oliveira ; Maria Antonia Carravilla ; Jose Fernando Oliveira ; Franklina M B Toledo;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 237, ISSUE: 2, PAGES: 729-737
15584
TITLE: A Retrospective Socio-Semantic Analysis of the PRO-VE Conferences
AUTHORS: Soares, AL ; Almeida, M; Ramalho, F ;
PUBLISHED: 2014, SOURCE: 15th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE SYSTEMS FOR SMART NETWORKED ENVIRONMENTS, VOLUME: 434, PAGES: 651-663
AUTHORS: Soares, AL ; Almeida, M; Ramalho, F ;
PUBLISHED: 2014, SOURCE: 15th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE SYSTEMS FOR SMART NETWORKED ENVIRONMENTS, VOLUME: 434, PAGES: 651-663
15585
TITLE: A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems
AUTHORS: Vrba, P; Marik, V; Siano, P; Leitao, P ; Zhabelova, G; Vyatkin, V; Strasser, T;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 10, ISSUE: 3, PAGES: 1890-1903
AUTHORS: Vrba, P; Marik, V; Siano, P; Leitao, P ; Zhabelova, G; Vyatkin, V; Strasser, T;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 10, ISSUE: 3, PAGES: 1890-1903
15587
TITLE: A Review on the Portuguese Enterprises Web Accessibility Levels - A website accessibility high level improvement proposal
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
15588
TITLE: A rich vehicle routing problem dealing with perishable food: a case study Full Text
AUTHORS: Amorim, P ; Parragh, SN; Sperandio, F; Almada Lobo, B ;
PUBLISHED: 2014, SOURCE: TOP, VOLUME: 22, ISSUE: 2, PAGES: 489-508
AUTHORS: Amorim, P ; Parragh, SN; Sperandio, F; Almada Lobo, B ;
PUBLISHED: 2014, SOURCE: TOP, VOLUME: 22, ISSUE: 2, PAGES: 489-508
15589
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: Aparicio, D ; Paredes, P ; Ribeiro, P ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
AUTHORS: Aparicio, D ; Paredes, P ; Ribeiro, P ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
15590
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Oliveira, N ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
AUTHORS: Oliveira, N ; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
15591
TITLE: A Series of Trials in the UK as part of the Ofcom TV White Spaces Pilot
AUTHORS: Holland, O; Sastry, N; Ping, SY; Chawdhry, P; Chareau, JM; Bishop, J; Bavaro, M; Anguili, E; Knopp, R; Kaltenberger, F; Nussbaum, D; Gao, Y; Hallio, J; Jakobsson, M; Auranen, J; Ekman, R; Paavola, J; Kivinen, A; Dionisio, R ; Marques, P; ...More
PUBLISHED: 2014, SOURCE: 1st International Workshop on Cognitive Cellular Systems (CCS) in 2014 1ST INTERNATIONAL WORKSHOP ON COGNITIVE CELLULAR SYSTEMS (CCS), PAGES: 1-5
AUTHORS: Holland, O; Sastry, N; Ping, SY; Chawdhry, P; Chareau, JM; Bishop, J; Bavaro, M; Anguili, E; Knopp, R; Kaltenberger, F; Nussbaum, D; Gao, Y; Hallio, J; Jakobsson, M; Auranen, J; Ekman, R; Paavola, J; Kivinen, A; Dionisio, R ; Marques, P; ...More
PUBLISHED: 2014, SOURCE: 1st International Workshop on Cognitive Cellular Systems (CCS) in 2014 1ST INTERNATIONAL WORKSHOP ON COGNITIVE CELLULAR SYSTEMS (CCS), PAGES: 1-5
15592
TITLE: A Serious Games Framework for Health Rehabilitation
AUTHORS: Paula Alexandra Rego ; Pedro Miguel Moreira ; Luís Paulo Reis ;
PUBLISHED: 2014, SOURCE: Int. J. Heal. Inf. Syst. Informatics, VOLUME: 9, ISSUE: 3, PAGES: 1-21
AUTHORS: Paula Alexandra Rego ; Pedro Miguel Moreira ; Luís Paulo Reis ;
PUBLISHED: 2014, SOURCE: Int. J. Heal. Inf. Syst. Informatics, VOLUME: 9, ISSUE: 3, PAGES: 1-21
15593
TITLE: A state-of-the-art modeling framework to improve congestion by changing the configuration/enforcement of urban logistics loading/unloading bays
AUTHORS: Andre Alho; Joao D E de Abreu e Silva; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 360-369
AUTHORS: Andre Alho; Joao D E de Abreu e Silva; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 360-369
15594
TITLE: A study of machine learning methods for detecting user interest during web sessions
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
15595
TITLE: A study on the viability of formalizing Use Cases
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 130-133
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 130-133
15596
TITLE: A Survey and Classification of Storage Deduplication Systems
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
15597
TITLE: A Survey of E-learning Content Aggregation Standards
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
15598
TITLE: A Survey on Concept Drift Adaptation
AUTHORS: Gama, J ; Zliobaite, I; Bifet, A; Pechenizkiy, M; Bouchachia, A;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 46, ISSUE: 4, PAGES: 44:1-44:37
AUTHORS: Gama, J ; Zliobaite, I; Bifet, A; Pechenizkiy, M; Bouchachia, A;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 46, ISSUE: 4, PAGES: 44:1-44:37
15599
TITLE: A Survey on Intelligent Wheelchair Prototypes and Simulators
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 275, ISSUE: VOLUME 1, PAGES: 545-557
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 275, ISSUE: VOLUME 1, PAGES: 545-557
15600
TITLE: A swarm intelligence-based tuning method for the sliding mode generalized predictive control Full Text
AUTHORS: Oliveira, JB ; Boaventura Cunha, J ; Moura B M Oliveira ; Freire, H ;
PUBLISHED: 2014, SOURCE: ISA TRANSACTIONS, VOLUME: 53, ISSUE: 5, PAGES: 1501-1515
AUTHORS: Oliveira, JB ; Boaventura Cunha, J ; Moura B M Oliveira ; Freire, H ;
PUBLISHED: 2014, SOURCE: ISA TRANSACTIONS, VOLUME: 53, ISSUE: 5, PAGES: 1501-1515
