Jorge Sousa Pinto

From MaRDI portal
Person:465684

Available identifiers

zbMath Open pinto.jorge-sousaMaRDI QIDQ465684

List of research outcomes





PublicationDate of PublicationType
A Lotka-Volterra-type model analyzed through different techniques2024-10-11Paper
Why3-do: the way of harmonious distributed system proofs2023-08-03Paper
A Lotka-Volterra type model analyzed through different techniques2023-06-22Paper
A verified VCGen based on dynamic logic: an exercise in meta-verification with Why32023-06-19Paper
Testing for Race Conditions in Distributed Systems via SMT Solving2022-11-09Paper
A tribute to José Manuel Valença2022-08-26Paper
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach2016-04-26Paper
A Bounded Model Checker for SPARK Programs2015-12-17Paper
Verification conditions for source-level imperative programs2014-10-24Paper
Formal verification of side-channel countermeasures using self-composition2014-04-02Paper
Token-passing nets for functional languages2014-01-24Paper
A local graph-rewriting system for deciding equality in sum-product theories2013-12-20Paper
Weak reduction and garbage collection in interaction nets2013-08-27Paper
Assertion-based slicing and slice graphs2013-03-22Paper
Rigorous software development. An introduction to program verification.2010-10-13Paper
A Framework for Point-Free Program Transformation2009-04-28Paper
Point-free program transformation2006-06-19Paper
Encoding linear logic with interaction combinators2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q27788892002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q27788352002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q45083082000-10-03Paper
Sampling expansions and generalized translation invariance1984-01-01Paper

Research outcomes over time

This page was built for person: Jorge Sousa Pinto