Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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

149 Team Members
Filters -> Year: 2026
1061
TÍTULO: Enhancing traffic sampling scope and efficiency
AUTORES: Silva, JMC ; Carvalho, P ; Lima, SR ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2013 in 2013 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2013, PÁGINAS: 71-72
INDEXADO EM: Scopus CrossRef: 2
1062
TÍTULO: Enhancing Traffic Sampling Scope and Efficiency
AUTORES: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLICAÇÃO: 2013, FONTE: 32nd IEEE INFOCOM Conference in 2013 PROCEEDINGS IEEE INFOCOM, PÁGINAS: 5-6
INDEXADO EM: Scopus WOS CrossRef: 1
1063
TÍTULO: Enhancing traffic sampling scope and efficiency
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, PÁGINAS: 5-6
INDEXADO EM: DBLP
1064
TÍTULO: Enhancing Traffic Sampling scope and efficiency
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2013, FONTE: 2013 Proceedings IEEE INFOCOM Workshops, Turin, Italy, April 14-19, 2013, PÁGINAS: 71-72
INDEXADO EM: DBLP
1065
TÍTULO: Evaluating Cassandra as a manager of large file sets
AUTORES: Leander Beernaert; Pedro Gomes; Miguel Matos ; Ricardo Vilaça ; Rui Oliveira ;
PUBLICAÇÃO: 2013, FONTE: CloudDP@EuroSys, PÁGINAS: 25-30
INDEXADO EM: Scopus DBLP CrossRef: 2
1066
TÍTULO: Evaluating Cassandra as a manager of large file sets
AUTORES: Miguel Matos; Pedro Gomes; Ricardo Vilaça ; Leander Beernaert; Rui C M d Oliveira;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
1067
TÍTULO: Executable modelling of dynamic software product lines in the ABS language
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2013, FONTE: FOSD, PÁGINAS: 17-24
INDEXADO EM: Scopus DBLP CrossRef: 2
1068
TÍTULO: Experience with a middleware infrastructure for service oriented financial applications
AUTORES: José Pedro Oliveira; José Pereira ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 479-484
INDEXADO EM: Scopus DBLP CrossRef: 7
1069
TÍTULO: Extending a configuration model to find communities in complex networks  Full Text
AUTORES: Di Jin; Dongxiao X He; Qinghua H Hu; Carlos Baquero ; Bo Yang;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: 2013, NÚMERO: 9
INDEXADO EM: Scopus WOS CrossRef: 9
1070
TÍTULO: Fast Distributed Estimation of Empirical Mass Functions over Anonymous Networks
AUTORES: Terelius, H; Varagnolo, D; Baquero, C ; Johansson, KH;
PUBLICAÇÃO: 2013, FONTE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PÁGINAS: 6771-6777
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1071
TÍTULO: Foreword - High dynamic range imaging  Full Text
AUTORES: Santos, LP ; Debattista, K;
PUBLICAÇÃO: 2013, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, NÚMERO: 7
INDEXADO EM: Scopus WOS CrossRef
1072
TÍTULO: Formal verification of side-channel countermeasures using self-composition
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7, PÁGINAS: 796-812
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
1074
TÍTULO: Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks
AUTORES: Liu, DY; Jin, D; Baquero, C ; He, DX; Yang, B; Yu, QY;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, NÚMERO: 2, PÁGINAS: 354-369
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
1075
TÍTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2013, FONTE: IRI, PÁGINAS: 512-519
INDEXADO EM: Scopus DBLP CrossRef: 1
1076
TÍTULO: Hybridisation at Work
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089 LNCS, PÁGINAS: 340-345
INDEXADO EM: Scopus DBLP
1077
TÍTULO: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTORES: Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PÁGINAS: 297-311
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
1078
TÍTULO: Improving transaction abort rates without compromising throughput through judicious scheduling
AUTORES: Ana Nunes Alonso ; José Pereira ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 493-494
INDEXADO EM: Scopus DBLP CrossRef
1079
TÍTULO: Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach
AUTORES: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PÁGINAS: 208-214
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
1080
TÍTULO: Interactive high fidelity visualization of complex materials on the GPU  Full Text
AUTORES: Nuno Silva; Luis Paulo Santos ;
PUBLICAÇÃO: 2013, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, NÚMERO: 7, PÁGINAS: 809-819
INDEXADO EM: Scopus WOS CrossRef: 2

Results per Page: 20.
Página 54 de 83. Total de resultados: 1659.