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

531 Team Members
Filters -> Year: 2025
5321
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5, PÁGINAS: 429-443
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5323
TÍTULO: Target Oriented Relational Model Finding
AUTORES: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411, PÁGINAS: 17-31
INDEXADO EM: Scopus DBLP CrossRef: 11
5324
TÍTULO: Testing Advanced Driver Assistance Systems with a Serious-Game-Based Human Factors Analysis Suite
AUTORES: Joao S V Goncalves; Rosaldo J F Rossetti ; Jacob, J ; Joel Goncalves; Olaverri Monreal, C; Antonio Coelho ; Rui Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: IEEE Intelligent Vehicles Symposium (IV) in 2014 IEEE INTELLIGENT VEHICLES SYMPOSIUM PROCEEDINGS, PÁGINAS: 13-18
INDEXADO EM: Scopus WOS CrossRef: 8
5325
TÍTULO: Testing Advanced Driver Assistance Systems with a serious-game-based human factors analysis suite
AUTORES: João S V Gonçalves; Rosaldo J F Rossetti ; João Tiago Pinheiro Neto Jacob; Joel Gonçalves; Cristina Olaverri Monreal; António Leça Coelho; Rui Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: 2014 IEEE Intelligent Vehicles Symposium Proceedings, Dearborn, MI, USA, June 8-11, 2014, PÁGINAS: 13-18
INDEXADO EM: DBLP
5326
TÍTULO: The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014)  Full Text
AUTORES: Joao Carlos Antunes Leitao; Ricardo Manuel Pereira Vilaça ;
PUBLICAÇÃO: 2014, FONTE: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, SRDSW 2014 in 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, PÁGINAS: 1
INDEXADO EM: Scopus DBLP CrossRef
5327
TÍTULO: The arrowhead approach for SOA application development and documentation
AUTORES: Blomstedt, F; Ferreira, LL ; Klisics, M; Chrysoulas, C; De Soria, IM; Morin, B; Zabasta, A; Eliasson, J; Johansson, M; Varga, P;
PUBLICAÇÃO: 2014, FONTE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PÁGINAS: 2631-2637
INDEXADO EM: Scopus CrossRef
5328
TÍTULO: The arrowhead approach for SOA application development and documentation
AUTORES: Blomstedt, F; Ferreira, LL ; Klisics, M; Chrysoulas, C; De Soria, IM; Morin, B; Zabasta, A; Eliasson, J; Johansson, M; Varga, P;
PUBLICAÇÃO: 2014, FONTE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PÁGINAS: 2631-2637
INDEXADO EM: Scopus
5329
TÍTULO: The Arrowhead Approach for SOA Application Development and Documentation
AUTORES: Fredrik Blomstedt; Luis Lino Ferreira ; Markus Klisics; Christos Chrysoulas; Iker Martinez de Soria; Brice Morin; Anatolijs Zabasta; Jens Eliasson; Mats Johansson; Pal Varga;
PUBLICAÇÃO: 2014, FONTE: 40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, PÁGINAS: 2631-2637
INDEXADO EM: WOS
5330
TÍTULO: The challenge of time-predictability in modern many-core architectures
AUTORES: Nelis, V; Yomsi, PM; Pinho, LM ; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLICAÇÃO: 2014, FONTE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39, PÁGINAS: 63-72
INDEXADO EM: Scopus
5331
TÍTULO: The concept of "ba" applied to software knowledge
AUTORES: Nuno Flores ; Ademar Aguiar ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2014, FONTE: 7th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014 in Proceedings of the 7th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014, Hyderabad, India, June 2-3, 2014, PÁGINAS: 95-98
INDEXADO EM: Scopus DBLP CrossRef
5332
TÍTULO: The Dendro research data management platform: Applying ontologies to long-term preservation in a collaborative environment
AUTORES: João Rocha da Silva ; João Aguiar Castro; Cristina Ribeiro ; João Correia Lopes ;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the 11th International Conference on Digital Preservation, iPRES 2014, Melbourne, Australia, October 6 - 10, 2014
INDEXADO EM: DBLP
5333
TÍTULO: The Fifth Empire The reinterpretation of Portuguese and European history in an action adventure game
AUTORES: Antonio Coelho ; Leonel Dias ; Rui Almeida; Nuno Castro; Pedro Goncalves;
PUBLICAÇÃO: 2014, FONTE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
INDEXADO EM: Scopus WOS CrossRef
5334
TÍTULO: The harmonic and noise information of the glottal pulses in speech  Full Text
AUTORES: Ricardo Sousa ; Anibal Ferreira ; Paavo Alku;
PUBLICAÇÃO: 2014, FONTE: BIOMEDICAL SIGNAL PROCESSING AND CONTROL, VOLUME: 10, NÚMERO: 1, PÁGINAS: 137-143
INDEXADO EM: Scopus WOS CrossRef: 4
5335
TÍTULO: The influence of internal and external variables in the export performance
AUTORES: Mafalda Roxo ; Susana C e Silva; Ana Lisboa;
PUBLICAÇÃO: 2014
INDEXADO EM: Handle
5336
TÍTULO: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTORES: João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2014, FONTE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PÁGINAS: 75-80
INDEXADO EM: Scopus DBLP CrossRef: 4
5337
TÍTULO: The Modelery: A Collaborative Web Based Repository
AUTORES: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, NÚMERO: PART 6, PÁGINAS: 1-16
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5338
TÍTULO: The Related-Key Analysis of Feistel Constructions
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014, PÁGINAS: 93
INDEXADO EM: DBLP
5339
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
5340
TÍTULO: ThumbCam: Returning to single touch interactions to explore 3D virtual environments. Returning to single touch interactions to explore 3D virtual environments
AUTORES: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLICAÇÃO: 2014, FONTE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014, PÁGINAS: 403-408
INDEXADO EM: Scopus DBLP CrossRef

Results per Page: 20.
Página 267 de 424. Total de resultados: 8471.