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
4521
TITLE: Reacting Differently to Adverse Ties Promotes Cooperation in Social Networks
AUTHORS: Van Segbroeck, S; Santos, FC ; Lenaerts, T; Pacheco, JM ;
PUBLISHED: 2009, SOURCE: PHYSICAL REVIEW LETTERS, VOLUME: 102, ISSUE: 5
AUTHORS: Van Segbroeck, S; Santos, FC ; Lenaerts, T; Pacheco, JM ;
PUBLISHED: 2009, SOURCE: PHYSICAL REVIEW LETTERS, VOLUME: 102, ISSUE: 5
4522
TITLE: Real time control of plasmas and ECRH systems on TCV Full Text
AUTHORS: Paley, JI; Berrino, J; Coda, S; Cruz, N; Duval, BP; Felici, F; Goodman, TP; Martin, Y; Moret, JM; Piras, F; Rodriques, AP; Santos, B; Varandas, CAF ;
PUBLISHED: 2009, SOURCE: NUCLEAR FUSION, VOLUME: 49, ISSUE: 8, PAGES: 085017
AUTHORS: Paley, JI; Berrino, J; Coda, S; Cruz, N; Duval, BP; Felici, F; Goodman, TP; Martin, Y; Moret, JM; Piras, F; Rodriques, AP; Santos, B; Varandas, CAF ;
PUBLISHED: 2009, SOURCE: NUCLEAR FUSION, VOLUME: 49, ISSUE: 8, PAGES: 085017
4523
TITLE: Reducing the size of Fast Field Cycling NMR Spectrometers based on the use of IGBTs
AUTHORS: Duarte M Sousa ; Gil D Marques ; Pedro J Sebastiao ;
PUBLISHED: 2009, SOURCE: IEEE International Conference on Industrial Technology in 2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-3, PAGES: 367-372
AUTHORS: Duarte M Sousa ; Gil D Marques ; Pedro J Sebastiao ;
PUBLISHED: 2009, SOURCE: IEEE International Conference on Industrial Technology in 2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-3, PAGES: 367-372
4524
TITLE: Regular Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLISHED: 2009, SOURCE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PAGES: 196-+
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLISHED: 2009, SOURCE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PAGES: 196-+
4525
TITLE: Repetitive High-Voltage Solid-State Marx Modulator Design for Various Load Conditions Full Text
AUTHORS: Luis M Redondo ; Jose Fernando Silva ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PLASMA SCIENCE, VOLUME: 37, ISSUE: 8, PAGES: 1632-1637
AUTHORS: Luis M Redondo ; Jose Fernando Silva ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PLASMA SCIENCE, VOLUME: 37, ISSUE: 8, PAGES: 1632-1637
4526
TITLE: Residue-to-binary converters for the moduli set {22n+1-1,2 2n,2n-1}
AUTHORS: Gbolagade, KA; Chaves, R ; Sousa, L ; Cotofana, SD;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Adaptive Science and Technology, ICAST 2009 in ICAST 2009 - 2nd International Conference on Adaptive Science and Technology, PAGES: 26-33
AUTHORS: Gbolagade, KA; Chaves, R ; Sousa, L ; Cotofana, SD;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Adaptive Science and Technology, ICAST 2009 in ICAST 2009 - 2nd International Conference on Adaptive Science and Technology, PAGES: 26-33
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef4527
TITLE: Restoring CSP Satisfiability with MaxSAT PDF
AUTHORS: Inês Lynce; Joao Marques Silva ;
PUBLISHED: 2009, SOURCE: 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009 in Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, VOLUME: 589
AUTHORS: Inês Lynce; Joao Marques Silva ;
PUBLISHED: 2009, SOURCE: 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009 in Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, VOLUME: 589
INDEXED IN: Scopus 
DBLP
Scopus DBLP4528
TITLE: Risk assessment in distribution network investment evaluation: Experience with var methodology
AUTHORS: Messias, R; Carvalho, P ; Santos, C;
PUBLISHED: 2009, SOURCE: 20th International Conference and Exhibition on Electricity Distribution, CIRED 2009 in IET Conference Publications, ISSUE: 550 CP
AUTHORS: Messias, R; Carvalho, P ; Santos, C;
PUBLISHED: 2009, SOURCE: 20th International Conference and Exhibition on Electricity Distribution, CIRED 2009 in IET Conference Publications, ISSUE: 550 CP
INDEXED IN: Scopus CrossRef
Scopus CrossRef4529
TITLE: Rotor cage fault diagnosis in three-phase induction motors based on a current and virtual flux approach Full Text
AUTHORS: Dulce F Pires ; Fernao F Pires ; Martins, JF ; Pires, AJ ;
PUBLISHED: 2009, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 50, ISSUE: 4, PAGES: 1026-1032
AUTHORS: Dulce F Pires ; Fernao F Pires ; Martins, JF ; Pires, AJ ;
PUBLISHED: 2009, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 50, ISSUE: 4, PAGES: 1026-1032
4530
TITLE: Rule Based Fuzzy Cognitive Maps in Socio-Economic Systems
AUTHORS: Joao Paulo Carvalho ; Jose A B Tome;
PUBLISHED: 2009, SOURCE: Joint World Congress of International-Fuzzy-Systems-Association (IFSA)/European Conference of European-Society-for-Fuzzy-Logic-and-Technology (EUSFLAT) in PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, PAGES: 1821-1826
AUTHORS: Joao Paulo Carvalho ; Jose A B Tome;
PUBLISHED: 2009, SOURCE: Joint World Congress of International-Fuzzy-Systems-Association (IFSA)/European Conference of European-Society-for-Fuzzy-Logic-and-Technology (EUSFLAT) in PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, PAGES: 1821-1826
INDEXED IN: Scopus 
WOS
Scopus WOS4531
TITLE: Run-Time Reconfigurable Array using Magnetic RAM
AUTHORS: Victor Silva; Luis B Oliveira ; Jorge R Fernandes ; Mario P Vestias ; Horacio C Neto ;
PUBLISHED: 2009, SOURCE: 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools in PROCEEDINGS OF THE 2009 12TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, ARCHITECTURES, METHODS AND TOOLS, PAGES: 74-81
AUTHORS: Victor Silva; Luis B Oliveira ; Jorge R Fernandes ; Mario P Vestias ; Horacio C Neto ;
PUBLISHED: 2009, SOURCE: 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools in PROCEEDINGS OF THE 2009 12TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, ARCHITECTURES, METHODS AND TOOLS, PAGES: 74-81
4532
TITLE: Scheduling of Head-Sensitive Cascaded Hydro Systems: A Nonlinear Approach
AUTHORS: João P. S. Catalão ; Mariano, SJPS ; Mendes, VMF ; Ferreira, LAFM ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 24, ISSUE: 1, PAGES: 337-346
AUTHORS: João P. S. Catalão ; Mariano, SJPS ; Mendes, VMF ; Ferreira, LAFM ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 24, ISSUE: 1, PAGES: 337-346
4533
TITLE: Scheduling of head-sensitive cascaded hydro systems: A nonlinear approach
AUTHORS: João P. S. Catalão ; S.J.P.S Mariano; V.M.F Mendes; L.A.F.M Ferreira;
PUBLISHED: 2009, SOURCE: 2009 IEEE Power & Energy Society General Meeting
AUTHORS: João P. S. Catalão ; S.J.P.S Mariano; V.M.F Mendes; L.A.F.M Ferreira;
PUBLISHED: 2009, SOURCE: 2009 IEEE Power & Energy Society General Meeting
4534
TITLE: Self-adapting dynamically generated maps for turn-based strategic multiplayer browser games
AUTHORS: Pereira, G; Santos, PA ; Prada, R ;
PUBLISHED: 2009, SOURCE: International Conference on Advances in Computer Entertainment Technology, ACE 2009 in ACM International Conference Proceeding Series, PAGES: 353-356
AUTHORS: Pereira, G; Santos, PA ; Prada, R ;
PUBLISHED: 2009, SOURCE: International Conference on Advances in Computer Entertainment Technology, ACE 2009 in ACM International Conference Proceeding Series, PAGES: 353-356
INDEXED IN: Scopus CrossRef
Scopus CrossRef4535
TITLE: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, PAGES: 396-+
AUTHORS: Cordeiro, L; Fischer, B; Chen, H; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Embedded Software and Systems in 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, PAGES: 396-+
4536
TITLE: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584, PAGES: 161-166
AUTHORS: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584, PAGES: 161-166
4537
TITLE: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces Full Text
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 20, ISSUE: 3, PAGES: 419-432
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 20, ISSUE: 3, PAGES: 419-432
INDEXED IN: Scopus WOS
Scopus WOS4538
TITLE: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces Full Text
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: IEEE Trans. Parallel Distributed Syst., VOLUME: 20, ISSUE: 3, PAGES: 419-432
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2009, SOURCE: IEEE Trans. Parallel Distributed Syst., VOLUME: 20, ISSUE: 3, PAGES: 419-432
4539
TITLE: Simple Media-Aware Packet Discard Algorithms
AUTHORS: Bruno Guedes; Ricardo Lopes Pereira; Antonio Varela; Teresa Vazao ;
PUBLISHED: 2009, SOURCE: International Conference on Information Networking in ICOIN: 2009 INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PAGES: 251-255
AUTHORS: Bruno Guedes; Ricardo Lopes Pereira; Antonio Varela; Teresa Vazao ;
PUBLISHED: 2009, SOURCE: International Conference on Information Networking in ICOIN: 2009 INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PAGES: 251-255
INDEXED IN: Scopus WOS
Scopus WOS4540
TITLE: Simulation of Wind Power Generation with Matrix and Multi-Level Converters: Power Quality Analysis
AUTHORS: Melicio, R ; Mendes, VMF ; João P. S. Catalão ;
PUBLISHED: 2009, SOURCE: International Conference on Electrical Machines in ICEM: 2008 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES, VOLS 1- 4, PAGES: 1822-1827
AUTHORS: Melicio, R ; Mendes, VMF ; João P. S. Catalão ;
PUBLISHED: 2009, SOURCE: International Conference on Electrical Machines in ICEM: 2008 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES, VOLS 1- 4, PAGES: 1822-1827
