CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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: 10670

535 Team Members
Filters -> Year: 2026
8581
TÍTULO: Variability modelling in the ABS language
AUTORES: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLICAÇÃO: 2011, FONTE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS, PÁGINAS: 204-224
INDEXADO EM: Scopus DBLP CrossRef: 24
8582
TÍTULO: Variance of bioimpedance analysis measurements with physicalactivity and ingestion of food and water
AUTORES: M. Garçês; C. Morais; G. Ribeiro; J. Pereira; M. Garcia; P. Rowcliffe; S. Taboada; A. Santos; Flora Correia; Bruno Oliveira ;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
8583
TÍTULO: Verification conditions for source-level imperative programs  Full Text
AUTORES: Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2011, FONTE: Computer Science Review, VOLUME: 5, NÚMERO: 3, PÁGINAS: 252-277
INDEXADO EM: Scopus DBLP CrossRef: 18
8584
TÍTULO: Virtual LEGO Modelling on Multi-Touch Surfaces
AUTORES: Daniel Mendes ; Alfredo Ferreira ;
PUBLICAÇÃO: 2011, FONTE: 19th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2011: FULL PAPERS PROCEEDINGS, PÁGINAS: 73-80
INDEXADO EM: Scopus WOS
8585
TÍTULO: Virtual recommendation diffusion and co-shopping influence: The role of dyadic network-based interactions
AUTORES: Ana Isabel Torres ; Martins, F;
PUBLICAÇÃO: 2011, FONTE: IADIS International Conference e-Commerce 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS International Conference e-Commerce 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, PÁGINAS: 137-144
INDEXADO EM: Scopus
8586
TÍTULO: Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum
AUTORES: Vilaca, JL ; Moreira, AHJ; L Rodrigues, P; Rodrigues, N ; Fonseca, JC ; Pinho, ACM ; Correia Pinto, J ;
PUBLICAÇÃO: 2011, FONTE: Conference on Medical Imaging 2011 - Visualization, Image-Guided Procedures, and Modeling in MEDICAL IMAGING 2011: VISUALIZATION, IMAGE-GUIDED PROCEDURES, AND MODELING, VOLUME: 7964
INDEXADO EM: Scopus WOS CrossRef: 1
8587
TÍTULO: Virtual Worlds and Metaverse Platforms: New Communication and Identity Paradigms. New Communication and Identity Paradigms
AUTORES: Nelson Zagalo; Leonel Caseiro Morgado ; Ana Boa Ventura;
PUBLICAÇÃO: 2011, FONTE: Advances in Social Networking and Online Communities, PÁGINAS: 1-423
INDEXADO EM: Scopus CrossRef: 12 Openlibrary
8588
TÍTULO: Visualizing online interactions in Moodle
AUTORES: Silva, A; Figueira, A ;
PUBLICAÇÃO: 2011, FONTE: IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, VOLUME: 2, PÁGINAS: 207-210
INDEXADO EM: Scopus
8589
TÍTULO: Visualizing the Evolution of Social Networks  Full Text
AUTORES: Marcia Oliveira ; Joao Gama ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PÁGINAS: 476-490
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
8590
TÍTULO: VPP's Multi-Level Negotiation in Smart Grids and Competitive Electricity Markets
AUTORES: Vale, Z ; Pinto, T ; Morais, H; Praca, I ; Faria, P;
PUBLICAÇÃO: 2011, FONTE: General Meeting of the IEEE-Power-and-Energy-Society (PES) in 2011 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
INDEXADO EM: Scopus WOS CrossRef: 21 Handle
8591
TÍTULO: Wait-Free Shared-Memory Irradiance Caching  Full Text
AUTORES: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLICAÇÃO: 2011, FONTE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, NÚMERO: 5, PÁGINAS: 66-78
INDEXADO EM: Scopus WOS CrossRef: 3
8592
TÍTULO: WebRun
AUTORES: Araujo, P; Dias, T; Castanheira, J; Prata, P ; Barroso, J ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus
8593
TÍTULO: What is the temporal value of web snippets? PDF
AUTORES: Campos, R ; Dias, G; Jorge, AM ;
PUBLICAÇÃO: 2011, FONTE: 1st International Temporal Web Analytics Workshop 2011, TWAW 2011 - In Conjunction with the International World Wide Web Conference, WWW 2011 in CEUR Workshop Proceedings, VOLUME: 707, PÁGINAS: 9-16
INDEXADO EM: Scopus DBLP
8594
TÍTULO: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: Information Services and Use, VOLUME: 31, NÚMERO: 3-4, PÁGINAS: 177-187
INDEXADO EM: Scopus CrossRef
8595
TÍTULO: Wireless Secrecy Regions With Friendly Jamming
AUTORES: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, NÚMERO: 2, PÁGINAS: 256-266
INDEXADO EM: Scopus WOS CrossRef: 147
8596
TÍTULO: Worldwide Consensus  Full Text
AUTORES: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 257-269
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
8597
TÍTULO: "Digital Projects": a reflection and bridges to the future
AUTORES: Regina Teixeira; Joao Varajao ; Maximino Bessa ; Emanuel Peres ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PÁGINAS: 185-191
INDEXADO EM: Scopus WOS
8598
TÍTULO: A BIASED RANDOM KEY GENETIC ALGORITHM APPROACH FOR UNIT COMMITMENT PROBLEM
AUTORES: Roque, LAC; Fontes, DBMM ; Fontes, FACC;
PUBLICAÇÃO: 2010, FONTE: International Conference on Evolutionary Computation (ICEC 2010) in ICEC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION, VOLUME: 1, PÁGINAS: 332-339
INDEXADO EM: Scopus WOS DBLP
8599
TÍTULO: A Branch and Bound Approach for Truss Topology Design Problems with Valid Inequalities  Full Text
AUTORES: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLICAÇÃO: 2010, FONTE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PÁGINAS: 2177-2180
INDEXADO EM: Scopus WOS CrossRef Handle
8600
TÍTULO: A capacity sharing and stealing strategy for open real-time systems  Full Text
AUTORES: Luis Nogueira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, NÚMERO: 4-6, PÁGINAS: 163-179
INDEXADO EM: Scopus WOS CrossRef: 8

Results per Page: 20.
Página 430 de 534. Total de resultados: 10670.