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

531 Team Members
Filters -> Year: 2024
6881
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PÁGINAS: 39-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
6882
TÍTULO: Wikis4SE 2009. wikis for software engineering
AUTORES: Ademar Aguiar; Nuno Flores ; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 5th International Symposium on Wikis and Open Collaboration - WikiSym '09
INDEXADO EM: CrossRef: 1
6883
TÍTULO: Wikis4SE 2009: wikis for software engineering
AUTORES: Ademar Aguiar ; Nuno Flores ; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: 5th International Symposium on Wikis and Open Collaboration, WiKiSym 2009 in Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009
INDEXADO EM: Scopus DBLP CrossRef: 1
6884
TÍTULO: Wikis4SE'2009: Wikis for Software Engineering
AUTORES: Ademar Aguiar ; Uri Dekel; Paulo Merson;
PUBLICAÇÃO: 2009, FONTE: 31st International Conference on Software Engineering (ICSE 2009) in 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, PÁGINAS: 480-+
INDEXADO EM: Scopus WOS DBLP
6885
TÍTULO: Work in progress - W2: An easy-to-use workshop module
AUTORES: Figueira, A ; Cunha, E;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef
6886
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays  Full Text
AUTORES: Joao Leito ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2009, FONTE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 236-245
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
6887
TÍTULO: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PÁGINAS: 44-55
INDEXADO EM: Scopus DBLP
6888
TÍTULO: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008: Preface
AUTORES: Pu, C; Kersten, M; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
INDEXADO EM: Scopus
6889
TÍTULO: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software, PÁGINAS: 17-26
INDEXADO EM: Scopus DBLP CrossRef: 3
6890
TÍTULO: A comparative study on predicting algae blooms in Douro River, Portugal  Full Text
AUTORES: Rita Ribeiro ; Luis Torgo ;
PUBLICAÇÃO: 2008, FONTE: 5th European Conference on Ecological Modelling in ECOLOGICAL MODELLING, VOLUME: 212, NÚMERO: 1-2, PÁGINAS: 86-91
INDEXADO EM: Scopus WOS CrossRef: 20
6892
TÍTULO: A CONNECTED PATH APPROACH FOR STAFF DETECTION ON A MUSIC SCORE  Full Text
AUTORES: Cardoso, JS ; Capela, A ; Rebelo, A ; Guedes, C ;
PUBLICAÇÃO: 2008, FONTE: 15th IEEE International Conference on Image Processing (ICIP 2008) in 2008 15TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-5, PÁGINAS: 1005-1008
INDEXADO EM: Scopus WOS DBLP CrossRef
6893
TÍTULO: A Decision Support System for Planning Promotion Time Slots  Full Text
AUTORES: Pereira, PA; Fontes, FACC ; Fontes, DBMM ;
PUBLICAÇÃO: 2008, FONTE: Annual International Conference of the German-Operations-Research-Society in OPERATIONS RESEARCH PROCEEDINGS 2007, PÁGINAS: 147-152
INDEXADO EM: WOS DBLP CrossRef: 6 Handle
6894
TÍTULO: A didactic application for creating new sights from multiple images using light fields
AUTORES: Brigida Monica Faria ; Augusto A de Sousa ; Luis Paulo Reis ;
PUBLICAÇÃO: 2008, FONTE: 1st ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing in COMPUTATIONAL VISION AND MEDICAL IMAGING PROCESSING, PÁGINAS: 335-340
INDEXADO EM: Scopus WOS
6895
TÍTULO: A global constraint for nesting problems  Full Text
AUTORES: Cristina Ribeiro ; Maria Antonia Carravilla ;
PUBLICAÇÃO: 2008, FONTE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 30, NÚMERO: 1-4, PÁGINAS: 99-118
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6896
TÍTULO: A List Scheduling Algorithm for Scheduling Multi-user Jobs on Clusters  Full Text
AUTORES: Barbosa, J ; Monteiro, AP ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on High Performance Computing for Computational Science (VECPAR 2008) in HIGH PERFORMANCE COMPUTING FOR COMPUTATIONAL SCIENCE - VECPAR 2008, VOLUME: 5336, PÁGINAS: 123-136
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
6897
TÍTULO: A methodology for exploring association models
AUTORES: Jorge, A ; Pocas, J; Azevedo, PJ ;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4404 LNCS, PÁGINAS: 46-59
INDEXADO EM: Scopus DBLP CrossRef: 1
6898
TÍTULO: A model of approximations for representing time-varying multidimensional data
AUTORES: Jose Moreira ; Cristina Ribeiro ; Jean Marc Saglio; Michel Scholl;
PUBLICAÇÃO: 2008, FONTE: 24th IEEE International Conference on Data Engineering in 2008 IEEE 24TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING WORKSHOP, VOLS 1 AND 2, PÁGINAS: 113-120
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6899
TÍTULO: A model of electronic commerce initiatives in Portuguese organizations  Full Text
AUTORES: Ramiro Goncalaves ; Joao Barroso ; Joao Varajao; Jose Bulas Cruz;
PUBLICAÇÃO: 2008, FONTE: INTERCIENCIA, VOLUME: 33, NÚMERO: 2, PÁGINAS: 120-128
INDEXADO EM: WOS
6900
TÍTULO: A model of electronic commerce initiatives in Portuguese organizations [Modelo das iniciativas de comércio electrónico em organizações portuguesas]
AUTORES: Goncalves, R; Barroso, J ; Varajao, J; Bulas Cruz, J;
PUBLICAÇÃO: 2008, FONTE: Interciencia, VOLUME: 33, NÚMERO: 2, PÁGINAS: 120-128
INDEXADO EM: Scopus

Results per Page: 20.
Página 345 de 408. Total de resultados: 8154.