Steffen van Bakel - Concepedia

Author

Steffen van Bakel

Also Known As

S. van Bakel, S.V. Bakel, STEFFEN VAN BAKEL, STEFFEN van BAKEL, Sophie Van Bakel, Sophie van Bakel, Steffen Bakel, Steffen Van Bakel, Steffen van Bakel, van Bakel, Steffen

Publications

754

Citations

H-Index

Concepts

All Affiliations

Imperial College London University of Turin Radboud University Nijmegen École Normale Supérieure - PSL École Normale Supérieure de Lyon

About

Steffen van Bakel is an author at Imperial College London specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	259
2	Computer Science	6	6	213
3	Combinatorial Optimization	3	3	127
4	Language Studies	1	1	24
5	Linear Optimization	1	1	18

Steffen van Bakel

Publications

447

Citations

H-Index

Page 1

	Year	Citations
Complete restrictions of the intersection type discipline Steffen van Bakel Theoretical Computer Science Type TheoryFormal MethodsType SystemEnumerative GeometryComplete Restrictions	1992	142
Intersection type assignment systems Steffen van Bakel Theoretical Computer Science Mathematical ProgrammingConstraint SolvingEngineeringAutomated ReasoningFormal Methods	1995	99
Intersection types for explicit substitutions Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Information and Computation Type TheoryIntersection TypesType SystemGeneric Programming	2003	36
Principal Type Schemes for the Strict Type Assignment System Steffen van Bakel Journal of Logic and Computation Mathematical ProgrammingEngineeringPrincipal Type SchemesGeneric ProgrammingType Theory	1993	30
Normalization Results for Typeable Rewrite Systems Steffen van Bakel, Maribel Fernández Information and Computation EngineeringAutomated ReasoningRegulated RewritingFormal MethodsComputer Science	1997	30
Computation with classical sequents Steffen van Bakel, Pierre Lescanne Mathematical Structures in Computer Science Reduction RulesFormal LogicComputational ContentEngineeringElaborate Calculi	2008	24
Comparing cubes of typed and type assignment systems Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Annals of Pure and Applied Logic EngineeringAutomated ReasoningProgram AnalysisType TheoryDependently Typed Programming	1997	20
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing Steffen van Bakel Notre Dame Journal of Formal Logic Mathematical ProgrammingIntersection TypesEngineeringType TheoryFormal Methods	2004	18
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS Steffen van Bakel Fundamenta Informaticae Mathematical ProgrammingIntersection TypesEngineeringAutomated ReasoningType Theory	1996	16
Logical Equivalence for Subtyping Object and Recursive Types Steffen van Bakel, Ugo de’Liguoro Theory of Computing Systems EngineeringSubstructural LogicAutomated ReasoningType TheoryFormal Methods	2007	12

Page 1