Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 18397

1699 Team Members
Filters -> Year: 2024
14201
TÍTULO: Contract-Based Slicing
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 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, NÚMERO: PART 1, PÁGINAS: 106-120
INDEXADO EM: Scopus WOS DBLP CrossRef
14202
TÍTULO: Contract-based slicing helps on safety reuse
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PÁGINAS: 62-63
INDEXADO EM: Scopus DBLP CrossRef
14203
TÍTULO: Control of complex Ginzburg-Landau equation eruptions using intrapulse Raman scattering and corresponding traveling solutions  Full Text
AUTORES: Facao, M ; Carvalho, MI ; Latas, SC ; Ferreira, MF ;
PUBLICAÇÃO: 2010, FONTE: PHYSICS LETTERS A, VOLUME: 374, NÚMERO: 48, PÁGINAS: 4844-4847
INDEXADO EM: Scopus WOS CrossRef: 11
14204
TÍTULO: Core patterns of object-oriented meta-architectures
AUTORES: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 2:1-2:9
INDEXADO EM: Scopus DBLP CrossRef: 5
14205
TÍTULO: Correcting routing information through GPS data processing
AUTORES: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 706-711
INDEXADO EM: Scopus DBLP CrossRef: 9
14206
TÍTULO: Cost and quality of service analysis of production systems based on the cumulative downtime  Full Text
AUTORES: Jose A Faria ; Eusebio Nunes; Manuel A Matos ;
PUBLICAÇÃO: 2010, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 48, NÚMERO: 6, PÁGINAS: 1653-1684
INDEXADO EM: Scopus WOS CrossRef: 8
14207
TÍTULO: CP properties of symmetry-constrained two-Higgs-doublet models
AUTORES: Ferreira, PM; Maniatis, M; Nachtmann, O; Joao P Silva ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF HIGH ENERGY PHYSICS, VOLUME: 2010, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef
14208
TÍTULO: Creation of Partial FPGA Configurations at Run-Time
AUTORES: Miguel L Silva; Joao Canas Ferreira ;
PUBLICAÇÃO: 2010, FONTE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PÁGINAS: 80-87
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
14209
TÍTULO: Critical Learning Factors to Develop and Sustain the Organisational Knowledge
AUTORES: Antonio Amaral ; Madalena Araujo ;
PUBLICAÇÃO: 2010, FONTE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PÁGINAS: 66-69
INDEXADO EM: WOS
14210
TÍTULO: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTORES: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, NÚMERO: 12, PÁGINAS: 3227-3236
INDEXADO EM: Scopus WOS CrossRef: 56
14211
TÍTULO: CSCW and Information Systems Planning
AUTORES: Jose Cabral; Hugo Paredes ; Joao Varajao; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLICAÇÃO: 2010, FONTE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PÁGINAS: 2748-2754
INDEXADO EM: Scopus WOS
14212
TÍTULO: Customer Relationship Management Systems - Reasons Why Many Municipalities Do Not Have Them
AUTORES: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLICAÇÃO: 2010, FONTE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, NÚMERO: PART 1, PÁGINAS: 131-137
INDEXADO EM: Scopus WOS DBLP CrossRef
14213
TÍTULO: Data Model for Procedural Modelling from Textual Descriptions
AUTORES: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
14214
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3, PÁGINAS: 203-218
INDEXADO EM: Scopus DBLP CrossRef
14215
TÍTULO: Dependability in Aggregation by Averaging PDF
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.6596
INDEXADO EM: DBLP arXiv
14217
TÍTULO: Deriving loss profiles for market purposes
AUTORES: Fidalgo, JN ; Matos, MA ; Jorge, H ;
PUBLICAÇÃO: 2010, FONTE: 7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010 in IET Conference Publications, VOLUME: 2010, NÚMERO: 572 CP
INDEXADO EM: Scopus CrossRef: 1
14218
TÍTULO: Design an extensible metadata editor based on RDF
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
14219
TÍTULO: Design and Automation of Passive and Active Systems for a School Net Zero Energy Building
AUTORES: Artur Ribeiro; Joao Ramos; Jose Baptista ;
PUBLICAÇÃO: 2010, FONTE: Conference Portugal SB10 - Sustainable Building Affordable to All in PORTUGAL SB10: SUSTAINABLE BUILDING AFFORDABLE TO ALL - LOW COST SUSTAINABLE SOLUTION, PÁGINAS: 415-421
INDEXADO EM: WOS
14220
TÍTULO: Design of an extensible metadata editor based on RDF
AUTORES: Lea, JP ; Queiros, R ;
PUBLICAÇÃO: 2010, FONTE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PÁGINAS: 1219-1222
INDEXADO EM: Scopus

Results per Page: 20.
Página 711 de 920. Total de resultados: 18397.