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: 25015
1714 Team MembersFilters -> Year: 2026
18021
TITLE: Balancing Market Integration in MASCEM Electricity Market Simulator
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
18022
TITLE: Ball Sensing in a Leg Like Robotic Kicker
AUTHORS: Jonas Logghe; André Dias; José Miguel Almeida; Alfredo Martins ; Eduardo P da Silva;
PUBLISHED: 2012, SOURCE: RoboCup 2012: Robot Soccer World Cup XVI [papers from the 16th Annual RoboCup International Symposium, Mexico City, Mexico, June 18-24, 2012]., VOLUME: 7500, PAGES: 298-309
AUTHORS: Jonas Logghe; André Dias; José Miguel Almeida; Alfredo Martins ; Eduardo P da Silva;
PUBLISHED: 2012, SOURCE: RoboCup 2012: Robot Soccer World Cup XVI [papers from the 16th Annual RoboCup International Symposium, Mexico City, Mexico, June 18-24, 2012]., VOLUME: 7500, PAGES: 298-309
INDEXED IN: 
DBLP
DBLP18023
TITLE: Basic analog circuits with a-GIZO thin-film transistors: Modeling and simulation
AUTHORS: Bahubalindruni, G; Tavares, VG ; Barquinha, P ; Duarte, C ; Martins, R ; Fortunato, E ; De Oliveira, PG ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012 in 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012, PAGES: 261-264
AUTHORS: Bahubalindruni, G; Tavares, VG ; Barquinha, P ; Duarte, C ; Martins, R ; Fortunato, E ; De Oliveira, PG ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012 in 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2012, PAGES: 261-264
18024
TITLE: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery Full Text
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
18025
TITLE: Behavioural and context analysis in an online dispute resolution environment
AUTHORS: Paulo Novais ; Davide R Carneiro ; Marco Gomes ; José Neves ;
PUBLISHED: 2012
AUTHORS: Paulo Novais ; Davide R Carneiro ; Marco Gomes ; José Neves ;
PUBLISHED: 2012
INDEXED IN: 
Handle
Handle18026
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP Handle
DBLP Handle18027
TITLE: Bidirectional Transformation of Model-Driven Spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
18028
TITLE: Bigraphical modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
18029
TITLE: Bio-inspired multi-agent systems for reconfigurable manufacturing systems Full Text
AUTHORS: Paulo Leitao ; Jose Barbosa ; Damien Trentesaux;
PUBLISHED: 2012, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 25, ISSUE: 5, PAGES: 934-944
AUTHORS: Paulo Leitao ; Jose Barbosa ; Damien Trentesaux;
PUBLISHED: 2012, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 25, ISSUE: 5, PAGES: 934-944
18030
TITLE: Biological imaging with high dynamic range using compressive imaging technique
AUTHORS: Mehrdad Abolbashari; Gelareh Babaie; Filipe Magalhaes; Miguel Velhote Correia ; Francisco M Araujo; Awad S Gerges; Faramarz Farahi;
PUBLISHED: 2012, SOURCE: Conference on Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues X in IMAGING, MANIPULATION, AND ANALYSIS OF BIOMOLECULES, CELLS, AND TISSUES X, VOLUME: 8225
AUTHORS: Mehrdad Abolbashari; Gelareh Babaie; Filipe Magalhaes; Miguel Velhote Correia ; Francisco M Araujo; Awad S Gerges; Faramarz Farahi;
PUBLISHED: 2012, SOURCE: Conference on Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues X in IMAGING, MANIPULATION, AND ANALYSIS OF BIOMOLECULES, CELLS, AND TISSUES X, VOLUME: 8225
18031
TITLE: Birefringence swap at the transition to hyperbolic dispersion in metamaterials
AUTHORS: Custodio, LM; Sousa, CT ; Ventura, J ; Teixeira, JM ; Marques, PVS ; Araujo, JP ;
PUBLISHED: 2012, SOURCE: PHYSICAL REVIEW B, VOLUME: 85, ISSUE: 16
AUTHORS: Custodio, LM; Sousa, CT ; Ventura, J ; Teixeira, JM ; Marques, PVS ; Araujo, JP ;
PUBLISHED: 2012, SOURCE: PHYSICAL REVIEW B, VOLUME: 85, ISSUE: 16
18032
TITLE: BIST Design for Analog Cell Matching
AUTHORS: Candido Duarte ; Henrique Cavadas; Pedro Coke; Luis Malheiro; Vitor Grade Tavares ; Pedro Guedes de Oliveira;
PUBLISHED: 2012, SOURCE: 17th IEEE European Test Symposium (ETS) in 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)
AUTHORS: Candido Duarte ; Henrique Cavadas; Pedro Coke; Luis Malheiro; Vitor Grade Tavares ; Pedro Guedes de Oliveira;
PUBLISHED: 2012, SOURCE: 17th IEEE European Test Symposium (ETS) in 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS)
18033
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
INDEXED IN: 
WOS
WOS18034
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: 
Scopus WOS
Scopus WOS18035
TITLE: Blind navigation support system based on Microsoft Kinect
AUTHORS: Vitor Filipe ; Filipe Fernandes; Hugo Fernandes ; Antonio Sousa ; Hugo Paredes; Joao Barroso ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
AUTHORS: Vitor Filipe ; Filipe Fernandes; Hugo Fernandes ; Antonio Sousa ; Hugo Paredes; Joao Barroso ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
18036
TITLE: Bottom Estimation and Following with the MARES AUV
AUTHORS: Melo, J ; Matos, A ;
PUBLISHED: 2012, SOURCE: OCEANS 2012 MTS/IEEE Hampton Roads Conference: Harnessing the Power of the Ocean in 2012 OCEANS
AUTHORS: Melo, J ; Matos, A ;
PUBLISHED: 2012, SOURCE: OCEANS 2012 MTS/IEEE Hampton Roads Conference: Harnessing the Power of the Ocean in 2012 OCEANS
18037
TITLE: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
INDEXED IN: DBLP 
arXiv
DBLP arXiv18038
TITLE: Bridging between programming exercises formats with BabeLO
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXED IN: Handle
Handle18039
TITLE: Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. efficient causality tracking in distributed storage systems with dotted version vectors
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PAGES: 335-336
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PAGES: 335-336
18040
TITLE: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-442
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-442
