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

149 Team Members
Filters -> Year: 2026
1261
TÍTULO: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: Information Services and Use, VOLUME: 31, NÚMERO: 3-4, PÁGINAS: 177-187
INDEXADO EM: Scopus CrossRef
1262
TÍTULO: Worldwide Consensus  Full Text
AUTORES: Maia, F ; Matos, M ; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 257-269
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1263
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
AUTORES: Almeida, JB ; Bangerter, E; Barbosa, M ; Krenn, S; Sadeghi, AR; Schneider, T;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PÁGINAS: 151-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
1264
TÍTULO: A Coordination Model for Interactive Components
AUTORES: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLICAÇÃO: 2010, FONTE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PÁGINAS: 416-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1265
TÍTULO: A Deductive Verification Platform for Cryptographic Software
AUTORES: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXADO EM: DBLP
1266
TÍTULO: Assertion-based Slicing and Slice Graphs  Full Text
AUTORES: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: SEFM, PÁGINAS: 93-102
INDEXADO EM: Scopus DBLP CrossRef: 6
1267
TÍTULO: Automatically Inferring ClassSheet Models from Spreadsheets
AUTORES: Jácome Cunha ; Martin Erwig; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: VL/HCC, PÁGINAS: 93-100
INDEXADO EM: Scopus DBLP CrossRef: 41
1268
TÍTULO: Bringing class diagrams to life
AUTORES: Luís Soares Barbosa ; Sun Meng;
PUBLICAÇÃO: 2010, FONTE: Innov. Syst. Softw. Eng., VOLUME: 6, NÚMERO: 1-2, PÁGINAS: 91-98
INDEXADO EM: Scopus DBLP CrossRef
1269
TÍTULO: Certification of open-source software: A role for formal methods?
AUTORES: Barbosa, LS ; Cerone, A; Petrenko, AK; Shaikh, SA;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, NÚMERO: 4, PÁGINAS: 273-281
INDEXADO EM: Scopus WOS DBLP
1270
TÍTULO: Contract-Based Slicing
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, NÚMERO: PART 1, PÁGINAS: 106-120
INDEXADO EM: Scopus WOS DBLP CrossRef
1271
TÍTULO: Contract-Based Slicing Helps on Safety Reuse  Full Text
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ICPC, PÁGINAS: 62-63
INDEXADO EM: Scopus DBLP CrossRef
1272
TÍTULO: Deductive verification of cryptographic software
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Innov. Syst. Softw. Eng., VOLUME: 6, NÚMERO: 3, PÁGINAS: 203-218
INDEXADO EM: Scopus DBLP CrossRef
1273
TÍTULO: Dependability in Aggregation by Averaging
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.6596
INDEXADO EM: DBLP
1274
TÍTULO: Dotted Version Vectors: Logical Clocks for Optimistic Replication
AUTORES: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.5808
INDEXADO EM: DBLP
1275
TÍTULO: Ensembles of jittered association rule classifiers  Full Text
AUTORES: Azevedo, PJ ; Jorge, AM ;
PUBLICAÇÃO: 2010, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 21, NÚMERO: 1, PÁGINAS: 91-129
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
1276
TÍTULO: Estimating local thickness for finite element analysis
AUTORES: Ferreira, V; Santos, LP ; Simoes, R ; Franzen, M; Ghouati, OO;
PUBLICAÇÃO: 2010, FONTE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PÁGINAS: 63-68
INDEXADO EM: Scopus
1277
TÍTULO: Fault-Tolerant Aggregation for Dynamic Networks  Full Text
AUTORES: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLICAÇÃO: 2010, FONTE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PÁGINAS: 37-43
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
1278
TÍTULO: Feature Petri Nets PDF
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: SPLC Workshops, PÁGINAS: 99-106
INDEXADO EM: DBLP
1279
TÍTULO: From SFC specification to C programming language on the context of aerospace systems control
AUTORES: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLICAÇÃO: 2010, FONTE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, NÚMERO: PART 1, PÁGINAS: 46-51
INDEXADO EM: Scopus

Results per Page: 20.
Página 64 de 83. Total de resultados: 1642.