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: 18039
1699 Team MembersFilters -> Year: 2024
12261
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
12262
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
12263
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
12264
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
12265
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)
12266
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
12267
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
12268
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 arXiv12269
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
Handle12270
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
12271
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 DBLP12272
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
12273
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
12274
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
12275
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 DBLP12276
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
12277
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 DBLP12278
TITLE: Bus bunching detection by mining sequences of headway deviations
AUTHORS: Moreira Matias, L ; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PAGES: 77-91
AUTHORS: Moreira Matias, L ; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PAGES: 77-91
12279
TITLE: Bus Bunching detection: A sequence mining approach
AUTHORS: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 13-17
AUTHORS: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 13-17
INDEXED IN: Scopus
Scopus12280
TITLE: Business Model Development for Virtual Enterprises
AUTHORS: Evelyn Paola S Soto Rojas; Ana Cristina Barros ; Americo Lopes de Azevedo ; Antonio Batocchio;
PUBLISHED: 2012, SOURCE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PAGES: 624-634
AUTHORS: Evelyn Paola S Soto Rojas; Ana Cristina Barros ; Americo Lopes de Azevedo ; Antonio Batocchio;
PUBLISHED: 2012, SOURCE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PAGES: 624-634
