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

1699 Team Members
Filters -> Year: 2024
5881
TITLE: Fall-Prevention Exergames Using Balance Board Systems
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: 17th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2019 in Human-Computer Interaction - INTERACT 2019 - 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II, VOLUME: 11747, PAGES: 406-426
INDEXED IN: Scopus DBLP CrossRef
5882
TITLE: Fast Heuristic-Based GPU Compiler Sequence Specialization
AUTHORS: Nobre, R; Reis, L; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
INDEXED IN: WOS DBLP CrossRef: 1
5884
TITLE: FASTEN: EU-Brazil cooperation in IoT for manufacturing. The Embraer use
AUTHORS: Ricardo Reis; Flávio Diniz; Luciana Mizioka; Rosana Yamasaki; Gléverson Lemos; Marta Quintiães; Ruben Menezes; Narciso Caldas ; Roberto Vita; Ralph Schultz; Rafael Arrais ; Ariane Pereira;
PUBLISHED: 2019, SOURCE: MATEC Web of Conferences, VOLUME: 304, PAGES: 04007
INDEXED IN: CrossRef: 1
5885
TITLE: FBG two-dimensional vibration sensor for power transformers
AUTHORS: Catarina S Monteiro ; Vaz, A ; Viveiros, D ; Linhares, C; Tavares, SMO; Mendes, H; Susana O. Silva ; Marques, PVS ; Frazao, O ;
PUBLISHED: 2019, SOURCE: 7th European Workshop on Optical Fibre Sensors (EWOFS) in SEVENTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS (EWOFS 2019), VOLUME: 11199
INDEXED IN: Scopus WOS CrossRef: 2
5886
TITLE: Feature-enriched author ranking in incomplete networks
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5887
TITLE: Femtosecond Laser Micromachining of Fabry-Pérot Interferometers for Magnetic Field Sensing  Full Text
AUTHORS: João M Maia ; Vítor A Amorim ; Duarte Viveiros; Marques, PVS;
PUBLISHED: 2019, SOURCE: EPJ Web of Conferences, VOLUME: 215, PAGES: 13001
INDEXED IN: CrossRef: 1
5888
TITLE: Femtosecond Laser Micromachining of Fabry-Perot Interferometers in Fused Silica for Refractive Index Sensing
AUTHORS: Joao M Maia ; Vitor A Amorim ; Duarte Viveiros ; Marques, PVS ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
INDEXED IN: Scopus WOS CrossRef
5889
TITLE: Fiber Microsphere Coupled in a Taper for a Large Curvature Range
AUTHORS: Paulo Robalinho ; Orlando Frazao ;
PUBLISHED: 2019, SOURCE: FIBERS, VOLUME: 7, ISSUE: 10, PAGES: 87
INDEXED IN: Scopus WOS CrossRef
5890
TITLE: Fiber-integrated phase-change reconfigurable optical attenuator
AUTHORS: Tiago Martins; Behrad Gholipour; Davide Piccinotti; Kevin F MacDonald; Anna C Peacock; Orlando Frazao ; Nikolay I Zheludev;
PUBLISHED: 2019, SOURCE: APL PHOTONICS, VOLUME: 4, ISSUE: 11, PAGES: 111301
INDEXED IN: Scopus WOS CrossRef: 15
5891
TITLE: Finding Dominant Nodes Using Graphlets
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2019 in Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019., VOLUME: 881, PAGES: 77-89
INDEXED IN: Scopus DBLP CrossRef: 1
5892
TITLE: Flexible on Demand Transport Services (FDTS): The future of mobility systems
AUTHORS: Barreto, L. ; Antonio Amaral ; Sara Baltazar;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Engineering, Technology and Innovation / 25th ICE/IEEE International Technology Management Conference (ITMC) in 2019 IEEE INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION (ICE/ITMC)
INDEXED IN: Scopus WOS CrossRef: 7
5893
TITLE: FLIGBY - A Serious Game Tool to Enhance Motivation and Competencies in Entrepreneurship
AUTHORS: Zoltán Buzády; Fernando L Almeida ;
PUBLISHED: 2019, SOURCE: Informatics, VOLUME: 6, ISSUE: 3, PAGES: 27
INDEXED IN: DBLP
5894
TITLE: FLIGBY -A Serious Game Tool to Enhance Motivation and Competencies in Entrepreneurship
AUTHORS: Zoltan Buzady; Fernando Almeida ;
PUBLISHED: 2019, SOURCE: INFORMATICS-BASEL, VOLUME: 6, ISSUE: 3, PAGES: 27
INDEXED IN: Scopus WOS CrossRef: 36
5895
TITLE: Flow Monitoring System for IoT Networks
AUTHORS: Leonel Santos; Carlos Rabadão ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 420-430
INDEXED IN: Scopus DBLP CrossRef: 7
5896
TITLE: Fluids of light in atomic systems: from superfluidity to quantum simulations
AUTHORS: Nuno A Silva ; Ferreira, TD ; Guerreiro, A ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
INDEXED IN: Scopus WOS CrossRef
5897
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
5898
TITLE: Formal security analysis of LoRaWAN  Full Text
AUTHORS: Eldefrawy, M; Butun, I; Pereira, N ; Gidlund, M;
PUBLISHED: 2019, SOURCE: COMPUTER NETWORKS, VOLUME: 148, PAGES: 328-339
INDEXED IN: Scopus WOS CrossRef: 65
5899
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
INDEXED IN: Scopus WOS DBLP CrossRef: 8
5900
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 295 of 927. Total results: 18529.