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
1201
TÍTULO: Significant motifs in time series
AUTORES: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLICAÇÃO: 2012, FONTE: Stat. Anal. Data Min., VOLUME: 5, NÚMERO: 1, PÁGINAS: 35-53
INDEXADO EM: Scopus DBLP CrossRef: 20
1202
TÍTULO: Slead: Low-Memory, Steady Distributed Systems Slicing
AUTORES: Francisco Maia ; Miguel Matos ; Etienne Rivière; Rui Oliveira ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 1-15
INDEXADO EM: Scopus DBLP CrossRef: 6
1203
TÍTULO: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 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), PÁGINAS: 243-244
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
1204
TÍTULO: Software components as invariant-typed arrows
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PÁGINAS: 1-5
INDEXADO EM: Scopus DBLP CrossRef
1205
TÍTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 312-326
INDEXADO EM: Scopus DBLP CrossRef: 7
1206
TÍTULO: Spectra: Robust Estimation of Distribution Functions in Networks
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 96-103
INDEXADO EM: Scopus DBLP CrossRef: 4
1207
TÍTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: ARMOR, PÁGINAS: 4:1-4:5
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
1208
TÍTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
INDEXADO EM: DBLP
1209
TÍTULO: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
AUTORES: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLICAÇÃO: 2012, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, NÚMERO: 5, PÁGINAS: 567-588
INDEXADO EM: Scopus DBLP CrossRef: 36
1210
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: 40 Handle
1211
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
1212
TÍTULO: Towards an evaluation of bidirectional model-driven spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: USER@ICSE, PÁGINAS: 25-28
INDEXADO EM: Scopus DBLP CrossRef: 6
1213
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
1214
TÍTULO: Towards the Improvement of Diagnostic Metrics <i>Fault Diagnosis for DSL</i>-<i>Based IPTV Networks using the Renyi Entropy</i>
AUTORES: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD ; Kim, HS;
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: 3
1215
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
1216
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: SAT, VOLUME: 7317 LNCS, PÁGINAS: 493-495
INDEXADO EM: Scopus DBLP CrossRef: 2
1217
TÍTULO: Verification conditions for single-assignment programs
AUTORES: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 1264-1270
INDEXADO EM: Scopus DBLP CrossRef: 1
1218
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
1219
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
AUTORES: Leitao, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
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: 11
1220
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

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