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

150 Team Members
Filters -> Year: 2025
1221
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825, PÁGINAS: 37-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1222
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846, PÁGINAS: 39-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1223
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays  Full Text
AUTORES: Joao Leito ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2009, FONTE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 236-245
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
1224
TÍTULO: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PÁGINAS: 44-55
INDEXADO EM: Scopus DBLP
1225
TÍTULO: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008: Preface
AUTORES: Pu, C; Kersten, M; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
INDEXADO EM: Scopus
1226
TÍTULO: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software, PÁGINAS: 17-26
INDEXADO EM: Scopus DBLP CrossRef: 3
1227
TÍTULO: A methodology for exploring association models
AUTORES: Jorge, A ; Pocas, J; Azevedo, PJ ;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4404 LNCS, PÁGINAS: 46-59
INDEXADO EM: Scopus DBLP CrossRef: 1
1228
TÍTULO: A relational model for confined separation logic
AUTORES: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, PÁGINAS: 263-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1229
TÍTULO: A Tool for Programming with Interaction Nets
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, NÚMERO: C, PÁGINAS: 83-96
INDEXADO EM: Scopus DBLP CrossRef: 3
1230
TÍTULO: AKARA: A Flexible Clustering Protocol for Demanding Transactional Workloads
AUTORES: Correia, A; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: On the Move Confederated International Conference and Workshops in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I, VOLUME: 5331, NÚMERO: PART 1, PÁGINAS: 691-708
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1231
TÍTULO: An Exercise on Transition Systems
AUTORES: Ribeiro, PR; Barbosa, LS ; Wang, S;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 207, NÚMERO: C, PÁGINAS: 89-106
INDEXADO EM: Scopus DBLP CrossRef: 2
1232
TÍTULO: An Open Architecture for Scalable Database Clustering
AUTORES: Rui Carlos Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 12th Enterprise Distributed Object Computing Conference Workshops in EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, PÁGINAS: 415-415
INDEXADO EM: WOS
1233
TÍTULO: Analysing Human Aspects of Safety-Critical Software
AUTORES: Michael D Harrison ; José Creissac Campos ;
PUBLICAÇÃO: 2008, FONTE: ERCIM News, VOLUME: 2008, NÚMERO: 75
INDEXADO EM: DBLP
1234
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140, PÁGINAS: 83-99
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1235
TÍTULO: Certificateless signcryption
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2008, FONTE: 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08 in Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08, PÁGINAS: 369-372
INDEXADO EM: Scopus DBLP CrossRef: 119
1236
TÍTULO: Certificateless Signcryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008, PÁGINAS: 143
INDEXADO EM: DBLP
1237
TÍTULO: Connecting Rigorous System Analysis to Experience-Centered Design
AUTORES: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLICAÇÃO: 2008, FONTE: Maturing Usability - Quality in Software, Interaction and Value, PÁGINAS: 56-74
INDEXADO EM: DBLP CrossRef: 1
1238
TÍTULO: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTORES: Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940, PÁGINAS: 193-209
INDEXADO EM: Scopus WOS DBLP CrossRef
1239
TÍTULO: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, PÁGINAS: 265-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1240
TÍTULO: Deriving Sorting Algorithms PDF
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
INDEXADO EM: DBLP arXiv

Results per Page: 20.
Página 62 de 75. Total de resultados: 1495.