Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

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

49 Team Members
Filters -> Year: 2024
2641
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
INDEXED IN: Scopus DBLP CrossRef: 2
2642
TITLE: Representation and management of spatiotemporal data in object-relational databases  Full Text
AUTHORS: Matos, L; Moreira, J ; Carvalho, A ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 13-20
INDEXED IN: Scopus CrossRef: 2
2643
TITLE: Resiliency-aware Scheduling for reconfigurable VLIW processors
AUTHORS: Abramson, J; Diniz, PC ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2012 in 2012 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2012
INDEXED IN: Scopus
2644
TITLE: Resiliency-aware scheduling: Resource allocation for hardened computation on configurable devices
AUTHORS: Abramson, J; Diniz, PC ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Field-Programmable Technology, FPT 2012 in FPT 2012 - 2012 International Conference on Field-Programmable Technology, PAGES: 129-134
INDEXED IN: Scopus
2645
TITLE: Resource-Efficient Designs using an Aspect-Oriented Approach
AUTHORS: Jose G F Coutinho; Sujit Bhattacharya; Wayne Luk; George A Constantinides; Joao M P Cardoso ; Tiago Carvalho ; Pedro C Diniz ; Zlatko Petrov;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 399-406
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2646
TITLE: Roles as Modular Units of Composition
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012 in ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012., PAGES: 13-22
INDEXED IN: Scopus DBLP Handle
2647
TITLE: Scalable Integration of Multiple Health Sensor Data for Observing Medical Patterns
AUTHORS: Hugo Sereno Ferreira ; Tiago Boldt Sousa ; Angelo Martins ;
PUBLISHED: 2012, SOURCE: 9th Annual International Conference on Cooperative Design, Visualization, and Engineering (CDVE) in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING (CDVE), VOLUME: 7467, PAGES: 78-84
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2648
TITLE: Self-Healing on the Cloud: State-of-the-art and Future Challenges
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 279-284
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2649
TITLE: Semi-automated Application Profile Generation for Research Data Assets
AUTHORS: Joao Rocha da Silva ; Cristina Ribeiro ; Joao Correia Lopes ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 98-106
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2650
TITLE: Semi-supervised learning: Predicting activities in Android environment
AUTHORS: Lopes, A; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 38-42
INDEXED IN: Scopus
2651
TITLE: Serious game in security: A solution for security trainees
AUTHORS: Oliveira, V; Coelho, A ; Guimaraes, R; Rebelo, C;
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: 274-282
INDEXED IN: WOS DBLP CrossRef: 6
2652
TITLE: SIARD Archive Browser
AUTHORS: Rahman, AU; David, G ; Ribeiro, C ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Theory and Practice of Digital Libraries, TPDL 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7489 LNCS, PAGES: 496-499
INDEXED IN: Scopus DBLP CrossRef: 2
2653
TITLE: Simulation and Performance Assessment of Poker Agents
AUTHORS: Luís Filipe Teófilo ; Rosaldo Rossetti ; Luís Paulo Reis ; Henrique Lopes Cardoso ; Pedro Alves Nogueira ;
PUBLISHED: 2012, SOURCE: 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012 in Multi-Agent-Based Simulation XIII - International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers, VOLUME: 7838, PAGES: 69-84
INDEXED IN: Scopus DBLP CrossRef Handle
2654
TITLE: Sistema Inteligente para Auxílio na Seleção e Execução de Tarefas num Jogo Social
AUTHORS: Luís Paulo Reis ; Romina Neves; Pedro Abreu ; Brígida Mónica Faria;
PUBLISHED: 2012, SOURCE: COMPUTER - Computer Science and Engineering, VOLUME: 2, ISSUE: 4, PAGES: 74-81
INDEXED IN: CrossRef
2655
TITLE: Sketch express: A sketching interface for facial animation  Full Text
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, ISSUE: 6, PAGES: 585-595
INDEXED IN: Scopus WOS DBLP CrossRef: 15
2656
TITLE: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 243-244
INDEXED IN: Scopus WOS DBLP CrossRef: 23
2657
TITLE: Social and solidarity economy web information systems: State of the art. State of the Art
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2012, SOURCE: Social E-Enterprise: Value Creation through ICT, PAGES: 1-16
INDEXED IN: Scopus CrossRef Handle
2658
TITLE: Software agents: Can we trust them?
AUTHORS: Oliveira, E ;
PUBLISHED: 2012, SOURCE: IEEE 16th International Conference on Intelligent Engineering Systems, INES 2012 in INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings, PAGES: 15-20
INDEXED IN: Scopus CrossRef: 3
2659
TITLE: Special session on 'programming paradigms for reconfigurable multi-core embedded systems'
AUTHORS: Gohringer, D; Diniz, P ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012 in Proceedings - 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012, PAGES: 227
INDEXED IN: Scopus CrossRef
2660
TITLE: Specification-driven unit test generation for java generic classes
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PAGES: 296-311
INDEXED IN: Scopus DBLP CrossRef: 4

Results per Page: 20.
Página 133 de 192. Total de resultados: 3835.