Concepedia

Alban Ponse

AP

22

Publications

507

Citations

16

H-Index

1994

Active since

Affiliations

University of Amsterdam(Current)

Utrecht University

Centrum Wiskunde & Informatica

Alban Ponse is an author at University of Amsterdam specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisFormal VerificationSemanticsSoftware AnalysisProcess ControlSoftware Design

Publications per year

1994–2020

22

Publications

22

Combining programs and state machines

J.A. Bergstra, Alban Ponse · The Journal of Logic and Algebraic Programming · 2002 · 48 citations

Abstract Machine, Engineering, State Space Search +8

Execution architectures for program algebra

J.A. Bergstra, Alban Ponse · Journal of Applied Logic · 2006 · 41 citations

Engineering, Program Analysis, Compiler Technology +12

Process algebra with guards: Combining Hoare logic with process algebra

Jan Friso Groote, Alban Ponse · Formal Aspects of Computing · 1994 · 40 citations · Full text

Cancellation Meadows: A Generic Basis Theorem and Some Applications

J. A. Bergstra, I. Bethke, Alban Ponse · The Computer Journal · 2012 · 35 citations · Full text

Modal Logic and Process Algebra

Alban Ponse, Maarten de Rijke, Yde Venema · Data Archiving and Networked Services (DANS) · 1995 · 35 citations

Engineering, Automated Reasoning, Formal Methods +3

Rows per page

1–5 of 22