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: 18091
1699 Team MembersFilters -> Year: 2024
12301
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
DBLP12302
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
12303
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP 
Handle
DBLP Handle12304
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
12305
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
12306
TITLE: Biological imaging with high dynamic range using compressive imaging technique
AUTHORS: Mehrdad Abolbashari; Gelareh Babaie; Filipe Magalhaes; Miguel V 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 V 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
12307
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
12308
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)
12309
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
12310
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
12311
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 arXiv12312
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
Handle12313
TITLE: Brief announcement. efficient causality tracking in distributed storage systems with dotted version vectors
AUTHORS: Nuno Preguiça; Carlos Bauqero; Paulo Sérgio Almeida; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
AUTHORS: Nuno Preguiça; Carlos Bauqero; Paulo Sérgio Almeida; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
12314
TITLE: Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors Full Text
AUTHORS: Preguica, N ; Bauqero, C ; Almeida, PS ; Fonte, V ; Goncalves, R;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PAGES: 335-336
AUTHORS: Preguica, N ; Bauqero, C ; Almeida, PS ; Fonte, V ; Goncalves, R;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PAGES: 335-336
INDEXED IN: 
Scopus DBLP
Scopus DBLP12315
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
12316
TITLE: Brillouin effect characterization in all-Raman amplified 4 40 Gb/s WDM system Full Text
AUTHORS: Pontes, MJ; Segatto, MEV; Barbero, APL; Rocco Giraldi, MTM; Rocha, AM ; Neto, B; Costa, JCW; Martinez, MAG; Frazao, O ; Baptista, JM ; Salgado, H ; Teixeira, ALJ ; Andre, PS ;
PUBLISHED: 2012, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 54, ISSUE: 6, PAGES: 1403-1407
AUTHORS: Pontes, MJ; Segatto, MEV; Barbero, APL; Rocco Giraldi, MTM; Rocha, AM ; Neto, B; Costa, JCW; Martinez, MAG; Frazao, O ; Baptista, JM ; Salgado, H ; Teixeira, ALJ ; Andre, PS ;
PUBLISHED: 2012, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 54, ISSUE: 6, PAGES: 1403-1407
12317
TITLE: BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination
AUTHORS: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PAGES: 983-994
AUTHORS: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PAGES: 983-994
12318
TITLE: BRKGA adapted to multiobjective unit commitment: Solving Pareto Frontier for UC Multiobjective Problem using BRKGA SPEA2 NPGA and NSGA II Techniques
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Operations Research and Enterprise Systems, ICORES 2012 in ICORES 2012 - Proceedings of the 1st International Conference on Operations Research and Enterprise Systems, PAGES: 64-72
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Operations Research and Enterprise Systems, ICORES 2012 in ICORES 2012 - Proceedings of the 1st International Conference on Operations Research and Enterprise Systems, PAGES: 64-72
INDEXED IN: Scopus DBLP
Scopus DBLP12319
TITLE: Building a Microscope for the Data Center
AUTHORS: Pereira, N ; Tennina, S; Tovar, E ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Wireless Algorithms, Systems, and Applications (WASA) in WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, WASA 2012, VOLUME: 7405, PAGES: 619-630
AUTHORS: Pereira, N ; Tennina, S; Tovar, E ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Wireless Algorithms, Systems, and Applications (WASA) in WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, WASA 2012, VOLUME: 7405, PAGES: 619-630
12320
TITLE: Building and Exploring Semantic Equivalences Resources
AUTHORS: Gracinda Carvalho; David Martins de Matos ; Vitor Rocio ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 2038-2042
AUTHORS: Gracinda Carvalho; David Martins de Matos ; Vitor Rocio ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 2038-2042
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP