Concepedia

I. Bethke

IB

5

Publications

105

Citations

5

H-Index

1987

Active since

Affiliations

University of Amsterdam(Current)

Utrecht University

I. Bethke is an author at University of Amsterdam specializing in formal methods, engineering, and mathematical programming.

Top concepts

EngineeringFormal MethodsMathematical ProgrammingManagementDecision TheoryProcess ControlComputer ScienceDecision ScienceProgram AnalysisAutomated Reasoning

Publications per year

1987–2012

5

Publications

5

Cancellation Meadows: A Generic Basis Theorem and Some Applications

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

An upper bound for the equational specification of finite state services

J.A. Bergstra, I. Bethke · Information Processing Letters · 2005 · 25 citations

Mathematical Programming, Formal Specification, Engineering +9

Decision problems for pushdown threads

J.A. Bergstra, I. Bethke, Alban Ponse · Acta Informatica · 2007 · 24 citations · Full text

Mathematical Programming, Thread Algebra Emerge, Engineering +17

Polarized process algebra with reactive composition

J.A. Bergstra, I. Bethke · Theoretical Computer Science · 2005 · 11 citations

Polarized Process Algebra, Process Analysis, Process Control +2

On the existence of extensional partial combinatory algebras

I. Bethke · Journal of Symbolic Logic · 1987 · 10 citations

Algebraic Logic, Abstract Algebra, Automated Reasoning +7

Rows per page

1–5 of 5