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: 18003
1699 Team MembersFilters -> Year: 2024
13841
TITLE: Contract-Based Slicing
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
13842
TITLE: Contract-based slicing helps on safety reuse
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
13843
TITLE: Control of complex Ginzburg-Landau equation eruptions using intrapulse Raman scattering and corresponding traveling solutions Full Text
AUTHORS: Facao, M ; Carvalho, MI ; Latas, SC ; Ferreira, MF ;
PUBLISHED: 2010, SOURCE: PHYSICS LETTERS A, VOLUME: 374, ISSUE: 48, PAGES: 4844-4847
AUTHORS: Facao, M ; Carvalho, MI ; Latas, SC ; Ferreira, MF ;
PUBLISHED: 2010, SOURCE: PHYSICS LETTERS A, VOLUME: 374, ISSUE: 48, PAGES: 4844-4847
13844
TITLE: Core patterns of object-oriented meta-architectures
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PAGES: 2:1-2:9
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PAGES: 2:1-2:9
13845
TITLE: Correcting routing information through GPS data processing
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 706-711
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 706-711
13846
TITLE: Cost and quality of service analysis of production systems based on the cumulative downtime Full Text
AUTHORS: Jose A Faria ; Eusebio Nunes; Manuel A Matos ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 48, ISSUE: 6, PAGES: 1653-1684
AUTHORS: Jose A Faria ; Eusebio Nunes; Manuel A Matos ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 48, ISSUE: 6, PAGES: 1653-1684
13847
TITLE: CP properties of symmetry-constrained two-Higgs-doublet models
AUTHORS: Ferreira, PM; Maniatis, M; Nachtmann, O; Joao P Silva ;
PUBLISHED: 2010, SOURCE: JOURNAL OF HIGH ENERGY PHYSICS, VOLUME: 2010, ISSUE: 8
AUTHORS: Ferreira, PM; Maniatis, M; Nachtmann, O; Joao P Silva ;
PUBLISHED: 2010, SOURCE: JOURNAL OF HIGH ENERGY PHYSICS, VOLUME: 2010, ISSUE: 8
13848
TITLE: Creation of Partial FPGA Configurations at Run-Time
AUTHORS: Miguel L Silva; Joao Canas Ferreira ;
PUBLISHED: 2010, SOURCE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PAGES: 80-87
AUTHORS: Miguel L Silva; Joao Canas Ferreira ;
PUBLISHED: 2010, SOURCE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PAGES: 80-87
13849
TITLE: Critical Learning Factors to Develop and Sustain the Organisational Knowledge
AUTHORS: Antonio Amaral ; Madalena Araujo ;
PUBLISHED: 2010, SOURCE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 66-69
AUTHORS: Antonio Amaral ; Madalena Araujo ;
PUBLISHED: 2010, SOURCE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 66-69
INDEXED IN: 
WOS
WOS13850
TITLE: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
13851
TITLE: CSCW and Information Systems Planning
AUTHORS: Jose Cabral; Hugo Paredes ; Joao Varajao; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PAGES: 2748-2754
AUTHORS: Jose Cabral; Hugo Paredes ; Joao Varajao; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PAGES: 2748-2754
INDEXED IN: 
Scopus WOS
Scopus WOS13852
TITLE: Customer Relationship Management Systems - Reasons Why Many Municipalities Do Not Have Them
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 131-137
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 131-137
13853
TITLE: Data Model for Procedural Modelling from Textual Descriptions
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
13854
TITLE: Deductive verification of cryptographic software Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
13855
TITLE: Dependability in Aggregation by Averaging PDF
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv13856
TITLE: Deployment and evaluation of a usage based collaborative filtering recommendation system with blacklists
AUTHORS: Luís Lemos; Alípio M Jorge ; José P Leal;
PUBLISHED: 2010
AUTHORS: Luís Lemos; Alípio M Jorge ; José P Leal;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle13857
TITLE: Deriving loss profiles for market purposes
AUTHORS: Fidalgo, JN ; Matos, MA ; Jorge, H ;
PUBLISHED: 2010, SOURCE: 7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010 in IET Conference Publications, VOLUME: 2010, ISSUE: 572 CP
AUTHORS: Fidalgo, JN ; Matos, MA ; Jorge, H ;
PUBLISHED: 2010, SOURCE: 7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010 in IET Conference Publications, VOLUME: 2010, ISSUE: 572 CP
13858
TITLE: Design and Automation of Passive and Active Systems for a School Net Zero Energy Building
AUTHORS: Artur Ribeiro; Joao Ramos; Jose Baptista ;
PUBLISHED: 2010, SOURCE: Conference Portugal SB10 - Sustainable Building Affordable to All in PORTUGAL SB10: SUSTAINABLE BUILDING AFFORDABLE TO ALL - LOW COST SUSTAINABLE SOLUTION, PAGES: 415-421
AUTHORS: Artur Ribeiro; Joao Ramos; Jose Baptista ;
PUBLISHED: 2010, SOURCE: Conference Portugal SB10 - Sustainable Building Affordable to All in PORTUGAL SB10: SUSTAINABLE BUILDING AFFORDABLE TO ALL - LOW COST SUSTAINABLE SOLUTION, PAGES: 415-421
INDEXED IN: WOS
WOS13859
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
INDEXED IN: Scopus
Scopus13860
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Proceedings of the European Conference on Knowledge Management
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Proceedings of the European Conference on Knowledge Management
INDEXED IN: Handle
Handle