CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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: 8136

531 Team Members
Filters -> Year: 2024
2781
TITLE: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTHORS: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January, PAGES: 668-679
INDEXED IN: Scopus DBLP CrossRef: 1
2782
TITLE: Automatic Test Case Generation from Usage Information
AUTHORS: Silva, P; Paiva, ACR ; André Restivo ; Garcia, JE ;
PUBLISHED: 2018, SOURCE: 11th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 268-271
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2783
TITLE: AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications. An Automatic Parallelization source-to-source tool for C code applications
AUTHORS: Arabnejad, H; Bispo, J ; Barbosa, JG ; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 13-19
INDEXED IN: Scopus WOS DBLP CrossRef Handle
2784
TITLE: Autotuning and Adaptivity in Energy Efficient HPC Systems: The ANTAREX Toolbox. the ANTAREX toolbox
AUTHORS: Cristina Silvano; Gianluca Palermo; Giovanni Agosta; Amir H Ashouri; Davide Gadioli; Stefano Cherubin; Emanuele Vitali; Luca Benini; Andrea Bartolini; Daniele Cesarini; Joao Cardoso ; Joao Bispo ; Pedro Pinto ; Riccardo Nobre; Erven Rohou; Loic Besnard; Imane Lasri; Nico Sanna; Carlo Cavazzoni; Radim Cmar; Jan Martinovic; Katerina Slaninova; Martin Golasowski; Andrea R Beccari; Candida Manelfi; ...More
PUBLISHED: 2018, SOURCE: 15th ACM International Conference on Computing Frontiers in 2018 ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS, PAGES: 270-275
INDEXED IN: Scopus WOS DBLP CrossRef: 9
2785
TITLE: Benchmarking Pub/Sub IoT middleware platforms for smart services
AUTHORS: Carlos Pereira; João Cardoso; Ana Aguiar ; Ricardo Morla ;
PUBLISHED: 2018, SOURCE: J. Reliable Intelligent Environments, VOLUME: 4, ISSUE: 1, PAGES: 25-37
INDEXED IN: Scopus DBLP CrossRef: 15
2786
TITLE: Benefits of EN 301 549 for each group of People with Special Needs
AUTHORS: Martins, M; Goncalves, R ; Godinho, F; Novais, J;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 123-128
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2787
TITLE: Biased Dynamic Sampling for Temporal Network Streams
AUTHORS: Shazia Tabassum ; João Gama ;
PUBLISHED: 2018, SOURCE: 7th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2018 in Complex Networks and Their Applications VII - Volume 1 Proceedings The 7th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2018, Cambridge, UK, December 11-13, 2018., VOLUME: 812, PAGES: 512-523
INDEXED IN: Scopus DBLP CrossRef: 1
2788
TITLE: Bidirectional e-Commerce Platform for Tourism in Low-Density Regions
AUTHORS: Sonia Rodrigues; Ramiro Goncalves ; Mario Sergio Teixeira; Jose Martins ; Frederico Branco ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-5
INDEXED IN: Scopus WOS CrossRef: 2
2789
TITLE: Bio-Measurements Estimation and Support in Knee Recovery through Machine Learning PDF
AUTHORS: João Bernardino; Luis F. Teixeira ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.07521
INDEXED IN: DBLP arXiv
2790
TITLE: Bioinformatics algorithms: Design and implementation in python
AUTHORS: Rocha, M ; Ferreira, PG ;
PUBLISHED: 2018, SOURCE: Bioinformatics Algorithms: Design and Implementation in Python, PAGES: 1-400
INDEXED IN: Scopus
2791
TITLE: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
AUTHORS: Guilherme Borges; Henrique Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira; Bernardo Portela ;
PUBLISHED: 2018, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PAGES: 588
INDEXED IN: DBLP
2792
TITLE: Blockchain-Based PKI for Crowdsourced IoT Sensor Information
AUTHORS: Guilherme Vieira Pinto; João Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2018, SOURCE: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942, PAGES: 248-257
INDEXED IN: Scopus DBLP CrossRef: 2
2793
TITLE: Bridging Automation and Robotics: an Interprocess Communication between IEC 61131-3 and ROS
AUTHORS: Tiago Pinto ; Rafael Arrais ; Germano Veiga ;
PUBLISHED: 2018, SOURCE: 16th IEEE International Conference on Industrial Informatics (INDIN) in 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 1085-1091
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2794
TITLE: Building Virtual Driving Environments From Computer-Made Projects
AUTHORS: Carlos José Campos ; Hugo Filipe Pinto; João Miguel Leitão; João Paulo Pereira; António Fernando Coelho ; Carlos Manuel Rodrigues;
PUBLISHED: 2018, SOURCE: Advances in Multimedia and Interactive Technologies - Interface Support for Creativity, Productivity, and Expression in Computer Graphics, PAGES: 306-320
INDEXED IN: CrossRef
2795
TITLE: Can user and task characteristics be used as predictors of success in health information retrieval sessions?  Full Text
AUTHORS: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2018, SOURCE: INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 23, ISSUE: 3
INDEXED IN: Scopus WOS DBLP
2796
TITLE: Cannabis use: craving and the relationship with anxiety, stress and depression
AUTHORS: Jose Vasconcelos Raposo ; Sergio Couto; Nilton Formiga; Carla M Teixeira;
PUBLISHED: 2018, SOURCE: ACTUALIDADES EN PSICOLOGIA, VOLUME: 32, ISSUE: 125, PAGES: 1-18
INDEXED IN: WOS
2797
TITLE: Case-based reasoning using expert systems to determine electricity reduction in residential buildings
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita Vale; Juan Manuel Corchado;
PUBLISHED: 2018, SOURCE: IEEE Power and Energy Society General Meeting, VOLUME: 2018-August
INDEXED IN: Scopus CrossRef: 3
2798
TITLE: Classification of physical exercise intensity by using facial expression analysis
AUTHORS: Khanal, SR ; Sampaio, J ; Barroso, J ; Filipe, V ;
PUBLISHED: 2018, SOURCE: 2nd International Conference on Computing Methodologies and Communication, ICCMC 2018 in PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTING METHODOLOGIES AND COMMUNICATION (ICCMC 2018), PAGES: 765-770
INDEXED IN: Scopus WOS CrossRef: 8
2799
TITLE: Clustering in the Presence of Concept Drift
AUTHORS: Richard Hugh Moulton; Herna L Viktor; Nathalie Japkowicz; João Gama ;
PUBLISHED: 2018, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2018 in Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part I, VOLUME: 11051, PAGES: 339-355
INDEXED IN: Scopus DBLP CrossRef: 10
2800
TITLE: Clustering-based negotiation profiles definition for local energy transactions
AUTHORS: Angelo Pinto; Tiago Pinto ; Isabel Praca; Zita Vale; Pedro Faria;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018
INDEXED IN: Scopus CrossRef: 2

Results per Page: 20.
Page 140 of 407. Total results: 8136.