Jorge Sousa Pinto

Cited by

	All	Since 2018
Citations	838	271
h-index	15	8
i10-index	23	5

100

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 6 9 7 14 35 26 28 37 51 26 64 41 45 60 46 43 98 39 42 45 30 17

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

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, Computer Science Department of the University of Beira InteriorVerified email at di.ubi.pt
Daniela da CruzCheckmarxVerified email at checkmarx.com
Luis Miguel PinhoProfessor, ISEP, Polytechnic Institute of Porto, Porto, PortugalVerified email at isep.ipp.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
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Barbara VieiraVerified email at tomtom.com
Miguel VilaçaUniversidade Católica PortuguesaVerified email at braga.ucp.pt
Cláudio Belo LourençoHuawei Central Software Institute (UK)Verified email at huawei.com
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
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
Md Imran AlamIIT PATNAVerified email at iitp.ac.in
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in
Cristiano da Silva SousaUniversidade do MinhoVerified email at alunos.uminho.pt
João Carlos PereiraPhD student, ETH ZurichVerified email at inf.ethz.ch
Nuno MachadoAmazonVerified email at amazon.com

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, 2011	128*	2011
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	71	2013
Verification conditions for source-level imperative programs MJ Frade, JS Pinto Computer Science Review 5 (3), 252-277, 2011	45	2011
Sequential and concurrent abstract machines for interaction nets JS Pinto Foundations of Software Science and Computation Structures: Third …, 2000	45	2000
Assertion-based slicing and slice graphs JB Barros, D Da Cruz, PR Henriques, JS Pinto Formal Aspects of Computing 24, 217-248, 2012	29	2012
Encoding linear logic with interaction combinators I Mackie, JS Pinto Information and Computation 176 (2), 153-186, 2002	27	2002
Parallel implementation models for the λ-calculus using the Geometry of Interaction J Sousa Pinto Typed Lambda Calculi and Applications: 5th International Conference, TLCA …, 2001	27	2001
Parallel implementation with linear logic (applications of interaction nets and of the geometry of interaction) JS Pinto PhD thesis, École Polytechnique, 2001	26*	2001
A framework for point-free program transformation A Cunha, JS Pinto, J Proença Implementation and Application of Functional Languages: 17th International …, 2006	22	2006
Parallel evaluation of interaction nets with mpine JS Pinto Rewriting Techniques and Applications: 12th International Conference, RTA …, 2001	20	2001
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	18	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	17	2015
Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6, 203-218, 2010	17	2010
Point-free program transformation A Cunha, JS Pinto Fundamenta Informaticae 66 (4), 315-352, 2005	17	2005
Formal Verification of kLIBC with the WP Frama-C Plug-in N Carvalho, C da Silva Sousa, JS Pinto, A Tomb NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014	15	2014
Code analysis: Past and present D Cruz, PR Henriques, JS Pinto	15	2009
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, J Sousa Pinto, B Vieira Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009	14	2009
Using Internet technology for course support JE Pina Miranda, JS Pinto ACM SIGCUE Outlook 24 (1-3), 96-100, 1996	13	1996
Studying verification conditions for imperative programs CB Lourenço, SM Lamraoui, S Nakajima, JS Pinto Electronic Communications of the EASST 72, 2015	12	2015

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

Follow

Cited by

Co-authors