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: 24903
1714 Team MembersFilters -> Year: 2026
16461
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014, PAGES: 93
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014, PAGES: 93
INDEXED IN: 
DBLP
DBLP16462
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF Full Text
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
16463
TITLE: The role of servicescape as a driver of customer value in experience-centric service organizations: the Dragon Football Stadium case Full Text
AUTHORS: Fernandes, T. ; Neves, S ;
PUBLISHED: 2014, SOURCE: Journal of Strategic Marketing, VOLUME: 22, ISSUE: 6, PAGES: 548-560
AUTHORS: Fernandes, T. ; Neves, S ;
PUBLISHED: 2014, SOURCE: Journal of Strategic Marketing, VOLUME: 22, ISSUE: 6, PAGES: 548-560
16464
TITLE: The unimodal model for the classification of ordinal data (vol 21, pg 78, 2008) Full Text
AUTHORS: da Costa, JP ; Alonso, H ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 59, ISSUE: 1, PAGES: 73-75
AUTHORS: da Costa, JP ; Alonso, H ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 59, ISSUE: 1, PAGES: 73-75
16465
TITLE: The Unit Commitment Problem with Periodicity Constraints
AUTHORS: Dalila B Fontes ; Luis A C Roque; facc fontes;
PUBLISHED: 2014
AUTHORS: Dalila B Fontes ; Luis A C Roque; facc fontes;
PUBLISHED: 2014
INDEXED IN: 
Handle
Handle16466
TITLE: The use of virtual worlds in management education: An investigation of current practices in second life
AUTHORS: Amarolinda Zanela Klein; Angilberto Freitas; Lisiane Machado; José Carlos Da Silva Freitas; Paulo Gaspar Graziola; Eliane Schlemmer ;
PUBLISHED: 2014, SOURCE: International Journal of Information and Communication Technology Education, VOLUME: 10, ISSUE: 1, PAGES: 61-78
AUTHORS: Amarolinda Zanela Klein; Angilberto Freitas; Lisiane Machado; José Carlos Da Silva Freitas; Paulo Gaspar Graziola; Eliane Schlemmer ;
PUBLISHED: 2014, SOURCE: International Journal of Information and Communication Technology Education, VOLUME: 10, ISSUE: 1, PAGES: 61-78
16467
TITLE: THEMATIC CLUBS AND THE SUPREMACY OF NETWORK EXTERNALITIES. Thematic Clubs and Network Externalities Full Text
AUTHORS: Rabah Amir; Jean Gabszewicz; Joana Resende ;
PUBLISHED: 2014, SOURCE: JOURNAL OF PUBLIC ECONOMIC THEORY, VOLUME: 16, ISSUE: 5, PAGES: 706-729
AUTHORS: Rabah Amir; Jean Gabszewicz; Joana Resende ;
PUBLISHED: 2014, SOURCE: JOURNAL OF PUBLIC ECONOMIC THEORY, VOLUME: 16, ISSUE: 5, PAGES: 706-729
16468
TITLE: Theoretical interruption model for reliability assessment of power supply systems Full Text
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Sasa Z Djokic;
PUBLISHED: 2014, SOURCE: IET Generation, Transmission and Distribution, VOLUME: 8, ISSUE: 4, PAGES: 670-681
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Sasa Z Djokic;
PUBLISHED: 2014, SOURCE: IET Generation, Transmission and Distribution, VOLUME: 8, ISSUE: 4, PAGES: 670-681
16469
TITLE: ThumbCam: Returning to single touch interactions to explore 3D virtual environments. Returning to single touch interactions to explore 3D virtual environments
AUTHORS: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLISHED: 2014, SOURCE: ITS, PAGES: 403-408
AUTHORS: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLISHED: 2014, SOURCE: ITS, PAGES: 403-408
16470
TITLE: Toward the concept of robot society: A multi-robot SLAM casestudy Full Text
AUTHORS: Couceiro, MS ; Lopes, AR; Ferreira, NMF ; Ferreira, AG; Rocha, R;
PUBLISHED: 2014, SOURCE: Mathematical Methods in Engineering, PAGES: 57-66
AUTHORS: Couceiro, MS ; Lopes, AR; Ferreira, NMF ; Ferreira, AG; Rocha, R;
PUBLISHED: 2014, SOURCE: Mathematical Methods in Engineering, PAGES: 57-66
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef16471
TITLE: Towards a dependable cardiovascular surveillance system
AUTHORS: Oliveira, CC; da Silva, JM ;
PUBLISHED: 2014, SOURCE: International Conference on Health Informatics, ICHI 2013 in IFMBE Proceedings, VOLUME: 42, PAGES: 118-121
AUTHORS: Oliveira, CC; da Silva, JM ;
PUBLISHED: 2014, SOURCE: International Conference on Health Informatics, ICHI 2013 in IFMBE Proceedings, VOLUME: 42, PAGES: 118-121
16472
TITLE: Towards a Framework for Adaptive Web Applications
AUTHORS: Sampaio, AI; Campos, JC ;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 434 PART I, PAGES: 240-245
AUTHORS: Sampaio, AI; Campos, JC ;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 434 PART I, PAGES: 240-245
16473
TITLE: Towards a framework for multidirectional model transformations PDF
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PAGES: 71-74
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PAGES: 71-74
INDEXED IN: Scopus DBLP
Scopus DBLP16474
TITLE: Towards a new technological solution for Community Energy Storage
AUTHORS: Diogo Varajao ; Luis M Miranda ; Rui E Araujo ;
PUBLISHED: 2014, SOURCE: 16th European Conference on Power Electronics and Applications (EPE-ECCE Europe) in 2014 16TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'14-ECCE EUROPE)
AUTHORS: Diogo Varajao ; Luis M Miranda ; Rui E Araujo ;
PUBLISHED: 2014, SOURCE: 16th European Conference on Power Electronics and Applications (EPE-ECCE Europe) in 2014 16TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'14-ECCE EUROPE)
16475
TITLE: Towards a pattern language for model-based GUI testing
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 19th European Conference on Pattern Languages of Programs, EuroPLoP 2014 in ACM International Conference Proceeding Series, VOLUME: 09-13-July-2014, PAGES: 26:1-26:8
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 19th European Conference on Pattern Languages of Programs, EuroPLoP 2014 in ACM International Conference Proceeding Series, VOLUME: 09-13-July-2014, PAGES: 26:1-26:8
16476
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 58-73
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 58-73
16477
TITLE: Towards a Unified European Electricity Market: The Contribution of Data-mining to Support Realistic Simulation Studies
AUTHORS: Pinto, T ; Santos, G; Pereira, IF; Fernandes, R; Sousa, TM; Praca, I ; Vale, Z ; Morais, H;
PUBLISHED: 2014, SOURCE: IEEE PES General Meeting in 2014 IEEE PES GENERAL MEETING - CONFERENCE & EXPOSITION, VOLUME: 2014-October, ISSUE: October
AUTHORS: Pinto, T ; Santos, G; Pereira, IF; Fernandes, R; Sousa, TM; Praca, I ; Vale, Z ; Morais, H;
PUBLISHED: 2014, SOURCE: IEEE PES General Meeting in 2014 IEEE PES GENERAL MEETING - CONFERENCE & EXPOSITION, VOLUME: 2014-October, ISSUE: October
16478
TITLE: Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
AUTHORS: Groesbrink, Stefan; Almeida, Luis ; de Sousa, Mario ; Petters, Stefan M.;
PUBLISHED: 2014, SOURCE: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) as part of the Cyber-Physical Systems Week in 2014 IEEE 20TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), VOLUME: 2014-October, ISSUE: October, PAGES: 13-24
AUTHORS: Groesbrink, Stefan; Almeida, Luis ; de Sousa, Mario ; Petters, Stefan M.;
PUBLISHED: 2014, SOURCE: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) as part of the Cyber-Physical Systems Week in 2014 IEEE 20TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), VOLUME: 2014-October, ISSUE: October, PAGES: 13-24
16479
TITLE: Towards robustness and self-organization of ESB-based solutions using service life-cycle management
AUTHORS: Leitao, P ; Barbosa, J ; Pereira, A;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PAGES: 4916-4921
AUTHORS: Leitao, P ; Barbosa, J ; Pereira, A;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PAGES: 4916-4921
INDEXED IN: Scopus CrossRef
Scopus CrossRef16480
TITLE: Towards Robustness and Self-Organization of ESB-based Solutions using Service Life-cycle Management
AUTHORS: Paulo Leitao ; Jose Barbosa ; Arnaldo Pereira;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 4916-4921
AUTHORS: Paulo Leitao ; Jose Barbosa ; Arnaldo Pereira;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 4916-4921
INDEXED IN: Scopus 
WOS
Scopus WOS