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

531 Team Members
Filters -> Year: 2024
6041
TÍTULO: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTORES: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PÁGINAS: 493-495
INDEXADO EM: Scopus DBLP CrossRef
6042
TÍTULO: Using the overlapping community structure of a network of tags to improve text clustering
AUTORES: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PÁGINAS: 239-244
INDEXADO EM: Scopus DBLP CrossRef: 4
6043
TÍTULO: Vehicular sensing: Emergence of a massive urban scanner
AUTORES: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLICAÇÃO: 2012, FONTE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PÁGINAS: 1-14
INDEXADO EM: Scopus DBLP CrossRef: 5
6044
TÍTULO: Verification conditions for single-assignment programs  Full Text
AUTORES: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1264-1270
INDEXADO EM: Scopus DBLP CrossRef: 1
6045
TÍTULO: Verification of MPI Programs Using Session Types
AUTORES: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2012, FONTE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PÁGINAS: 291-293
INDEXADO EM: Scopus DBLP CrossRef: 11 Unpaywall
6046
TÍTULO: Very fast decision rules for multi-class problems  Full Text
AUTORES: Kosina, P; Gama, J ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 795-800
INDEXADO EM: Scopus DBLP CrossRef: 10
6047
TÍTULO: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTORES: Liliana Mendes; Artemisa Rocha Dores; Paula Alexandra Rego; Pedro Miguel Moreira ; Fernando Barbosa ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Armando Sousa ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PÁGINAS: 817-822
INDEXADO EM: Scopus WOS
6048
TÍTULO: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTORES: Liliana Mendes; Artemisa Rocha Dores; Fernando Barbosa; Paula Alexandra Rego ; Pedro Miguel Moreira ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Armando Sousa ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXADO EM: WOS
6049
TÍTULO: Virtual City Neurocognitive Rehabilitation of Acquired Brain Injury
AUTORES: Dores, AR; Miranda, MJ; Carvalho, IP ; Mendes, L; Barbosa, F ; Coelho, A ; de Sousa, L ; Caldas, AC;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXADO EM: Scopus WOS Handle
6050
TÍTULO: Virtual Worlds and Metaverse Platforms. New Communication and Identity Paradigms
AUTORES: Nelson Zagalo; Leonel Morgado ; Ana Boa-Ventura;
PUBLICAÇÃO: 2012
INDEXADO EM: CrossRef Openlibrary
6051
TÍTULO: Visual Analysis of Online Interactions through Social Network Patterns
AUTORES: André Silva; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PÁGINAS: 639-641
INDEXADO EM: Scopus DBLP CrossRef: 6
6052
TÍTULO: Web Accessibility and Digital Businesses: The Potential Economic Value of Portuguese People with Disability
AUTORES: Tania Rocha ; Maximino Bessa ; Ramiro Goncalves ; Emanuel Peres ; Luis Magalhaes ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 56-64
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6053
TÍTULO: Where are we going? Predicting the evolution of individuals
AUTORES: Siddiqui, ZF; Oliveira, M ; Gama, J ; Spiliopoulou, M;
PUBLICAÇÃO: 2012, FONTE: 11th International Symposium on Intelligent Data Analysis, IDA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7619 LNCS, PÁGINAS: 357-368
INDEXADO EM: Scopus DBLP CrossRef: 5
6054
TÍTULO: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PÁGINAS: 82-93
INDEXADO EM: Scopus WOS
6055
TÍTULO: Will it be identity crisis? [Serão crises de identidade?]
AUTORES: Vasconcelos Raposo, J ;
PUBLICAÇÃO: 2012, FONTE: Motricidade, VOLUME: 8, NÚMERO: 4, PÁGINAS: 1-4
INDEXADO EM: Scopus
6056
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks  Full Text
AUTORES: Joao Leitao ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, NÚMERO: 11, PÁGINAS: 2175-2188
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
6057
TÍTULO: 5th Workshop on Wikis for Software Engineering
AUTORES: Ademar Aguiar ; Paulo Merson;
PUBLICAÇÃO: 2011, FONTE: 7th Annual International Symposium on Wikis and Open Collaboration, WikiSym 2011 in Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011, Mountain View, CA, USA, October 3-5, 2011, PÁGINAS: 233-234
INDEXADO EM: Scopus DBLP CrossRef
6058
TÍTULO: A 3D simulation framework for safe ambient-assisted home care
AUTORES: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PÁGINAS: 61-66
INDEXADO EM: Scopus
6059
TÍTULO: A aplicação do E-marketing em empresas de uma região Ultraperiférica - Região Autónoma da Madeira
AUTORES: Sousa, S; Teixeira, MS ; Gonçalves, R ;
PUBLICAÇÃO: 2011, FONTE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, NÚMERO: 7, PÁGINAS: 17-31
INDEXADO EM: Scopus
6060
TÍTULO: A Biased Random Key Genetic Algorithm Approach for Unit Commitment Problem  Full Text
AUTORES: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2011, FONTE: 10th International Symposium on Experimental Algorithms in EXPERIMENTAL ALGORITHMS, VOLUME: 6630, PÁGINAS: 327-339
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle

Results per Page: 20.
Página 303 de 414. Total de resultados: 8279.