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: 25101
1717 Team MembersFilters -> Year: 2026
16841
TITLE: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 77-92
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 77-92
16842
TITLE: A Potpourri of authentication mechanisms The mobile device way
AUTHORS: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
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: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
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 WOS16843
TITLE: A preliminary investigation into predictive models for adverse drug events
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PAGES: 8-13
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PAGES: 8-13
INDEXED IN: Scopus
Scopus16844
TITLE: A projected gradient dynamical system modelling the dynamics of bargaining Full Text
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 59-95
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 59-95
16845
TITLE: A Proposal for a Mobile Ticketing Solution for Metropolitan Area of Oporto Public Transport
AUTHORS: Marta Campos Ferreira ; Maria Henriqueta Novoa ; Teresa Galvao Dias ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 263-278
AUTHORS: Marta Campos Ferreira ; Maria Henriqueta Novoa ; Teresa Galvao Dias ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 263-278
16846
TITLE: A PSO multi-robot exploration approach over unreliable MANETs Full Text
AUTHORS: Micael S Couceiro ; Rui P Rocha; Nuno M F Ferreira ;
PUBLISHED: 2013, SOURCE: ADVANCED ROBOTICS, VOLUME: 27, ISSUE: 16, PAGES: 1221-1234
AUTHORS: Micael S Couceiro ; Rui P Rocha; Nuno M F Ferreira ;
PUBLISHED: 2013, SOURCE: ADVANCED ROBOTICS, VOLUME: 27, ISSUE: 16, PAGES: 1221-1234
16847
TITLE: A remote long-period grating sensor with electrical interrogation assisted by Raman amplification Full Text
AUTHORS: Thiago V N Coelho; Pontes, MJ; Joel P Carvalho; Santos, JL ; Guerreiro, A ;
PUBLISHED: 2013, SOURCE: OPTICS AND LASER TECHNOLOGY, VOLUME: 47, PAGES: 107-113
AUTHORS: Thiago V N Coelho; Pontes, MJ; Joel P Carvalho; Santos, JL ; Guerreiro, A ;
PUBLISHED: 2013, SOURCE: OPTICS AND LASER TECHNOLOGY, VOLUME: 47, PAGES: 107-113
16848
TITLE: A Review of Refractometric Sensors Based on Long Period Fibre Gratings Full Text
AUTHORS: Rego, G ;
PUBLISHED: 2013, SOURCE: SCIENTIFIC WORLD JOURNAL, VOLUME: 2013, PAGES: 1-14
AUTHORS: Rego, G ;
PUBLISHED: 2013, SOURCE: SCIENTIFIC WORLD JOURNAL, VOLUME: 2013, PAGES: 1-14
16849
TITLE: A Secure and Dynamic Mobile Identity Wallet Authorization Architecture Based on a XMPP Messaging Infrastructure
AUTHORS: Augusto, AB ; Correia, ME ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 21-37
AUTHORS: Augusto, AB ; Correia, ME ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 21-37
16850
TITLE: A secure RBAC mobile agent access control model for Healthcare Institutions
AUTHORS: Santos Pereira, C ; Augusto, AB ; Cruz Correia, R ; Correia, ME ;
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: 349-354
AUTHORS: Santos Pereira, C ; Augusto, AB ; Cruz Correia, R ; Correia, ME ;
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: 349-354
16851
TITLE: A Secure RBAC Mobile Agent Model for Healthcare Institutions - Preliminary Study
AUTHORS: Cátia Santos Pereira ; Alexandre B Augusto; Ricardo João Cruz Correia ; Manuel Eduardo Correia ;
PUBLISHED: 2013, SOURCE: ITBAM, VOLUME: 8060 LNCS, PAGES: 108-111
AUTHORS: Cátia Santos Pereira ; Alexandre B Augusto; Ricardo João Cruz Correia ; Manuel Eduardo Correia ;
PUBLISHED: 2013, SOURCE: ITBAM, VOLUME: 8060 LNCS, PAGES: 108-111
16852
TITLE: A Sensing Platform for High Visibility of the Datacenter
AUTHORS: João Loureiro; Nuno Pereira ; Pedro Santos; Eduardo Tovar ;
PUBLISHED: 2013, SOURCE: CONET/UBICITEC, VOLUME: 1002, PAGES: 14-25
AUTHORS: João Loureiro; Nuno Pereira ; Pedro Santos; Eduardo Tovar ;
PUBLISHED: 2013, SOURCE: CONET/UBICITEC, VOLUME: 1002, PAGES: 14-25
INDEXED IN: Scopus 
DBLP
Scopus DBLP16853
TITLE: A Sensor Based Approach to Outdoor Illumination Estimation for Augmented Reality Applications on Mobile Devices
AUTHORS: João Barreira; Luís Magalhães; Maximino Bessa ;
PUBLISHED: 2013, SOURCE: Eurographics (Posters), PAGES: 3-4
AUTHORS: João Barreira; Luís Magalhães; Maximino Bessa ;
PUBLISHED: 2013, SOURCE: Eurographics (Posters), PAGES: 3-4
INDEXED IN: DBLP
DBLP16854
TITLE: A set of novel modifications to improve algorithms from the A* family applied in mobile robotics
AUTHORS: Tiago Pereira do Nascimento; Pedro Costa ; Paulo G Costa ; António Paulo Moreira ; André Gustavo Scolari Conceição;
PUBLISHED: 2013, SOURCE: J. Braz. Comput. Soc., VOLUME: 19, ISSUE: 2, PAGES: 167-179
AUTHORS: Tiago Pereira do Nascimento; Pedro Costa ; Paulo G Costa ; António Paulo Moreira ; André Gustavo Scolari Conceição;
PUBLISHED: 2013, SOURCE: J. Braz. Comput. Soc., VOLUME: 19, ISSUE: 2, PAGES: 167-179
16855
TITLE: A simple, self-referenced, intensity-based optical fibre sensor for temperature measurements Full Text
AUTHORS: Silva, RM; Baptista, JM ; Santos, JL ; Antonio Lobo ; Araujo, FM; Ferreira, LA; Frazao, O ;
PUBLISHED: 2013, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 291, PAGES: 215-218
AUTHORS: Silva, RM; Baptista, JM ; Santos, JL ; Antonio Lobo ; Araujo, FM; Ferreira, LA; Frazao, O ;
PUBLISHED: 2013, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 291, PAGES: 215-218
16856
TITLE: A social gamification framework for a K-6 learning platform Full Text
AUTHORS: Jorge Simões ; Rebeca Díaz Redondo; Ana Fernández Vilas;
PUBLISHED: 2013, SOURCE: Computers in Human Behavior, VOLUME: 29, ISSUE: 2, PAGES: 345-353
AUTHORS: Jorge Simões ; Rebeca Díaz Redondo; Ana Fernández Vilas;
PUBLISHED: 2013, SOURCE: Computers in Human Behavior, VOLUME: 29, ISSUE: 2, PAGES: 345-353
16857
TITLE: A Specification Patterns System for Discrete Event Systems Analysis Full Text
AUTHORS: Jose Creissac Campos ; Jose Machado ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 10, PAGES: 1
AUTHORS: Jose Creissac Campos ; Jose Machado ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 10, PAGES: 1
16858
TITLE: A Spherical Gaussian Framework for Bayesian Monte Carlo Rendering of Glossy Surfaces Full Text
AUTHORS: Ricardo Marques; Christian Bouville; Mickael Ribardiere; Luis Paulo Santos ; Kadi Bouatouch;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 19, ISSUE: 10, PAGES: 1619-1632
AUTHORS: Ricardo Marques; Christian Bouville; Mickael Ribardiere; Luis Paulo Santos ; Kadi Bouatouch;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 19, ISSUE: 10, PAGES: 1619-1632
16859
TITLE: A Statistical Classifier for Assessing the Level of Stress from the Analysis of Interaction Patterns in a Touch Screen
AUTHORS: Carneiro, D ; Paulo Novais ; Gomes, M ; Oliveira, PM ; Neves, J ;
PUBLISHED: 2013, SOURCE: 7th Int Conf on Soft Comp Models in Industrial and Environm Applications/5th Computational Intelligence in Security for Information Syst/3rd Int Conf on EUropean Transnational Educ in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 188, PAGES: 257-+
AUTHORS: Carneiro, D ; Paulo Novais ; Gomes, M ; Oliveira, PM ; Neves, J ;
PUBLISHED: 2013, SOURCE: 7th Int Conf on Soft Comp Models in Industrial and Environm Applications/5th Computational Intelligence in Security for Information Syst/3rd Int Conf on EUropean Transnational Educ in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 188, PAGES: 257-+
16860
TITLE: A Stent-Graft Endoleakage Monitor: Telemetry System Based on Inductive-Coupling Transmission for Implantable Pressure Sensors
AUTHORS: Cristina Oliveira; Nuno Almeida; Jose Machado da Silva ;
PUBLISHED: 2013, SOURCE: 3rd Portuguese Bioengineering Meeting in 2013 IEEE 3RD PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Cristina Oliveira; Nuno Almeida; Jose Machado da Silva ;
PUBLISHED: 2013, SOURCE: 3rd Portuguese Bioengineering Meeting in 2013 IEEE 3RD PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
