R. Wieringa

Available identifiers

zbMath Open wieringa.roel-jDBLPw/RoelWieringaWikidataQ16152037 ScholiaQ16152037MaRDI QIDQ1353965

List of research outcomes

Publication	Date of Publication	Type
Risk assessment as an argumentation game	2013-10-04	Paper
Comparing Petri net and activity diagram variants for workflow modelling -- a quest for reactive Petri nets	2011-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q4435844	2003-11-20	Paper
Extending CTL with Actions and Real Time	2002-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4329182	2002-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q2772436	2002-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q2767116	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2764109	2002-01-22	Paper
Regular database update logics	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4762649	2001-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4251119	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4400801	1999-02-04	Paper
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?	1997-10-09	Paper
Actors, actions, and initiative in normative system specification	1997-05-13	Paper
Free choice and contextually permitted actions	1997-04-21	Paper
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases	1995-07-27	Paper

Research outcomes over time

This page was built for person: R. Wieringa