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
1381
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2009, FONTE: PEPM, PÁGINAS: 81-90
INDEXADO EM: Scopus DBLP CrossRef: 5
1382
TÍTULO: Spatial Clustering of Molecular Dynamics Trajectories in Protein Unfolding Simulations
AUTORES: Ferreira, PG ; Silva, CG ; Azevedo, PJ ; Brito, RMM ;
PUBLICAÇÃO: 2009, FONTE: COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, VOLUME: 5488, PÁGINAS: 156-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
1383
TÍTULO: Special track on dependable and adaptive distributed systems
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A;
PUBLICAÇÃO: 2009, FONTE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1013-1014
INDEXADO EM: Scopus
1384
TÍTULO: Students' feedback on teaching mathematics through the calculational method
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef: 3
1385
TÍTULO: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTORES: Barbosa, LS ; Meng, S;
PUBLICAÇÃO: 2009, FONTE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PÁGINAS: 340-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1386
TÍTULO: Using Compilers to Enhance Cryptographic Product Development
AUTORES: Endre Bangerter; Manuel Barbosa ; Daniel J Bernstein; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sampo Sovio;
PUBLICAÇÃO: 2009, FONTE: ISSE, PÁGINAS: 291-301
INDEXADO EM: DBLP CrossRef: 1
1387
TÍTULO: Using data mining techniques to probe the role of hydrophobic residues in protein folding and unfolding simulations
AUTORES: Silva, CG ; Ferreira, PG ; Azevedo, PJ ; Brito, RMM;
PUBLICAÇÃO: 2009, FONTE: Evolving Application Domains of Data Warehousing and Mining: Trends and Solutions, PÁGINAS: 258-276
INDEXADO EM: Scopus CrossRef
1388
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
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
1389
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Ferreira, JF ; Mendes, A ; Backhouse, R; Barbosa, LS ;
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
1390
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
AUTORES: Leito, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
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
1391
TÍTULO: 'Galculator': functional prototype of a Galois-connection based proof assistant
AUTORES: Paulo F Silva ; José Nuno Oliveira ;
PUBLICAÇÃO: 2008, FONTE: PPDP, PÁGINAS: 44-55
INDEXADO EM: Scopus DBLP
1392
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
1393
TÍTULO: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
AUTORES: Sun Meng; Luís Soares Barbosa ;
PUBLICAÇÃO: 2008, FONTE: QSIC, PÁGINAS: 17-26
INDEXADO EM: Scopus DBLP CrossRef: 4
1394
TÍTULO: A Methodology for Exploring Association Models
AUTORES: Alípio Jorge ; João Poças; Paulo J Azevedo ;
PUBLICAÇÃO: 2008, FONTE: Visual Data Mining, VOLUME: 4404 LNCS, PÁGINAS: 46-59
INDEXADO EM: Scopus DBLP CrossRef: 1
1395
TÍTULO: A relational model for confined separation logic
AUTORES: Wang, SL; 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
1396
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
1397
TÍTULO: Algebraic Specialization of Generic Functions for Recursive Types
AUTORES: Alcino Cunha ; Hugo Pacheco ;
PUBLICAÇÃO: 2008, FONTE: MSFP@ICALP, VOLUME: 229, NÚMERO: 5, PÁGINAS: 57-74
INDEXADO EM: Scopus DBLP CrossRef
1398
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
1399
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
1400
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Barbosa, LS ; Oliveira, JN ; Silva, A ;
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-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 9

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