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: 6820
112 Team MembersFilters -> Year: 2024
2501
TITLE: Atomic and Molecular Intelligent Tutoring Systems A new architecture for intelligent and interoperable open educational esources
AUTHORS: Gustavo Santos; Joaquim Jorge ;
PUBLISHED: 2013, SOURCE: 13th IEEE Annual International Conference on Advanced Learning Technologies (ICALT) in 2013 IEEE 13TH INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT 2013), PAGES: 138-140
AUTHORS: Gustavo Santos; Joaquim Jorge ;
PUBLISHED: 2013, SOURCE: 13th IEEE Annual International Conference on Advanced Learning Technologies (ICALT) in 2013 IEEE 13TH INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT 2013), PAGES: 138-140
INDEXED IN: 
Scopus 
WOS
Scopus WOS2502
TITLE: Automatic Equivalence Checking of UF+IA Programs
AUTHORS: Nuno P Lopes ; José Monteiro ;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Model Checking Software, SPIN 2013 in Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, VOLUME: 7976, PAGES: 282-300
AUTHORS: Nuno P Lopes ; José Monteiro ;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Model Checking Software, SPIN 2013 in Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, VOLUME: 7976, PAGES: 282-300
INDEXED IN: Scopus 
DBLP
Scopus DBLP2503
TITLE: Automatic word naming recognition for an on-line aphasia treatment system Full Text
AUTHORS: Abad, A ; Pompili, A; Costa, A; Trancoso, I; Fonseca, J; Leal, G; Farrajota, L; Martins, IP ;
PUBLISHED: 2013, SOURCE: COMPUTER SPEECH AND LANGUAGE, VOLUME: 27, ISSUE: 6, PAGES: 1235-1248
AUTHORS: Abad, A ; Pompili, A; Costa, A; Trancoso, I; Fonseca, J; Leal, G; Farrajota, L; Martins, IP ;
PUBLISHED: 2013, SOURCE: COMPUTER SPEECH AND LANGUAGE, VOLUME: 27, ISSUE: 6, PAGES: 1235-1248
2504
TITLE: Automatic word naming recognition for an on-line aphasia treatment system
AUTHORS: Alberto Abad ; Anna Pompili; Ângela Costa; Isabel Trancoso; José G Fonseca; Gabriela Leal; Luisa Farrajota; Isabel P Martins;
PUBLISHED: 2013, SOURCE: Comput. Speech Lang., VOLUME: 27, ISSUE: 6, PAGES: 1235-1248
AUTHORS: Alberto Abad ; Anna Pompili; Ângela Costa; Isabel Trancoso; José G Fonseca; Gabriela Leal; Luisa Farrajota; Isabel P Martins;
PUBLISHED: 2013, SOURCE: Comput. Speech Lang., VOLUME: 27, ISSUE: 6, PAGES: 1235-1248
INDEXED IN: DBLP
DBLP2505
TITLE: Balancing learning and overfitting in genetic programming with interleaved sampling of training data
AUTHORS: Ivo Gonçalves ; Silva, S ;
PUBLISHED: 2013, SOURCE: 16th European Conference on Genetic Programming, EuroGP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7831 LNCS, PAGES: 73-84
AUTHORS: Ivo Gonçalves ; Silva, S ;
PUBLISHED: 2013, SOURCE: 16th European Conference on Genetic Programming, EuroGP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7831 LNCS, PAGES: 73-84
2506
TITLE: Behavioral dynamics under climate change dilemmas
AUTHORS: Santos, FC ; Pacheco, JM;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 113-124
AUTHORS: Santos, FC ; Pacheco, JM;
PUBLISHED: 2013, SOURCE: New Challenges to Philosophy of Science, PAGES: 113-124
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2507
TITLE: BFT-TO: Intrusion Tolerance with Less Replicas
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: COMPUTER JOURNAL, VOLUME: 56, ISSUE: 6, PAGES: 693-715
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: COMPUTER JOURNAL, VOLUME: 56, ISSUE: 6, PAGES: 693-715
2508
TITLE: BioBlaze: Multi-Core SIMD ASIP for DNA Sequence Alignment Full Text
AUTHORS: Nuno Neves ; Nuno Sebastiao; Andre Patricio; David Martins de Matos ; Pedro Tomas ; Paulo Flores ; Nuno Roma ;
PUBLISHED: 2013, SOURCE: IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) in PROCEEDINGS OF THE 2013 IEEE 24TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 13), PAGES: 241-244
AUTHORS: Nuno Neves ; Nuno Sebastiao; Andre Patricio; David Martins de Matos ; Pedro Tomas ; Paulo Flores ; Nuno Roma ;
PUBLISHED: 2013, SOURCE: IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) in PROCEEDINGS OF THE 2013 IEEE 24TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 13), PAGES: 241-244
2509
TITLE: Book recommender prototype based on author's writing style
AUTHORS: Paula Cristina Vaz ; Ricardo Ribeiro ; David Martins de Matos ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 227-228
AUTHORS: Paula Cristina Vaz ; Ricardo Ribeiro ; David Martins de Matos ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 227-228
INDEXED IN: DBLP
DBLP2510
TITLE: Bootstrapping back the climate with self-organization
AUTHORS: Vítor V Vasconcelos; Flávio L Pinheiro; Francisco C Santos ; Jorge M Pacheco;
PUBLISHED: 2013, SOURCE: 12th European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013 in Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013, Sicily, Italy, September 2-6, 2013, PAGES: 182-183
AUTHORS: Vítor V Vasconcelos; Flávio L Pinheiro; Francisco C Santos ; Jorge M Pacheco;
PUBLISHED: 2013, SOURCE: 12th European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013 in Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013, Sicily, Italy, September 2-6, 2013, PAGES: 182-183
2511
TITLE: Bounded Gossip: A gossip protocol for large-scale datacenters Full Text
AUTHORS: Branco, M; Leitao, J ; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 591-596
AUTHORS: Branco, M; Leitao, J ; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 591-596
INDEXED IN: Scopus DBLP
Scopus DBLP2512
TITLE: Brief Announcement: Enhancing Permissiveness in Transactional Memory via Time-Warping
AUTHORS: Diegues, N; Romano, P ;
PUBLISHED: 2013, SOURCE: 27th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 8205, PAGES: 553-554
AUTHORS: Diegues, N; Romano, P ;
PUBLISHED: 2013, SOURCE: 27th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 8205, PAGES: 553-554
INDEXED IN: Scopus WOS
Scopus WOS2513
TITLE: Bumper: Sheltering transactions from conflicts Full Text
AUTHORS: Diegues, NL; Romano, P ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 in Proceedings of the IEEE Symposium on Reliable Distributed Systems, PAGES: 185-194
AUTHORS: Diegues, NL; Romano, P ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 in Proceedings of the IEEE Symposium on Reliable Distributed Systems, PAGES: 185-194
2514
TITLE: Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks Full Text
AUTHORS: Henrique Moniz ; Nuno F Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON MOBILE COMPUTING, VOLUME: 12, ISSUE: 12, PAGES: 2441-2454
AUTHORS: Henrique Moniz ; Nuno F Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON MOBILE COMPUTING, VOLUME: 12, ISSUE: 12, PAGES: 2441-2454
2515
TITLE: Byzantine fault-tolerant state machine replication with twin virtual machines
AUTHORS: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications, ISCC 2013 in 2013 IEEE Symposium on Computers and Communications, ISCC 2013, Split, Croatia, 7-10 July, 2013, PAGES: 398-403
AUTHORS: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications, ISCC 2013 in 2013 IEEE Symposium on Computers and Communications, ISCC 2013, Split, Croatia, 7-10 July, 2013, PAGES: 398-403
2516
TITLE: Byzantine Fault-Tolerant State Machine Replication with Twin Virtual Machines
AUTHORS: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC)
AUTHORS: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC)
INDEXED IN: WOS
WOS2517
TITLE: Byzantine renaming in synchronous systems with t < N Full Text
AUTHORS: Denysyuk, O; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 2013 ACM Symposium on Principles of Distributed Computing, PODC 2013 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PAGES: 210-219
AUTHORS: Denysyuk, O; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 2013 ACM Symposium on Principles of Distributed Computing, PODC 2013 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PAGES: 210-219
2518
TITLE: Capabilities in Systems Engineering: An Overview
AUTHORS: Goncalo Antunes; Jose Borbinha ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 29-42
AUTHORS: Goncalo Antunes; Jose Borbinha ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 29-42
2519
TITLE: Censys: A model for distributed embodied cognition
AUTHORS: Ribeiro, T; Vala, M; Paiva, A ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Intelligent Virtual Agents, IVA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8108 LNAI, PAGES: 58-67
AUTHORS: Ribeiro, T; Vala, M; Paiva, A ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Intelligent Virtual Agents, IVA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8108 LNAI, PAGES: 58-67
INDEXED IN: Scopus CrossRef
Scopus CrossRef2520
TITLE: ChainReaction: A causal+ consistent datastore based on chain replication
AUTHORS: Almeida, S; Leitao, J ; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 8th ACM European Conference on Computer Systems, EuroSys 2013 in Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013, PAGES: 85-98
AUTHORS: Almeida, S; Leitao, J ; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 8th ACM European Conference on Computer Systems, EuroSys 2013 in Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013, PAGES: 85-98
INDEXED IN: Scopus DBLP
Scopus DBLP