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

531 Team Members
Filters -> Year: 2024
4661
TITLE: A hybrid biased random key genetic algorithm approach for the unit commitment problem  Full Text
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
INDEXED IN: Scopus WOS DBLP CrossRef: 21
4662
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
INDEXED IN: Scopus WOS DBLP CrossRef
4664
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
INDEXED IN: Scopus WOS DBLP CrossRef: 7
4665
TITLE: A method for defining human-machine micro-task workflows for gathering legal information
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
INDEXED IN: Scopus CrossRef: 1
4666
TITLE: A model for analyzing estimation, productivity, and quality performance in the personal software process
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2014, SOURCE: 2014 International Conference on Software and Systems Process, ICSSP 2014 in ACM International Conference Proceeding Series, PAGES: 10-19
INDEXED IN: Scopus DBLP CrossRef: 3
4667
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
INDEXED IN: Scopus WOS CrossRef
4668
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: Monitoring and Securing Virtualized Networks and Services - 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings, VOLUME: 8508, PAGES: 179-183
INDEXED IN: DBLP
4669
TITLE: A panoramic view on metadata application profiles of the last decade
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2014, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 9, ISSUE: 1, PAGES: 58-73
INDEXED IN: Scopus CrossRef Handle
4670
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
INDEXED IN: Scopus
4671
TITLE: A peer-to-peer service architecture for the Smart Grid
AUTHORS: Filipe Campos ; Miguel Matos ; Jose Pereira ; David Rua ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
INDEXED IN: Scopus WOS DBLP CrossRef: 7
4672
TITLE: A physics simulation tool for the container loading problem
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
INDEXED IN: Scopus
4673
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
4674
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
INDEXED IN: Scopus WOS CrossRef
4675
TITLE: A relational approach to bidirectional transformation
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
INDEXED IN: DBLP
4676
TITLE: A Review on the Portuguese Enterprises Web Accessibility Levels - A website accessibility high level improvement proposal
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
INDEXED IN: Scopus WOS DBLP CrossRef: 18
4677
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4678
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
INDEXED IN: Scopus WOS DBLP CrossRef
4679
TITLE: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
INDEXED IN: DBLP arXiv
4680
TITLE: A study of machine learning methods for detecting user interest during web sessions
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
INDEXED IN: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Página 234 de 406. Total de resultados: 8107.