Instituto de Engenharia de Sistemas e Computadores (INESC ID)

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

112 Team Members
Filters -> Year: 2024
2321
TITLE: Mid-Air Interactions Above Stereoscopic Interactive Tables
AUTHORS: Mendes, D ; Fonseca, F; Araujo, B; Ferreira, A ; Jorge, J;
PUBLISHED: 2014, SOURCE: IEEE Symposium on 3D User Interfaces (3DUI) in 2014 IEEE SYMPOSIUM ON 3D USER INTERFACES (3DUI), PAGES: 3-10
INDEXED IN: Scopus WOS DBLP CrossRef: 21
2322
TITLE: Mining coherent evolution patterns in education through biclustering PDF
AUTHORS: André Vale; Sara C Madeira ; Antunes, Claudia ;
PUBLISHED: 2014, SOURCE: Proceedings of the 7th International Conference on Educational Data Mining, EDM 2014, London, UK, July 4-7, 2014, PAGES: 391-392
INDEXED IN: DBLP
2323
TITLE: MITRA. byzantine fault-tolerant middleware for transaction processing on replicated databases  Full Text
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ;
PUBLISHED: 2014, SOURCE: ACM SIGMOD Record - SIGMOD Rec., VOLUME: 43, ISSUE: 1, PAGES: 32-38
INDEXED IN: CrossRef: 3
2324
TITLE: MITRA: Byzantine Fault-Tolerant Middleware for Transaction Processing on Replicated Databases  Full Text
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ;
PUBLISHED: 2014, SOURCE: SIGMOD RECORD, VOLUME: 43, ISSUE: 1, PAGES: 32-38
INDEXED IN: Scopus WOS DBLP
2325
TITLE: Mixed biomass pellets for thermal energy production: A review of combustion models  Full Text
AUTHORS: Nunes, LJR; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2014, SOURCE: APPLIED ENERGY, VOLUME: 127, PAGES: 135-140
INDEXED IN: Scopus WOS CrossRef: 127
2326
TITLE: Mobile accessibility  Full Text
AUTHORS: Daniel Goncalves; Markel Vigo; Luis Carrico ;
PUBLISHED: 2014, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 13, ISSUE: 3, PAGES: 255-256
INDEXED IN: Scopus WOS
2328
TITLE: Modeling Energy Demand Dependency in Smart Multi-Energy Systems
AUTHORS: Neyestani, N ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423, PAGES: 259-268
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2329
TITLE: Modeling of chlorine decay in drinking water supply systems using EPANET MSX
AUTHORS: Monteiro, L; Figueiredo, D; Dias, S; Freitas, R; Covas, D ; Menaia, J; Coelho, ST;
PUBLISHED: 2014, SOURCE: 12th International Conference on Computing-and-Control-for-the-Water-Industry (CCWI) in 12TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONTROL FOR THE WATER INDUSTRY, CCWI2013, VOLUME: 70, PAGES: 1192-1200
INDEXED IN: Scopus WOS CrossRef
2330
TITLE: MODELING OF HUMAN EXPOSURE TO BENZENE IN URBAN ENVIRONMENTS  Full Text
AUTHORS: Oxana Tchepel; Daniela Dias; Carla Costa ; Bruno F Santos; Joao Paulo Teixeira;
PUBLISHED: 2014, SOURCE: JOURNAL OF TOXICOLOGY AND ENVIRONMENTAL HEALTH-PART A-CURRENT ISSUES, VOLUME: 77, ISSUE: 14-16, PAGES: 777-795
INDEXED IN: Scopus WOS CrossRef: 8
2331
TITLE: Modeling the Carrier Dependencies on Demand-Side in a Smart Multi-Energy Local Network
AUTHORS: Nilufar Neyestani ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ; Gianfranco Chicco;
PUBLISHED: 2014, SOURCE: Smart Grid Conference in 2014 SMART GRID CONFERENCE (SGC)
INDEXED IN: Scopus WOS CrossRef
2332
TITLE: Modeling the Optimal Behavior of PEV Parking Lots in Energy and Reserve Market
AUTHORS: Nilufar Neyestani ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ; Javier Contreras;
PUBLISHED: 2014, SOURCE: 5th IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe) in 2014 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES CONFERENCE EUROPE (ISGT EUROPE), VOLUME: 2015-January, ISSUE: January
INDEXED IN: Scopus WOS CrossRef: 8
2333
TITLE: Monitoring Performance and Power for Application Characterization with the Cache-Aware Roofline Model
AUTHORS: Diogo Antao; Luis Tanica; Aleksandar Ilic; Frederico Pratas; Pedro Tomas ; Leonel Sousa ;
PUBLISHED: 2014, SOURCE: 10th International Conference on Parallel Processing and Applied Mathematics (PPAM) in PARALLEL PROCESSING AND APPLIED MATHEMATICS (PPAM 2013), PT I, VOLUME: 8384, ISSUE: PART 1, PAGES: 747-760
INDEXED IN: Scopus WOS
2334
TITLE: MSCG: Robust Core-Guided MaxSAT Solving
AUTHORS: Morgado, António ; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: JSAT, VOLUME: 9, PAGES: 129-134
INDEXED IN: DBLP
2335
TITLE: Multi-agent simulation of bilateral contracting in competitive electricity markets  Full Text
AUTHORS: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 131-135
INDEXED IN: Scopus CrossRef Handle
2336
TITLE: Multi-Objective Optimization of Radial Distribution Networks using an Effective Implementation of the epsilon-constraint Method
AUTHORS: Nikolaos G Paterakis; Sergio F Santos ; João P. S. Catalão ; Anastasios G Bakirtzis; Gianfranco Chicco;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
INDEXED IN: Scopus WOS CrossRef
2337
TITLE: Multilevel High-Voltage Pulse Generation Based on a New Modular Solid-State Switch  Full Text
AUTHORS: Luis Lamy Rocha; Jose Fernando Silva ; Luis M Redondo;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON PLASMA SCIENCE, VOLUME: 42, ISSUE: 10, PAGES: 2956-2961
INDEXED IN: Scopus WOS
2338
TITLE: Multiplierless Design of Folded DSP Blocks  Full Text
AUTHORS: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 20, ISSUE: 1, PAGES: 1-24
INDEXED IN: Scopus WOS CrossRef
2339
TITLE: MUS Extraction Using Clausal Proofs
AUTHORS: Anton Belov; Marijn Heule; João Marques Silva ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561, PAGES: 48-57
INDEXED IN: Scopus DBLP CrossRef Unpaywall
2340
TITLE: MUS Extraction Using Clausal Proofs
AUTHORS: Anton Belov; Marijn J H Heule; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561, PAGES: 48-57
INDEXED IN: WOS

Results per Page: 20.
Page 117 of 345. Total results: 6881.