Jorge Sousa Pinto

Cited by

	All	Since 2015
Citations	704	298
h-index	15	8
i10-index	21	6

200120022003200420052006200720082009201020112012201320142015201620172018201920209 6 9 4 16 30 27 28 36 44 26 64 41 47 58 49 39 80 39 32

Co-authors

José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Maria João FradeHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Simão Melo de SousaAssociate Professor in the Computer Science Department of the University of Beira InteriorVerified email at di.ubi.pt
Daniela da CruzUniversidade Lusófona do PortoVerified email at di.uminho.pt
Luis Miguel PinhoProfessor, ISEP, Polytechnic Institute of Porto, Porto, PortugalVerified email at isep.ipp.pt
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Barbara VieiraABN AMROVerified email at nl.abnamro.com
Miguel VilaçaUniversidade Católica PortuguesaVerified email at braga.ucp.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
David PereiraResearch Associate, CISTERVerified email at isep.ipp.pt
André de Matos PedroInstitute for Software Engineering and Programming Languages, University of Lübeck, GermanyVerified email at isp.uni-luebeck.de
Cláudio Belo LourençoINRIA SaclayVerified email at lri.fr
Jean-Christophe FilliâtreCNRSVerified email at lri.fr
Jose ProencaCISTER - ISEPVerified email at proenca.org
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Victor MiraldoDFINITY FoundationVerified email at dfinity.org
Iago AbalComputer Engineer & ResearcherVerified email at iagoabal.eu
Joe Leslie-HurdIntel Corp.Verified email at gilith.com
Cristiano da Silva SousaUniversidade do MinhoVerified email at alunos.uminho.pt

Jorge Sousa Pinto

HASLab / INESC TEC & Universidade do Minho

Verified email at di.uminho.pt

Formal Methods Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM De Sousa Springer Science & Business Media, 2011	100*	2011
Sequential and concurrent abstract machines for interaction nets JS Pinto International Conference on Foundations of Software Science and Computation …, 2000	44	2000
Formal verification of side-channel countermeasures using self-composition JB Almeida, M Barbosa, JS Pinto, B Vieira Science of Computer Programming 78 (7), 796-812, 2013	43	2013
Verification conditions for source-level imperative programs MJ Frade, JS Pinto Computer Science Review 5 (3), 252-277, 2011	39	2011
Assertion-based slicing and slice graphs JB Barros, D Da Cruz, PR Henriques, JS Pinto Formal Aspects of Computing 24 (2), 217-248, 2012	28	2012
Parallel implementation with linear logic (applications of interaction nets and of the geometry of interaction) JS Pinto PhD thesis, École Polytechnique, 2001	28*	2001
Encoding linear logic with interaction combinators I Mackie, JS Pinto Information and Computation 176 (2), 153-186, 2002	24	2002
Parallel implementation models for the λ-calculus using the geometry of interaction JS Pinto International Conference on Typed Lambda Calculi and Applications, 385-399, 2001	24	2001
A framework for point-free program transformation A Cunha, JS Pinto, J Proença Symposium on Implementation and Application of Functional Languages, 1-18, 2005	23	2005
Parallel evaluation of interaction nets with mpine JS Pinto International Conference on Rewriting Techniques and Applications, 353-356, 2001	19	2001
Point-free program transformation A Cunha, JS Pinto Fundamenta Informaticae 66 (4), 315-352, 2005	18	2005
Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6 (3), 203-218, 2010	17	2010
Gamaslicer: an online laboratory for program verification and analysis D da Cruz, PR Henriques, JS Pinto Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010	17	2010
Logic-based schedulability analysis for compositional hard real-time embedded systems A de Matos Pedro, D Pereira, LM Pinho, JS Pinto ACM SIGBED Review 12 (1), 56-64, 2015	15	2015
A tool for programming with interaction nets JB Almeida, JS Pinto, M Vilaça Electronic Notes in Theoretical Computer Science 219, 83-96, 2008	15	2008
Verifying cryptographic software correctness with respect to reference implementations JB Almeida, M Barbosa, JS Pinto, B Vieira International Workshop on Formal Methods for Industrial Critical Systems, 37-52, 2009	13	2009
Code analysis: past and present D Cruz, PR Henriques, JS Pinto	13	2009
Using Internet technology for course support JE Pina Miranda, JS Pinto ACM SIGCUE Outlook 24 (1-3), 96-100, 1996	13	1996
A deductive verification platform for cryptographic software M Barbosa, JS Pinto, JC Filliâtre, BIS Vieira European Association of Software Science and Technology (EASST), 2010	12	2010
Formal Verification of kLIBC with the WP Frama-C Plug-in N Carvalho, C da Silva Sousa, JS Pinto, A Tomb NASA Formal Methods Symposium, 343-358, 2014	11	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors