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: 24992
1714 Team MembersFilters -> Year: 2026
14321
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
14322
TITLE: A study of risk-aware program transformation
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
14323
TITLE: A Survey of Distributed Data Aggregation Algorithms Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
14324
TITLE: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTHORS: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
AUTHORS: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv14325
TITLE: A survey of task-oriented crowdsourcing Full Text
AUTHORS: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, ISSUE: 2, PAGES: 187-213
AUTHORS: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, ISSUE: 2, PAGES: 187-213
14326
TITLE: A Survey on Factors that Impact Industrial Agent Acceptance
AUTHORS: Leitão, P ; Karnouskos, S;
PUBLISHED: 2015, SOURCE: Industrial Agents: Emerging Applications of Software Agents in Industry, PAGES: 401-429
AUTHORS: Leitão, P ; Karnouskos, S;
PUBLISHED: 2015, SOURCE: Industrial Agents: Emerging Applications of Software Agents in Industry, PAGES: 401-429
14327
TITLE: A survey on smart meeting rooms and open issues Full Text
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
14328
TITLE: A sustainability assessment of advanced materials for novel housing solutions Full Text
AUTHORS: Pouya Samani; Adelio Mendes ; Vitor Leal ; João Miranda Guedes ; Nuno Correia;
PUBLISHED: 2015, SOURCE: BUILDING AND ENVIRONMENT, VOLUME: 92, PAGES: 182-191
AUTHORS: Pouya Samani; Adelio Mendes ; Vitor Leal ; João Miranda Guedes ; Nuno Correia;
PUBLISHED: 2015, SOURCE: BUILDING AND ENVIRONMENT, VOLUME: 92, PAGES: 182-191
14329
TITLE: A system dynamics model to support the management of artisanal dredge fisheries in the south coast of Portugal. A system dynamics model to support the management of artisanal dredge fisheries in the south coast of Portugal Full Text
AUTHORS: H. Martins ; S. Camanho ; Oliveira, M ; B. Gaspar;
PUBLISHED: 2015, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 22, ISSUE: 4, PAGES: 611-634
AUTHORS: H. Martins ; S. Camanho ; Oliveira, M ; B. Gaspar;
PUBLISHED: 2015, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 22, ISSUE: 4, PAGES: 611-634
14330
TITLE: A time synchronization circuit with sub-microsecond skew for multi-hop wired wearable networks Full Text
AUTHORS: Fardin Derogarian; Joao Canas Ferreira ; Vitor M G Grade Tavares ;
PUBLISHED: 2015, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, ISSUE: 8, PAGES: 1029-1038
AUTHORS: Fardin Derogarian; Joao Canas Ferreira ; Vitor M G Grade Tavares ;
PUBLISHED: 2015, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, ISSUE: 8, PAGES: 1029-1038
14331
TITLE: A Two-Level Framework to Fault Diagnosis and Decision Making for Power Transformers
AUTHORS: Shigeaki L Lima; Osvaldo R Saavedra; Vladimiro Miranda ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 30, ISSUE: 1, PAGES: 497-504
AUTHORS: Shigeaki L Lima; Osvaldo R Saavedra; Vladimiro Miranda ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 30, ISSUE: 1, PAGES: 497-504
14332
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
14333
TITLE: A Ubl/ubiquitin switch in the activation of Parkin
AUTHORS: Véronique Sauvé; Asparouh Lilov; Marjan Seirafi; Marta Vranas ; Shafqat Rasool; Guennadi Kozlov; Tara Sprules; Jimin Wang; Jean‐François Trempe; Kalle Gehring;
PUBLISHED: 2015, SOURCE: The EMBO Journal, VOLUME: 34, ISSUE: 20, PAGES: 2492-2505
AUTHORS: Véronique Sauvé; Asparouh Lilov; Marjan Seirafi; Marta Vranas ; Shafqat Rasool; Guennadi Kozlov; Tara Sprules; Jimin Wang; Jean‐François Trempe; Kalle Gehring;
PUBLISHED: 2015, SOURCE: The EMBO Journal, VOLUME: 34, ISSUE: 20, PAGES: 2492-2505
14334
TITLE: A Virtual Reservoir Electricity Market Design Applied to the Brazilian System Using an Agent Based Model
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
14335
TITLE: a-GIZO TFT neural modeling, circuit simulation and validation Full Text
AUTHORS: Pydi Ganga Bahubalindruni; Vitor Grade Tavares ; Pedro Barquinha; Candido Duarte ; Nuno Cardoso; Pedro Guedes de Oliveira; Rodrigo Martins; Elvira Fortunato ;
PUBLISHED: 2015, SOURCE: SOLID-STATE ELECTRONICS, VOLUME: 105, PAGES: 30-36
AUTHORS: Pydi Ganga Bahubalindruni; Vitor Grade Tavares ; Pedro Barquinha; Candido Duarte ; Nuno Cardoso; Pedro Guedes de Oliveira; Rodrigo Martins; Elvira Fortunato ;
PUBLISHED: 2015, SOURCE: SOLID-STATE ELECTRONICS, VOLUME: 105, PAGES: 30-36
14336
TITLE: A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy
AUTHORS: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC ; von Kruger, MA; Pereira, WCA; Vilaca, JL;
PUBLISHED: 2015, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging and Tomography in MEDICAL IMAGING 2015: ULTRASONIC IMAGING AND TOMOGRAPHY, VOLUME: 9419
AUTHORS: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC ; von Kruger, MA; Pereira, WCA; Vilaca, JL;
PUBLISHED: 2015, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging and Tomography in MEDICAL IMAGING 2015: ULTRASONIC IMAGING AND TOMOGRAPHY, VOLUME: 9419
14337
TITLE: Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
AUTHORS: Lindgren, P; Fresk, E; Lindner, M; Lulea, AL; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 5th Embedded Operating System Workshop - Embed With Linux 2015, EWiLi 2015 in CEUR Workshop Proceedings, VOLUME: 1464
INDEXED IN: 
Scopus
Scopus14338
TITLE: Accelerating Recommender Systems using GPUs
AUTHORS: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
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: 879-884
AUTHORS: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
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: 879-884
14339
TITLE: Accelerating Recommender Systems using GPUs PDF
AUTHORS: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.02433
AUTHORS: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.02433
INDEXED IN: DBLP arXiv
DBLP arXiv14340
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
