Alan Schmitt

Publications

1.3K

Citations

H-Index

2003

Active since

Affiliations

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

Centre Inria de l'Université Grenoble Alpes

University of Pennsylvania

California University of Pennsylvania

Centre National de la Recherche Scientifique

Alan Schmitt is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisAutomated ReasoningSemanticsSoftware AnalysisDiscrete MathematicsFormal Specification

Publications per year

2003–2018

Publications

Combinators for bidirectional tree transformations

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore et al. · ACM Transactions on Programming Languages and Systems · 2007 · 407 citations · Full text

Mathematical Programming, Engineering, Semantics +20

Boomerang

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce et al. · 2008 · 179 citations

Optical Design, Engineering, Ophthalmology +6

Combinators for bi-directional tree transformations

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore et al. · 2005 · 172 citations

Mathematical Programming, Engineering, Semantics +21

A trusted mechanised JavaScript specification

Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations

Engineering, Information Security, Verification +22

On the expressiveness and decidability of higher-order process calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi et al. · Information and Computation · 2010 · 75 citations · Full text

Formal Specification, Engineering, Automated Reasoning +6

Rows per page

1–5 of 20