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
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: 6881
112 Team MembersFilters -> Year: 2024
781
TITLE: DRMaxSAT with MaxHS: First Contact
AUTHORS: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628, PAGES: 239-249
AUTHORS: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628, PAGES: 239-249
782
TITLE: Economic-Reliability Risk-Constrained Scheduling for Resilient-Microgrids Considering Demand Response Actions
AUTHORS: Mostafa Vahedipour Dahraie; Homa Rashidizadeh Kermani; Miadreza Shafie khah; Mohamed Lotfi ; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October, PAGES: 4139-4144
AUTHORS: Mostafa Vahedipour Dahraie; Homa Rashidizadeh Kermani; Miadreza Shafie khah; Mohamed Lotfi ; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), VOLUME: 2019-October, PAGES: 4139-4144
783
TITLE: Effect of electric vehicle parking lots equipped with roof mounted photovoltaic panels on the distribution network
AUTHORS: Mehmet Tan Turan; Yavuz Ates; Ozan Erdinc; Erdin Gokalp; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 109, PAGES: 283-289
AUTHORS: Mehmet Tan Turan; Yavuz Ates; Ozan Erdinc; Erdin Gokalp; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 109, PAGES: 283-289
784
TITLE: Effects of Human vs. Computer- Controlled Characters and Social Identity Cues on Enjoyment Mediation Effects of Presence, Similarity, and Group Identification
AUTHORS: Pena, J; Ghaznavi, J; Brody, N; Prada, R; Martinho, C ; Santos, PA; Damas, H; Dimas, J;
PUBLISHED: 2019, SOURCE: JOURNAL OF MEDIA PSYCHOLOGY-THEORIES METHODS AND APPLICATIONS, VOLUME: 31, ISSUE: 1, PAGES: 35-47
AUTHORS: Pena, J; Ghaznavi, J; Brody, N; Prada, R; Martinho, C ; Santos, PA; Damas, H; Dimas, J;
PUBLISHED: 2019, SOURCE: JOURNAL OF MEDIA PSYCHOLOGY-THEORIES METHODS AND APPLICATIONS, VOLUME: 31, ISSUE: 1, PAGES: 35-47
INDEXED IN: 
Scopus 
WOS
Scopus WOS785
TITLE: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTHORS: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417, PAGES: 159-173
AUTHORS: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417, PAGES: 159-173
786
TITLE: Empathic Robot for Group Learning: A Field Study
AUTHORS: Patricia Alves Oliveira; Pedro Sequeira; Francisco S Melo; Ginevra Castellano; Ana Paiva ;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON HUMAN-ROBOT INTERACTION, VOLUME: 8, ISSUE: 1
AUTHORS: Patricia Alves Oliveira; Pedro Sequeira; Francisco S Melo; Ginevra Castellano; Ana Paiva ;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON HUMAN-ROBOT INTERACTION, VOLUME: 8, ISSUE: 1
INDEXED IN: WOS
WOS787
TITLE: ENHANCING BEAMFORMED FINGERPRINT OUTDOOR POSITIONING WITH HIERARCHICAL CONVOLUTIONAL NEURAL NETWORKS
AUTHORS: Gante, J; Falcao, G ; Sousa, L;
PUBLISHED: 2019, SOURCE: 44th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) in 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), VOLUME: 2019-May, PAGES: 1473-1477
AUTHORS: Gante, J; Falcao, G ; Sousa, L;
PUBLISHED: 2019, SOURCE: 44th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) in 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), VOLUME: 2019-May, PAGES: 1473-1477
788
TITLE: Ethical Governance for Sustainable Development in Higher Education Institutions. Lessons From a Small-Scale University
AUTHORS: Ana Costa Freitas; Paulo Quaresma; Ausenda de Cáceres Balbino; Rosalina Pisco Costa; Inês Secca Ruivo; Luís Rato ; José Godinho Calado;
PUBLISHED: 2019, SOURCE: Advances in Higher Education and Professional Development - Handbook of Research on Ethics, Entrepreneurship, and Governance in Higher Education, PAGES: 214-237
AUTHORS: Ana Costa Freitas; Paulo Quaresma; Ausenda de Cáceres Balbino; Rosalina Pisco Costa; Inês Secca Ruivo; Luís Rato ; José Godinho Calado;
PUBLISHED: 2019, SOURCE: Advances in Higher Education and Professional Development - Handbook of Research on Ethics, Entrepreneurship, and Governance in Higher Education, PAGES: 214-237
INDEXED IN: 
CrossRef
CrossRef789
TITLE: Evaluation of cytotoxicity and genotoxicity induced by oleic acid-coated iron oxide nanoparticles in human astrocytes Full Text
AUTHORS: Natalia Fernandez Bertolez; Carla Costa ; Fatima Brando; Jose Alberto Duarte ; Joao Paulo Teixeira; Eduardo Pasaro; Vanessa Valdiglesias; Blanca Laffon;
PUBLISHED: 2019, SOURCE: ENVIRONMENTAL AND MOLECULAR MUTAGENESIS, VOLUME: 60, ISSUE: 9, PAGES: 816-829
AUTHORS: Natalia Fernandez Bertolez; Carla Costa ; Fatima Brando; Jose Alberto Duarte ; Joao Paulo Teixeira; Eduardo Pasaro; Vanessa Valdiglesias; Blanca Laffon;
PUBLISHED: 2019, SOURCE: ENVIRONMENTAL AND MOLECULAR MUTAGENESIS, VOLUME: 60, ISSUE: 9, PAGES: 816-829
790
TITLE: Evaluation of the utilization of woodchips as fuel for industrial boilers
AUTHORS: Nunes, LJR; Godina, R; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 223, PAGES: 270-277
AUTHORS: Nunes, LJR; Godina, R; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: JOURNAL OF CLEANER PRODUCTION, VOLUME: 223, PAGES: 270-277
791
TITLE: Event Extraction and Representation: A Case Study for the Portuguese Language Full Text
AUTHORS: Paulo Quaresma ; Vitor Beires Nogueira ; Kashyap Raiyani; Roy Bayot;
PUBLISHED: 2019, SOURCE: INFORMATION, VOLUME: 10, ISSUE: 6, PAGES: 205
AUTHORS: Paulo Quaresma ; Vitor Beires Nogueira ; Kashyap Raiyani; Roy Bayot;
PUBLISHED: 2019, SOURCE: INFORMATION, VOLUME: 10, ISSUE: 6, PAGES: 205
792
TITLE: Evolution of Collective Fairness in Hybrid Populations of Humans and Agents
AUTHORS: Santos, FP; Pacheco, JM; Paiva, A ; Santos, FC ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6146-6153
AUTHORS: Santos, FP; Pacheco, JM; Paiva, A ; Santos, FC ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6146-6153
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP793
TITLE: Exogenous Rewards for Promoting Cooperation in Scale-Free Networks PDF
AUTHORS: Theodor Cimpeanu; Han, TA; Francisco C Santos ;
PUBLISHED: 2019, SOURCE: Conference on Artificial Life (ALIFE) - How Can Artificial Life Help Solve Societal Challenges? in ALIFE 2019: THE 2019 CONFERENCE ON ARTIFICIAL LIFE, VOLUME: abs/1905.04964, PAGES: 316-323
AUTHORS: Theodor Cimpeanu; Han, TA; Francisco C Santos ;
PUBLISHED: 2019, SOURCE: Conference on Artificial Life (ALIFE) - How Can Artificial Life Help Solve Societal Challenges? in ALIFE 2019: THE 2019 CONFERENCE ON ARTIFICIAL LIFE, VOLUME: abs/1905.04964, PAGES: 316-323
INDEXED IN: Scopus WOS DBLP 
arXiv
Scopus WOS DBLP arXiv794
TITLE: Exploring Collaborative Interactions Between Robots and Blind People
AUTHORS: Correia, F; Oliveira, R; Bonani, M; Rodrigues, A; Guerreiro, T; Paiva, A ;
PUBLISHED: 2019, SOURCE: 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) in HRI '19: 2019 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, PAGES: 365-365
AUTHORS: Correia, F; Oliveira, R; Bonani, M; Rodrigues, A; Guerreiro, T; Paiva, A ;
PUBLISHED: 2019, SOURCE: 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) in HRI '19: 2019 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, PAGES: 365-365
INDEXED IN: WOS
WOS795
TITLE: Flexible Co-Operation of TCSC and Corrective Topology Control under Wind Uncertainty: An Interval-based Robust Approach
AUTHORS: Ahmad Nikoobakht; Jamshid Aghaei; Mohamed Lotfi ; João P. S. Catalão ; Gerardo J Osorio; Miadreza Shafie khah;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
AUTHORS: Ahmad Nikoobakht; Jamshid Aghaei; Mohamed Lotfi ; João P. S. Catalão ; Gerardo J Osorio; Miadreza Shafie khah;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
796
TITLE: Flying tourist problem: Flight time and cost minimization in complex routes
AUTHORS: Marques, R; Russo, L ; Roma, N;
PUBLISHED: 2019, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 130, PAGES: 172-187
AUTHORS: Marques, R; Russo, L ; Roma, N;
PUBLISHED: 2019, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 130, PAGES: 172-187
797
TITLE: For The Record - A Public Goods Game For Exploring Human-Robot Collaboration
AUTHORS: Filipa Correia; Samuel Mascarenhas; Samuel Gomes; Silvia Tulli; Fernando P Santos; Francisco C Santos ; Rui Prada; Francisco S Melo; Ana Paiva ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 4, PAGES: 2351-2353
AUTHORS: Filipa Correia; Samuel Mascarenhas; Samuel Gomes; Silvia Tulli; Fernando P Santos; Francisco C Santos ; Rui Prada; Francisco S Melo; Ana Paiva ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 4, PAGES: 2351-2353
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP798
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3, PAGES: 695-722
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3, PAGES: 695-722
INDEXED IN: Scopus WOS 
Unpaywall
Scopus WOS Unpaywall799
TITLE: From Lexical to Semantic Features in Paraphrase Identification
AUTHORS: Pedro Fialho; Luísa Coheur; Paulo Quaresma ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 9:1-9:11
AUTHORS: Pedro Fialho; Luísa Coheur; Paulo Quaresma ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 9:1-9:11
INDEXED IN: Scopus DBLP 
Handle
Scopus DBLP Handle800
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
