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: 18940
1703 Team MembersFilters -> Year: 2025
11881
TITLE: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PAGES: 75-80
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PAGES: 75-80
11882
TITLE: The Modelery: A Collaborative Web Based Repository
AUTHORS: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 1-16
AUTHORS: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 1-16
11883
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
DBLP11884
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
11885
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
11886
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
11887
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
Handle11888
TITLE: The yeast model system as a tool towards the understanding of apoptosis regulation by sphingolipids Full Text
AUTHORS: Rego, A; Trindade, D; Chaves, SR; Manon, S; Costa, V ; Sousa, MJ; Corte Real, M;
PUBLISHED: 2014, SOURCE: FEMS YEAST RESEARCH, VOLUME: 14, ISSUE: 1, PAGES: 160-178
AUTHORS: Rego, A; Trindade, D; Chaves, SR; Manon, S; Costa, V ; Sousa, MJ; Corte Real, M;
PUBLISHED: 2014, SOURCE: FEMS YEAST RESEARCH, VOLUME: 14, ISSUE: 1, PAGES: 160-178
11889
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
11890
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: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014, PAGES: 403-408
AUTHORS: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLISHED: 2014, SOURCE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014, PAGES: 403-408
11891
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
11892
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
11893
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 DBLP11894
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)
11895
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
11896
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
11897
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
11898
TITLE: Towards using Probabilities and Logic to Model Regulatory Networks
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 239-242
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 239-242
11899
TITLE: Trace-Based Reconfigurable Acceleration with Data Cache and External Memory Support
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 158-165
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 158-165
11900
TITLE: Tracking of an underwater visual target with an autonomous surface vehicle
AUTHORS: Andre B Figueiredo ; Bruno M Ferreira ; Anibal C Matos ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Andre B Figueiredo ; Bruno M Ferreira ; Anibal C Matos ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
