Jorge Sousa Pinto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Lotka-Volterra-type model analyzed through different techniques	2024-10-11	Paper
Why3-do: the way of harmonious distributed system proofs Programming Languages and Systems	2023-08-03	Paper
A Lotka-Volterra type model analyzed through different techniques	2023-06-22	Paper
A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Testing for race conditions in distributed systems via SMT solving	2022-11-09	Paper
A tribute to José Manuel Valença Journal of Logical and Algebraic Methods in Programming	2022-08-26	Paper
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach Programming Languages and Systems	2016-04-26	Paper
A bounded model checker for SPARK programs Automated Technology for Verification and Analysis	2015-12-17	Paper
Verification conditions for source-level imperative programs Computer Science Review	2014-10-24	Paper
Formal verification of side-channel countermeasures using self-composition Science of Computer Programming	2014-04-02	Paper
Token-passing nets for functional languages Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
A local graph-rewriting system for deciding equality in sum-product theories Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Weak reduction and garbage collection in interaction nets	2013-08-27	Paper
Assertion-based slicing and slice graphs Formal Aspects of Computing	2013-03-22	Paper
Rigorous software development. An introduction to program verification. Undergraduate Topics in Computer Science	2010-10-13	Paper
A Framework for Point-Free Program Transformation Implementation and Application of Functional Languages	2009-04-28	Paper
Point-free program transformation	2006-06-19	Paper
Encoding linear logic with interaction combinators Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1722717 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1722666 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1512623 (Why is no real title available?)	2000-10-03	Paper
Sampling expansions and generalized translation invariance Journal of the Franklin Institute	1984-01-01	Paper

Research outcomes over time

This page was built for person: Jorge Sousa Pinto