R. Wieringa

MaRDI QIDQ1353965zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Risk assessment as an argumentation game Lecture Notes in Computer Science	2013-10-04	Paper
Comparing Petri net and activity diagram variants for workflow modelling -- a quest for reactive Petri nets Petri Net Technology for Communication-Based Systems	2011-04-08	Paper
scientific article; zbMATH DE number 2006478 (Why is no real title available?)	2003-11-20	Paper
Extending CTL with Actions and Real Time Journal Of Logic And Computation	2002-12-15	Paper
scientific article; zbMATH DE number 1735828 (Why is no real title available?)	2002-10-15	Paper
scientific article; zbMATH DE number 1708017 (Why is no real title available?)	2002-02-19	Paper
scientific article; zbMATH DE number 1696844 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1693514 (Why is no real title available?)	2002-01-22	Paper
Regular database update logics Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1569123 (Why is no real title available?)	2001-02-22	Paper
scientific article; zbMATH DE number 1304381 (Why is no real title available?)	1999-06-17	Paper
scientific article; zbMATH DE number 1182729 (Why is no real title available?)	1999-02-04	Paper
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? Annals of Mathematics and Artificial Intelligence	1997-10-09	Paper
Actors, actions, and initiative in normative system specification Annals of Mathematics and Artificial Intelligence	1997-05-13	Paper
Free choice and contextually permitted actions Studia Logica	1997-04-21	Paper
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases Journal Of Logic And Computation	1995-07-27	Paper

Research outcomes over time

This page was built for person: R. Wieringa