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
2741
TITLE: Policies for efficient data replication in P2P systems Full Text
AUTHORS: Paiva, J; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 2013 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013 in Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, PAGES: 404-411
AUTHORS: Paiva, J; Rodrigues, L ;
PUBLISHED: 2013, SOURCE: 2013 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013 in Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, PAGES: 404-411
INDEXED IN: Scopus CrossRef
2742
TITLE: Power electronics voltage regulators for distribution transformers
AUTHORS: Lima, FV; 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: 1362-1367
AUTHORS: Lima, FV; 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: 1362-1367
INDEXED IN: Scopus CrossRef
2743
TITLE: Predicting the Future Impact of Academic Publications
AUTHORS: Carolina Bento; Bruno Martins ; Pavel Calado;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 366-377
AUTHORS: Carolina Bento; Bruno Martins ; Pavel Calado;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 366-377
2744
TITLE: Prediction of forest aboveground biomass: An exercise on avoiding overfitting
AUTHORS: Silva, S ; Ingalalli, V; Vinga, S ; Carreiras, JMB; Melo, JB; Castelli, M; Vanneschi, L ; Ivo Gonçalves ; Caldas, J;
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: 407-417
AUTHORS: Silva, S ; Ingalalli, V; Vinga, S ; Carreiras, JMB; Melo, JB; Castelli, M; Vanneschi, L ; Ivo Gonçalves ; Caldas, J;
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: 407-417
2745
TITLE: Prediction of high performance concrete strength using Genetic Programming with geometric semantic genetic operators Full Text
AUTHORS: Mauro Castelli; Leonardo Vanneschi ; Sara Silva;
PUBLISHED: 2013, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 40, ISSUE: 17, PAGES: 6856-6862
AUTHORS: Mauro Castelli; Leonardo Vanneschi ; Sara Silva;
PUBLISHED: 2013, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 40, ISSUE: 17, PAGES: 6856-6862
2746
TITLE: Preface
AUTHORS: Esparcia Alcazar, AI; Silva, S; Sim, K; Cagnoni, S; Agapitos, A; Simoes, A ; Urquhart, N; Cotta, C; De Falco, I; Haasdijk, E; Merelo, JJ; Della Cioppa, A; Squillero, G; De Vega, FF; Tarantino, E; Diwold, K; Zhang, M; Ekart, A; Tettamanzi, A; Eiben, AE; ...More
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
AUTHORS: Esparcia Alcazar, AI; Silva, S; Sim, K; Cagnoni, S; Agapitos, A; Simoes, A ; Urquhart, N; Cotta, C; De Falco, I; Haasdijk, E; Merelo, JJ; Della Cioppa, A; Squillero, G; De Vega, FF; Tarantino, E; Diwold, K; Zhang, M; Ekart, A; Tettamanzi, A; Eiben, AE; ...More
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
INDEXED IN: Scopus
2747
TITLE: Preface: IATEM 2013 Full Text
AUTHORS: Lopes, F; Vale, Z; Sousa, J; Coelho, H ;
PUBLISHED: 2013, SOURCE: 24th International Workshop on Database and Expert Systems Applications, DEXA 2013 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA
AUTHORS: Lopes, F; Vale, Z; Sousa, J; Coelho, H ;
PUBLISHED: 2013, SOURCE: 24th International Workshop on Database and Expert Systems Applications, DEXA 2013 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA
INDEXED IN: Scopus CrossRef
2748
TITLE: PRELIMINARY EXPERIMENTS WITH EVA - SERIOUS GAMES VIRTUAL FIRE DRILL SIMULATOR
AUTHORS: Silva, JFM; Almeida, JE; Pereira, A; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: 27th European Conference on Modelling and Simulation, ECMS 2013 in PROCEEDINGS 27TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2013, PAGES: 221-227
AUTHORS: Silva, JFM; Almeida, JE; Pereira, A; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: 27th European Conference on Modelling and Simulation, ECMS 2013 in PROCEEDINGS 27TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2013, PAGES: 221-227
INDEXED IN: Scopus WOS DBLP
2749
TITLE: Probabilistic Description of Model Set Response in Neuromuscular Blockade
AUTHORS: Conceição Rocha ; João Miranda Lemos; Teresa Mendonça ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: International Conference on Systems Science, ICSS 2013 in Advances in Systems Science - Proceedings of the International Conference on Systems Science 2013, ICSS 2013, Wroclaw, Poland, September 10-12, 2013, VOLUME: 240, PAGES: 405-414
AUTHORS: Conceição Rocha ; João Miranda Lemos; Teresa Mendonça ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: International Conference on Systems Science, ICSS 2013 in Advances in Systems Science - Proceedings of the International Conference on Systems Science 2013, ICSS 2013, Wroclaw, Poland, September 10-12, 2013, VOLUME: 240, PAGES: 405-414
2750
TITLE: Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware, ARM 2013, Beijing, China, December 9-13, 2013
AUTHORS: Paulo Ferreira ; Luís Veiga ;
PUBLISHED: 2013, SOURCE: ARM@Middleware
AUTHORS: Paulo Ferreira ; Luís Veiga ;
PUBLISHED: 2013, SOURCE: ARM@Middleware
INDEXED IN: DBLP
2751
TITLE: Proceedings of the 3rd International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2013, Prague, Czech Republic, April 14-17, 2013
AUTHORS: Paulo Ferreira ; Zbigniew Jerzak; Peter Pietzuch;
PUBLISHED: 2013, SOURCE: CloudDP@EuroSys
AUTHORS: Paulo Ferreira ; Zbigniew Jerzak; Peter Pietzuch;
PUBLISHED: 2013, SOURCE: CloudDP@EuroSys
INDEXED IN: DBLP CrossRef
2752
TITLE: Process Variations-Aware Statistical Analysis Framework for Aging Sensors Insertion Full Text
AUTHORS: Vazquez, JC; Champac, V; Jorge Semião ; Teixeira, IC ; Santos, MB ; Teixeira, JP ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, VOLUME: 29, ISSUE: 3, PAGES: 289-299
AUTHORS: Vazquez, JC; Champac, V; Jorge Semião ; Teixeira, IC ; Santos, MB ; Teixeira, JP ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, VOLUME: 29, ISSUE: 3, PAGES: 289-299
2753
TITLE: Processing Medical Reports to Automatically Populate Ontologies
AUTHORS: Luís Borrego; Paulo Quaresma ;
PUBLISHED: 2013, SOURCE: Enabling Health and Healthcare through ICT - Available, Tailored and Closer, ITCH 2013, Victoria, BC, Canada, February 21-23, 2013, VOLUME: 183, PAGES: 201-205
AUTHORS: Luís Borrego; Paulo Quaresma ;
PUBLISHED: 2013, SOURCE: Enabling Health and Healthcare through ICT - Available, Tailored and Closer, ITCH 2013, Victoria, BC, Canada, February 21-23, 2013, VOLUME: 183, PAGES: 201-205
INDEXED IN: Scopus DBLP
2754
TITLE: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLISHED: 2013, SOURCE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLISHED: 2013, SOURCE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
INDEXED IN: DBLP
2755
TITLE: Proto logic and neural subsymbolic reasoning
AUTHORS: Andreas Wichert ;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, ISSUE: 3, PAGES: 627-643
AUTHORS: Andreas Wichert ;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, ISSUE: 3, PAGES: 627-643
2756
TITLE: Quality user experience in advanced IP video services Full Text
AUTHORS: Antonio Pedro Inacio; Rui Santos Cruz; Mario Serafim Nunes ;
PUBLISHED: 2013, SOURCE: ANNALS OF TELECOMMUNICATIONS-ANNALES DES TELECOMMUNICATIONS, VOLUME: 68, ISSUE: 3-4, PAGES: 119-131
AUTHORS: Antonio Pedro Inacio; Rui Santos Cruz; Mario Serafim Nunes ;
PUBLISHED: 2013, SOURCE: ANNALS OF TELECOMMUNICATIONS-ANNALES DES TELECOMMUNICATIONS, VOLUME: 68, ISSUE: 3-4, PAGES: 119-131
INDEXED IN: Scopus WOS
2757
TITLE: Quality-of-Data for Consistency Levels in Geo-replicated Cloud Data Stores
AUTHORS: Garcia Recuero, A; Esteves, S; Veiga, L ;
PUBLISHED: 2013, SOURCE: 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom) in 2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, VOLUME: 1, PAGES: 164-170
AUTHORS: Garcia Recuero, A; Esteves, S; Veiga, L ;
PUBLISHED: 2013, SOURCE: 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom) in 2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, VOLUME: 1, PAGES: 164-170
2758
TITLE: Quantified Maximum Satisfiability: - A Core-Guided Approach
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962, PAGES: 250-266
AUTHORS: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962, PAGES: 250-266
2759
TITLE: Quantum Iterative Deepening with an Application to the Halting Problem Full Text
AUTHORS: Luis Tarrataca; Andreas Wichert ;
PUBLISHED: 2013, SOURCE: PLOS ONE, VOLUME: 8, ISSUE: 3
AUTHORS: Luis Tarrataca; Andreas Wichert ;
PUBLISHED: 2013, SOURCE: PLOS ONE, VOLUME: 8, ISSUE: 3
2760
TITLE: Quinolin-4(1H)-imines are Potent Antiplasmodial Drugs Targeting the Liver Stage of Malaria Full Text
AUTHORS: Tiago Rodrigues; Filipa P da Cruz; Maria J Lafuente Monasterio; Daniel Goncalves; Ana S Ressurreicao; Ana R Sitoe; Maria R Bronze ; Jiri Gut; Gisbert Schneider; Maria M Mota ; Philip J Rosenthal; Miguel Prudencio ; Francisco Javier Gamo; Francisca Lopes ; Rui Moreira;
PUBLISHED: 2013, SOURCE: JOURNAL OF MEDICINAL CHEMISTRY, VOLUME: 56, ISSUE: 11, PAGES: 4811-4815
AUTHORS: Tiago Rodrigues; Filipa P da Cruz; Maria J Lafuente Monasterio; Daniel Goncalves; Ana S Ressurreicao; Ana R Sitoe; Maria R Bronze ; Jiri Gut; Gisbert Schneider; Maria M Mota ; Philip J Rosenthal; Miguel Prudencio ; Francisco Javier Gamo; Francisca Lopes ; Rui Moreira;
PUBLISHED: 2013, SOURCE: JOURNAL OF MEDICINAL CHEMISTRY, VOLUME: 56, ISSUE: 11, PAGES: 4811-4815