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

150 Team Members
Filters -> Year: 2024
1041
TÍTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
INDEXADO EM: DBLP
1042
TÍTULO: Towards a Catalog of Spreadsheet Smells
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1043
TÍTULO: Towards a linear algebra of programming  Full Text
AUTORES: Jose N Oliveira ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 4-6, PÁGINAS: 433-458
INDEXADO EM: Scopus WOS CrossRef: 17
1044
TÍTULO: Towards an evaluation of bidirectional model-driven spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 25-28
INDEXADO EM: Scopus DBLP CrossRef: 6
1045
TÍTULO: Towards linear algebras of components
AUTORES: Macedo, HD; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 300-303
INDEXADO EM: Scopus CrossRef: 3
1046
TÍTULO: Towards the Improvement of Diagnostic Metrics Fault Diagnosis for DSL-Based IPTV Networks using the Renyi Entropy
AUTORES: Angelos K Marnerides; Simon Malinowski; Ricardo Morla ; Miguel R D Rodrigues ; Hyong S Kim;
PUBLICAÇÃO: 2012, FONTE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PÁGINAS: 2779-2784
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1047
TÍTULO: Type checking cryptography implementations
AUTORES: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 316-334
INDEXADO EM: Scopus DBLP CrossRef: 3
1048
TÍTULO: Typed linear algebra for weigthed (probabilistic) automata
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 52-65
INDEXADO EM: Scopus CrossRef: 1
1049
TÍTULO: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTORES: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PÁGINAS: 493-495
INDEXADO EM: Scopus DBLP CrossRef
1050
TÍTULO: Verification conditions for single-assignment programs  Full Text
AUTORES: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1264-1270
INDEXADO EM: Scopus DBLP CrossRef: 1
1051
TÍTULO: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PÁGINAS: 82-93
INDEXADO EM: Scopus WOS
1052
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks  Full Text
AUTORES: Joao Leitao ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, NÚMERO: 11, PÁGINAS: 2175-2188
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
1053
TÍTULO: A 3D simulation framework for safe ambient-assisted home care
AUTORES: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PÁGINAS: 61-66
INDEXADO EM: Scopus
1054
TÍTULO: A Correlation-Aware Data Placement Strategy for Key-Value Stores  Full Text
AUTORES: Vilaca, R ; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 214-227
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1055
TÍTULO: A language for behavioural modelling of architectural patterns
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series, PÁGINAS: 17-24
INDEXADO EM: Scopus DBLP CrossRef: 5
1056
TÍTULO: A Markov random walk under constraint for discovering overlapping communities in complex networks PDF  Full Text
AUTORES: Di Jin; Bo Yang; Carlos Baquero ; Dayou Y Liu; Dongxiao X He; Jie Liu;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: 2011, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 45
1057
TÍTULO: Algebraic Specialization of Generic Functions for Recursive Types
AUTORES: Alcino Cunha ; Hugo Pacheco ;
PUBLICAÇÃO: 2011, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 5, PÁGINAS: 57-74
INDEXADO EM: Scopus DBLP CrossRef
1058
TÍTULO: An Empirical Study on End-users Productivity Using Model-based Spreadsheets PDF
AUTORES: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.4190
INDEXADO EM: DBLP arXiv
1059
TÍTULO: An epidemic approach to dependable key-value substrates
AUTORES: Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011 in Proceedings of the International Conference on Dependable Systems and Networks, PÁGINAS: 105-110
INDEXADO EM: Scopus DBLP CrossRef: 3
1060
TÍTULO: Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs
AUTORES: Di Jin; Dayou Y Liu; Bo Yang; Carlos Baquero ; Dongxiao X He;
PUBLICAÇÃO: 2011, FONTE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, NÚMERO: PART 2, PÁGINAS: 123-134
INDEXADO EM: Scopus WOS DBLP

Results per Page: 20.
Página 53 de 75. Total de resultados: 1489.