Jean-Pierre Talpin

Publications

2.3K

Citations

H-Index

1992

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Centre Inria de l'Université de Rennes

Centre National de la Recherche Scientifique

Virginia Tech

Jean-Pierre Talpin is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer engineering, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsSystems EngineeringFormal VerificationComputer ArchitectureSystem SoftwareSoftware DesignProgram Analysis

Publications per year

1992–2024

Publications

Region-Based Memory Management

Mads Tofte, Jean-Pierre Talpin · Information and Computation · 1997 · 613 citations

Engineering, Computer Engineering, Memory +7

Implementation of the typed call-by-value λ-calculus using a stack of regions

Mads Tofte, Jean-Pierre Talpin · 1994 · 333 citations · Full text

Engineering, Automated Reasoning, Program Analysis +14

POLYCHRONY for System Design

Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann · Journal of Circuits Systems and Computers · 2003 · 229 citations

Hardware Modeling, Engineering, Hardware Verification Language +21

The Type and Effect Discipline

Jean-Pierre Talpin, Pierre Jouvelot · Information and Computation · 1994 · 187 citations

Methodological Orientation, Behavioral Sciences, Behavior Management +4

The type and effect discipline

Jean-Pierre Talpin, Pierre Jouvelot · 2003 · 102 citations

Methodological Orientation, Engineering, Type Generalization +17

Rows per page

1–5 of 50