Marc Bezem - Concepedia

Author

Marc Bezem

University of Bergen ORCID

Also Known As

Adams, Robin, Bezem, M.A., Bezem, Marc, Bezem, Marcus Aloysius, M. Bezem, MARC BEZEM, Marc Bezem, Parmann, Erik

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

University of Bergen Utrecht University University of Gothenburg Chalmers University of Technology Centrum Wiskunde & Informatica

About

Marc Bezem is an author at University of Bergen specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	289
2	Computer Science	3	3	157
3	Combinatorial Optimization	2	2	46
4	Physics	1	1	114
5	Design	1	1	17

Marc Bezem

Publications

605

Citations

H-Index

Page 1

	Year	Citations
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals Marc Bezem Journal of Symbolic Logic Nonlinear Functional AnalysisEngineeringMajorizable FunctionalsPhysicsMajorizability Notion	1985	114
On the computational content of the axiom of choice Stefano Berardi, Marc Bezem, Thierry Coquand Journal of Symbolic Logic Computational ContentConstructive MathematicsNon-classical LogicEngineeringComputational Social Choice	1998	102
Acyclic programs Krzysztof R. Apt, Marc Bezem New Generation Computing	1991	89
Automated Proof Construction in Type Theory Using Resolution Marc Bezem, Dimitri Hendriks, Hans de Nivelle Journal of Automated Reasoning	2002	39
A Model of Type Theory in Cubical Sets Marc Bezem, Thierry Coquand, Simon Huber Bergen Open Research Archive (BORA) (University of Bergen)	2014	36
Hard problems in max-algebra, control theory, hypergraphs and other areas Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell Information Processing Letters Mathematical ProgrammingAlgebraic LogicEngineeringExtremal Graph TheoryHard Problems	2009	30
Characterizing Termination of Logic Programs with Level Mappings. Marc Bezem CWI's Institutional Repository (Centrum Wiskunde & Informatica)	1989	23
Formalizing process algebraic verifications in the calculus of constructions Marc Bezem, Roland Bol, Jan Friso Groote Formal Aspects of Computing	1997	22
Expressive power of digraph solvability Marc Bezem, Clemens Grabmayer, Michał Walicki Annals of Pure and Applied Logic Directed GraphDigraph SolvabilityEngineeringGraph TheoryReachability Problem	2011	22
Proceedings of the International Conference on Typed Lambda Calculi and Applications Marc Bezem, Jan Friso Groote Typed Lambda CalculiEngineeringAutomated ReasoningType TheoryDependently Typed Programming	1993	21

Page 1