Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 24960

1714 Team Members
Filters -> Year: 2026
14241
TITLE: A logic for n-dimensional hierarchical refinement  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PAGES: 40-56
INDEXED IN: Scopus WOS DBLP CrossRef: 1
14242
TITLE: A Logic for Robotics?  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXED IN: Scopus WOS CrossRef: 1
14243
TITLE: A Low Power Clocked Integrated-and-Fire Modulator for UWB Applications
AUTHORS: Iman Kianpour ; Bilal Hussain ; Vitor G Tavares ; Helio S Mendonca ;
PUBLISHED: 2015, SOURCE: 2015 Conference on Design of Circuits and Integrated Systems (DCIS) in 2015 Conference on Design of Circuits and Integrated Systems (DCIS)
INDEXED IN: Scopus WOS CrossRef
14244
TITLE: A Low-Power Multi-Tanh OTA with Very Low Harmonic Distortion
AUTHORS: Iman Kianpour ; Bilal Hussain ; Vitor Grade Tavares ; Helio S Mendonca ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLUME: 2015-July, PAGES: 645-649
INDEXED IN: Scopus WOS CrossRef: 4
14245
TITLE: A Methodology for Creating an Adapted Command Language for Driving an Intelligent Wheelchair
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 80, ISSUE: 3-4, PAGES: 609-623
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
14246
TITLE: A methodology for sustainable and inclusive local energy planning  Full Text
AUTHORS: Ana Rita Neves; Vitor Leal ; Joao Carlos Lourenco ;
PUBLISHED: 2015, SOURCE: SUSTAINABLE CITIES AND SOCIETY, VOLUME: 17, PAGES: 110-121
INDEXED IN: Scopus WOS CrossRef: 44
14247
TITLE: A microscope for the data centre
AUTHORS: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M ; Filipe de Faria Pacheco ; Tovar, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, ISSUE: 3-4, PAGES: 193-203
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
14248
TITLE: A Mixed Reality Game using 3Pi Robots - "PiTanks"
AUTHORS: Hugo Costa; Peter Cebola; Tiago Cunha; Armando Sousa ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: Scopus WOS CrossRef: 3
14249
TITLE: A Mobile Sensing Approach to Stress Detection and Memory Activation for Public Bus Drivers
AUTHORS: Rodrigues, JGP; Kaiseler, M; Aguiar, A ; Cunha, JPS ; Barros, J;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 16, ISSUE: 6, PAGES: 3294-3303
INDEXED IN: Scopus WOS DBLP CrossRef: 52
14250
TITLE: A Modified Negative Selection Algorithm Applied in the Diagnosis of Voltage Disturbances in Distribution Electrical Systems
AUTHORS: Fernando P Lima; Carlos R Minussi; Ricardo B Bessa ; José Nuno Fidalgo ;
PUBLISHED: 2015, SOURCE: 2015 18th International Conference on Intelligent System Application to Power Systems (ISAP) in 2015 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
INDEXED IN: Scopus WOS CrossRef: 1
14251
TITLE: A Modular Sampling Framework for Flexible Traffic Analysis
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2015 23RD INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 200-204
INDEXED IN: Scopus WOS CrossRef: 3
14252
TITLE: A modular sampling framework for flexible traffic analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18, 2015, PAGES: 200-204
INDEXED IN: DBLP
14253
TITLE: A MULTI-AGENT BROKERAGE PLATFORM FOR MEDIA CONTENT RECOMMENDATION
AUTHORS: Veloso, B ; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, VOLUME: 25, ISSUE: 3, PAGES: 513-527
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Handle
14254
TITLE: A multi-agent system tool for strategic planning in small-lot production environments
AUTHORS: Barbosa, J ; Leitão, P ; Inden, U; Mascioni, F;
PUBLISHED: 2015, SOURCE: Cutter IT Journal, VOLUME: 28, ISSUE: 4, PAGES: 29-36
INDEXED IN: Scopus Handle
14255
TITLE: A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution
AUTHORS: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 1925-1932
INDEXED IN: Scopus WOS CrossRef: 28
14256
TITLE: A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder
AUTHORS: Salvini, R; Dias, RD; Lafer, B; Dutra, I ;
PUBLISHED: 2015, SOURCE: 15th World Congress on Health and Biomedical Informatics, MEDINFO 2015 in MEDINFO 2015: EHEALTH-ENABLED HEALTH, VOLUME: 216, PAGES: 741-745
INDEXED IN: Scopus WOS DBLP CrossRef
14257
TITLE: A multi-relational model for depression relapse in patients with bipolar disorder by means of a machine learning approach  Full Text
AUTHORS: Dias, R; Salvini, R; Dutra, I ; Lafer, B;
PUBLISHED: 2015, SOURCE: BIPOLAR DISORDERS, VOLUME: 17, PAGES: 128-128
INDEXED IN: WOS
14258
TITLE: A multi-spot exploration of the topological structures of the reconstructed phase-space for the detection of cardiac murmurs
AUTHORS: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PAGES: 4194-4197
INDEXED IN: Scopus WOS DBLP CrossRef: 4
14259
TITLE: A neighborhood search technique for the unrelated parallel-machines scheduling
AUTHORS: Santos, A; Madureira, A ; Varela, LR ;
PUBLISHED: 2015, SOURCE: Romanian Review Precision Mechanics, Optics and Mechatronics, VOLUME: 2015, ISSUE: 48, PAGES: 74-80
INDEXED IN: Scopus
14260
TITLE: A new cluster-based oversampling method for improving survival prediction of hepatocellular carcinoma patients  Full Text
AUTHORS: Santos, MS ; Abreu, PH ; Garcia Laencina, PJ; Simao, A; Carvalho, A;
PUBLISHED: 2015, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 58, PAGES: 49-59
INDEXED IN: Scopus WOS DBLP CrossRef: 167

Results per Page: 20.
Page 713 of 1248. Total results: 24960.