Eerke A. Boiten

Available identifiers

zbMath Open boiten.eerke-aWikidataQ102257050 ScholiaQ102257050MaRDI QIDQ1193745

List of research outcomes

Publication	Date of Publication	Type
Understanding, Explaining, and Deriving Refinement	2022-03-02	Paper
Editorial	2022-01-11	Paper
Refinement	2018-11-30	Paper
Diversity and adjudication	2016-12-15	Paper
Introducing extra operations in refinement	2016-08-05	Paper
Relational concurrent refinement. III: Traces, partial relations and automata	2016-08-05	Paper
Relational Concurrent Refinement: Automata	2016-08-01	Paper
More Relational Concurrent Refinement: Traces and Partial Relations	2014-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q2844822	2013-08-19	Paper
Incompleteness of relational simulations in the blocking paradigm	2010-11-25	Paper
The Logic of Large Enough	2010-07-26	Paper
Relational concurrent refinement. II: Internal operations and outputs	2009-05-27	Paper
Modelling Divergence in Relational Concurrent Refinement	2009-02-24	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Relational concurrent refinement	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4472184	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472185	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4413670	2003-07-21	Paper
A formal framework for viewpoint consistency	2002-09-18	Paper
Combining component specifications in Object-Z and CSP.	2002-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4790345	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2724177	2001-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2721099	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4762658	2001-02-22	Paper
Constructive consistency checking for partial specification in Z	2000-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4494251	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4250653	1999-11-02	Paper
Strategies for consistency checking based on unification	1999-03-30	Paper
Specifying and refining internal operations in \(Z\)	1999-03-09	Paper
Improving recursive functions by inverting the order of evaluation	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eerke A. Boiten