Concepedia

Luís Pinto

LP

Statistics

Publications

7

Citations

279

H-Index

7

Active since

1998

Affiliations

University of Minho(Current)

University of St Andrews

Luís Pinto is an author at University of Minho specializing in computer science, computing, and formal methods.

Publications per year

1998–2020

7

Publications

7

Type-based termination of recursive definitions

Gilles Barthe, Maria João Frade, Luís Pinto et al. · Mathematical Structures in Computer Science · 2004 · 104 citations · Full text

Computing, Computer Science, Programming Languages +15

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

Gilles Barthe, Peter Dybjer, Luís Pinto et al. · 2000 · 52 citations

Computing, Computer Science, Linguistics +14

Permutability of proofs in intuitionistic sequent calculi

Roy Dyckhoff, Luís Pinto · Theoretical Computer Science · 1999 · 40 citations · Full text

Computing, Computer Science, Mathematics +7

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

Roy Dyckhoff, Luís Pinto · Studia Logica · 1998 · 34 citations · Full text

Humanities, Computer Science, Mathematics +7

Model Checking Embedded Systems with PROMELA

Óscar R. Ribeiro, João M. Fernandes, Luís Pinto · 2005 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 7