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

531 Team Members
Filters -> Year: 2024
5861
TITLE: The role of social networks in distributed informal information systems for innovation
AUTHORS: Vasconcelos, V; Campos, P ;
PUBLISHED: 2012, SOURCE: Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, PAGES: 60-75
INDEXED IN: Scopus CrossRef Unpaywall
5862
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
INDEXED IN: Scopus WOS DBLP CrossRef: 67
5863
TITLE: Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum
AUTHORS: Joao Gomes Fonseca; Antonio H J Moreira; Pedro L Rodrigues; Jaime C Fonseca ; Pinho, ACM ; Jorge Correia Pinto ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging, Tomography, and Therapy in MEDICAL IMAGING 2012: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, VOLUME: 8320
INDEXED IN: Scopus WOS CrossRef
5864
TITLE: Time mesh: An educational historical game
AUTHORS: David Gouveia; Duarte Lopes; Carlos Vaz De Carvalho; Ricardo Batista ;
PUBLISHED: 2012, SOURCE: Proceedings 2012 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, DIGITEL 2012, PAGES: 171-173
INDEXED IN: Scopus CrossRef Handle
5865
TITLE: Towards a Catalog of Spreadsheet Smells
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
INDEXED IN: Scopus WOS DBLP CrossRef Handle
5866
TITLE: Towards a framework to evaluate and improve the quality of implementation of CMMI® practices
AUTHORS: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PAGES: 361-365
INDEXED IN: Scopus DBLP CrossRef: 3
5867
TITLE: Towards a linear algebra of programming  Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 4-6, PAGES: 433-458
INDEXED IN: Scopus WOS CrossRef: 17
5868
TITLE: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
INDEXED IN: Scopus WOS DBLP CrossRef: 12
5869
TITLE: Towards an evaluation of bidirectional model-driven spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PAGES: 25-28
INDEXED IN: Scopus DBLP CrossRef: 6
5870
TITLE: Towards an overarching classification model of CSCW and groupware: A socio-technical perspective
AUTHORS: Cruz, A ; Correia, A ; Paredes, H ; Fonseca, B ; Morgado, L ; Martins, P ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Collaboration and Technology, CRIWG 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7493 LNCS, PAGES: 41-56
INDEXED IN: Scopus DBLP CrossRef: 16
5871
TITLE: Towards linear algebras of components
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 300-303
INDEXED IN: Scopus CrossRef: 3
5872
TITLE: Towards Location-based Augmented Reality games
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PAGES: 318-319
INDEXED IN: Scopus WOS DBLP CrossRef: 7
5873
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
INDEXED IN: Scopus WOS DBLP CrossRef: 9
5874
TITLE: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
INDEXED IN: Scopus WOS
5875
TITLE: Towards the Improvement of Diagnostic Metrics Fault Diagnosis for DSL-Based IPTV Networks using the Renyi Entropy
AUTHORS: Angelos K Marnerides; Simon Malinowski; Ricardo Morla ; Miguel R D Rodrigues ; Hyong S Kim;
PUBLISHED: 2012, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 2779-2784
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5876
TITLE: Towards Utility Maximization in Regression
AUTHORS: Rita P Ribeiro ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 179-186
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5877
TITLE: Trends in ozone concentrations in the Iberian Peninsula by quantile regression and clustering  Full Text
AUTHORS: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLISHED: 2012, SOURCE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PAGES: 184-193
INDEXED IN: Scopus WOS CrossRef Handle
5878
TITLE: Tweens' characterization of digital technologies  Full Text
AUTHORS: Pedro Quelhas Brito ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 59, ISSUE: 2, PAGES: 580-593
INDEXED IN: Scopus WOS CrossRef: 13
5879
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
INDEXED IN: Scopus DBLP CrossRef: 3
5880
TITLE: Typed linear algebra for weigthed (probabilistic) automata
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
INDEXED IN: Scopus CrossRef: 1

Results per Page: 20.
Página 294 de 406. Total de resultados: 8111.