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
2681
TITLE: Intricacies of quantum computational paths  Full Text
AUTHORS: Luis Tarrataca; Andreas Wichert ;
PUBLISHED: 2013, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 12, ISSUE: 2, PAGES: 1365-1378
INDEXED IN: Scopus WOS CrossRef
2682
TITLE: Introducing UWS - A Fuzzy Based Word Similarity Function with Good Discrimination Capability: Preliminary results  Full Text
AUTHORS: Joao Paulo Carvalho ; Luisa Coheur ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Fuzzy Systems (FUZZ) in 2013 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ - IEEE 2013)
INDEXED IN: Scopus WOS CrossRef
2683
TITLE: Introduction to the Special Section on Real-Time Demand Response
AUTHORS: João P. S. Catalão ; Javier Contreras; Anastasios Bakirtzis; Jianhui H Wang;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 4, ISSUE: 4, PAGES: 1841-1841
INDEXED IN: Scopus WOS CrossRef: 5
2684
TITLE: Iterative and core-guided MaxSAT solving: A survey and assessment  Full Text
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4, PAGES: 478-534
INDEXED IN: Scopus WOS DBLP CrossRef: 90 Unpaywall
2685
TITLE: JUST.ASK - A MULTI-PRONGED APPROACH TO QUESTION ANSWERING  Full Text
AUTHORS: Ana Cristina Mendes; Luisa Coheur ; Joao Silva; Hugo Rodrigues;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 22, ISSUE: 1
INDEXED IN: Scopus WOS
2686
TITLE: Kinetics of Oxygen Ingress into Wine Bottles Closed with Natural Cork Stoppers of Different Qualities
AUTHORS: Vanda Oliveira ; Paulo Lopes; Miguel Cabral; Helena Pereira ;
PUBLISHED: 2013, SOURCE: AMERICAN JOURNAL OF ENOLOGY AND VITICULTURE, VOLUME: 64, ISSUE: 3, PAGES: 395-399
INDEXED IN: Scopus WOS CrossRef
2687
TITLE: Land cover/land use multiclass classification using GP with geometric semantic operators
AUTHORS: Castelli, M; Silva, S ; Vanneschi, L ; Cabral, A; Vasconcelos, MJ ; Catarino, L; Carreiras, JMB;
PUBLISHED: 2013, SOURCE: 16th European Conference on Applications of Evolutionary Computation, EvoApplications 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7835 LNCS, PAGES: 334-343
INDEXED IN: Scopus CrossRef
2688
TITLE: LARA experiments
AUTHORS: Goncalves, F; Petrov, Z; De F. Coutinho, JG; Nane, R; Sima, VM; Cardoso, JMP ; Werner, S; Bhattacharya, S; Carvalho, T ; Nobre, R; De Sa, J; Teixeira, J; Diniz, PC ; Bertels, K; Constantinides, G; Luk, W; Becker, J; Alves, JC ; Ferreira, JC ; Almeida, GM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 135-179
INDEXED IN: Scopus CrossRef
2689
TITLE: Leveraging web prefetching systems with data deduplication
AUTHORS: Neves, P; Ferreira, P ; Barreto, J ;
PUBLISHED: 2013, SOURCE: 12th Annual IEEE International Symposium on Network Computing and Applications, NCA 2013 in Proceedings - IEEE 12th International Symposium on Network Computing and Applications, NCA 2013, PAGES: 259-262
INDEXED IN: Scopus DBLP CrossRef
2690
TITLE: Light-Weight Time Synchronization For Wireless Sensor Networks
AUTHORS: Frederico Goncalves; Lalith Suresh; Ricardo Lopes Pereira; Joao Trindade; Teresa Vazao ;
PUBLISHED: 2013, SOURCE: Conference on Future Internet Communications (CFIC) in 2013 CONFERENCE ON FUTURE INTERNET COMMUNICATIONS (CFIC)
INDEXED IN: Scopus WOS CrossRef
2691
TITLE: Low Noise Amplifiers with Double Loop Feedback  Full Text
AUTHORS: Miguel A Martins; Koen van Hartingsveldt; Jorge R Fernandes ; Manuel M Silva ; Chris J M Verhoeven;
PUBLISHED: 2013, SOURCE: CIRCUITS SYSTEMS AND SIGNAL PROCESSING, VOLUME: 32, ISSUE: 2, PAGES: 541-558
INDEXED IN: Scopus WOS CrossRef
2692
TITLE: Maximal Falsifiability - Definitions, Algorithms, and Applications
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312, PAGES: 439-456
INDEXED IN: Scopus DBLP CrossRef: 5 Unpaywall
2693
TITLE: Maximum power point tracker for wind energy generation systems using matrix converters
AUTHORS: Afonso, LP; Pinto, SF ; Silva, JF ;
PUBLISHED: 2013, SOURCE: 2013 4th International Conference on Power Engineering, Energy and Electrical Drives, POWERENG 2013 in International Conference on Power Engineering, Energy and Electrical Drives, PAGES: 978-983
INDEXED IN: Scopus CrossRef
2694
TITLE: Meet EDGAR, a tutoring agent at MONSERRATE
AUTHORS: Pedro Fialho; Luísa Coheur; Sérgio Curto; Pedro Cláudio; Ângela Costa; Alberto Abad ; Hugo Meinedo; Isabel Trancoso;
PUBLISHED: 2013, SOURCE: 51st Annual Meeting of the Association for Computational Linguistics, ACL 2013, Proceedings of the Conference System Demonstrations, 4-9 August 2013, Sofia, Bulgaria, VOLUME: 2013-August, PAGES: 61-66
INDEXED IN: Scopus DBLP
2695
TITLE: Mesenchymal stem cells from umbilical cord matrix, adipose tissue and bone marrow exhibit different capability to suppress peripheral blood B, natural killer and T cells  Full Text
AUTHORS: Andreia Ribeiro; Paula Laranjeira; Sandrine Mendes; Isabel Velada ; Cristiana Leite; Pedro Andrade; Francisco Santos ; Ana Henriques; Mario Graos; Carla M P Cardoso; Antonio Martinho; MLuisa Pais; Claudia Lobato da Silva; Joaquim Cabral; Helder Trindade; Artur Paiva;
PUBLISHED: 2013, SOURCE: STEM CELL RESEARCH & THERAPY, VOLUME: 4, ISSUE: 5, PAGES: 125
INDEXED IN: Scopus WOS CrossRef: 117
2696
TITLE: Message from the ARM 2013 editors and chairs
AUTHORS: Ferreira, P ; Veiga, L ;
PUBLISHED: 2013, SOURCE: 12th International Workshop on Adaptive and Reflective Middleware, ARM 2013 - Co-located with ACM/IFIP/USENIX 14th International Middleware Conference, Middleware 2013 in Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware, ARM 2013 - Co-located with ACM/IFIP/USENIX 14th International Middleware Conference, Middleware 2013
INDEXED IN: Scopus
2697
TITLE: Message from the cloudDP'2013 editors and chairs
AUTHORS: Ferreira, P ; Jerzak, Z; Pietzuch, P;
PUBLISHED: 2013, SOURCE: 3rd International Workshop on Cloud Data and Platforms, CloudDP 2013 - Co-located with ACM 13th EuroSys in Proceedings of the 3rd International Workshop on Cloud Data and Platforms, CloudDP 2013 - Co-located with ACM 13th EuroSys
INDEXED IN: Scopus
2698
TITLE: Method to Design General RNS Reverse Converters for Extended Moduli Sets
AUTHORS: Hector Pettenghi ; Ricardo Chaves ; Leonel Sousa ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, VOLUME: 60, ISSUE: 12, PAGES: 877-881
INDEXED IN: Scopus WOS DBLP CrossRef
2699
TITLE: Metrics for character believability in interactive narrative
AUTHORS: Gomes, P; Paiva, A; Martinho, C ; Jhala, A;
PUBLISHED: 2013, SOURCE: 6th International Conference for Interactive Storytelling, ICIDS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8230 LNCS, PAGES: 223-228
INDEXED IN: Scopus CrossRef
2700
TITLE: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTHORS: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLISHED: 2013, SOURCE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044, PAGES: 592-607
INDEXED IN: Scopus DBLP CrossRef Unpaywall

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