Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 18004
1699 Team MembersFilters -> Year: 2024
13701
TITLE: A Branch and Bound Approach for Truss Topology Design Problems with Valid Inequalities Full Text
AUTHORS: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 2177-2180
AUTHORS: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 2177-2180
13702
TITLE: A capacity sharing and stealing strategy for open real-time systems Full Text
AUTHORS: Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, ISSUE: 4-6, PAGES: 163-179
AUTHORS: Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, ISSUE: 4-6, PAGES: 163-179
13703
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PAGES: 151-167
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PAGES: 151-167
13704
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010, PAGES: 339
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010, PAGES: 339
INDEXED IN: 
DBLP
DBLP13705
TITLE: A Collaborative Decision Support Method to Design Performance Evaluation Systems in CNOs
AUTHORS: Rui Pinto Ferreira; Antonio Lucas Soares ;
PUBLISHED: 2010, SOURCE: 11th IFIP WG 5 5 Working Conference on Virtual Enterprises, PRO-VE 2010 in COLLABORATIVE NETWORKS FOR A SUSTAINABLE WORLD, VOLUME: 336, PAGES: 561-568
AUTHORS: Rui Pinto Ferreira; Antonio Lucas Soares ;
PUBLISHED: 2010, SOURCE: 11th IFIP WG 5 5 Working Conference on Virtual Enterprises, PRO-VE 2010 in COLLABORATIVE NETWORKS FOR A SUSTAINABLE WORLD, VOLUME: 336, PAGES: 561-568
13706
TITLE: A Comparative Study of Satellite and Ground-Based Vineyard Phenology
AUTHORS: Mario Cunha ; Andre R S Marcal ; Arlete Rodrigues;
PUBLISHED: 2010, SOURCE: 29th EARSeL Symposium in IMAGIN [E,G] EUROPE, PAGES: 68-77
AUTHORS: Mario Cunha ; Andre R S Marcal ; Arlete Rodrigues;
PUBLISHED: 2010, SOURCE: 29th EARSeL Symposium in IMAGIN [E,G] EUROPE, PAGES: 68-77
INDEXED IN: 
WOS
WOS13707
TITLE: A comparison between voltage and true power based embedded measurements for RF testing
AUTHORS: Mota, P; Da Silva, JM ;
PUBLISHED: 2010, SOURCE: 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010 in Proceedings of the 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010
AUTHORS: Mota, P; Da Silva, JM ;
PUBLISHED: 2010, SOURCE: 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010 in Proceedings of the 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef13708
TITLE: A COMPARISON OF SCORING METRICS FOR PREDICTING THE NEXT NAVIGATION STEP WITH MARKOV MODEL-BASED SYSTEMS Full Text
AUTHORS: Jose Borges ; Mark Levene;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, VOLUME: 9, ISSUE: 4, PAGES: 547-573
AUTHORS: Jose Borges ; Mark Levene;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, VOLUME: 9, ISSUE: 4, PAGES: 547-573
13709
TITLE: A comparison of the vibration characteristics of a rotating machine with a linear and a keyed shaft
AUTHORS: Oliveira, F ; Pelaez, G; Donsion, MP;
PUBLISHED: 2010, SOURCE: 19th International Conference on Electrical Machines, ICEM 2010 in 19th International Conference on Electrical Machines, ICEM 2010
AUTHORS: Oliveira, F ; Pelaez, G; Donsion, MP;
PUBLISHED: 2010, SOURCE: 19th International Conference on Electrical Machines, ICEM 2010 in 19th International Conference on Electrical Machines, ICEM 2010
INDEXED IN: Scopus CrossRef
Scopus CrossRef13710
TITLE: A contribution to the e-framework: a specification of a programming exercise evaluation service
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle13711
TITLE: A Coordination Model for Interactive Components
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
13712
TITLE: A decision support system for generation expansion planning in competitive electricity markets Full Text
AUTHORS: Adelino J C Pereira; Joao Tome Saraiva ;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 7, PAGES: 778-787
AUTHORS: Adelino J C Pereira; Joao Tome Saraiva ;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 7, PAGES: 778-787
13713
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: DBLP
DBLP13714
TITLE: A digital game development education project
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
INDEXED IN: Scopus CrossRef
Scopus CrossRef13715
TITLE: A Facade Tracking System for Outdoor Augmented Reality
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
INDEXED IN: Scopus WOS
Scopus WOS13716
TITLE: A Gap Analysis Methodology for the Team Software Process
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
13717
TITLE: A hybrid Fabry-Perot/Michelson interferometer sensor using a dual asymmetric core microstructured fiber Full Text
AUTHORS: Frazao, O ; Silva, SF ; Viegas, J; Baptista, JM ; Santos, JL ; Roy, P;
PUBLISHED: 2010, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 21, ISSUE: 2, PAGES: 025205
AUTHORS: Frazao, O ; Silva, SF ; Viegas, J; Baptista, JM ; Santos, JL ; Roy, P;
PUBLISHED: 2010, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 21, ISSUE: 2, PAGES: 025205
13718
TITLE: A hybrid GRASP/VND algorithm for two- and three-dimensional bin packing Full Text
AUTHORS: Parreno, F; Alvarez Valdes, R; Oliveira, JF ; Tamarit, JM;
PUBLISHED: 2010, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 179, ISSUE: 1, PAGES: 203-220
AUTHORS: Parreno, F; Alvarez Valdes, R; Oliveira, JF ; Tamarit, JM;
PUBLISHED: 2010, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 179, ISSUE: 1, PAGES: 203-220
13719
TITLE: A Learning Environment for Robotic Production Line Simulation
AUTHORS: Andre Dias ; Nuno Dias ; Daniela Campos; Hugo Ferreira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 179-186
AUTHORS: Andre Dias ; Nuno Dias ; Daniela Campos; Hugo Ferreira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 179-186
INDEXED IN: Scopus WOS
Scopus WOS13720
TITLE: A long-term risk management tool for electricity markets using swarm intelligence
AUTHORS: Azevedo, F ; Vale, ZA ; Oliveira, PBM ; Khodr, HM;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 4, PAGES: 380-389
AUTHORS: Azevedo, F ; Vale, ZA ; Oliveira, PBM ; Khodr, HM;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 4, PAGES: 380-389
