Jan Hidders

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
On Determining the AND-OR Hierarchy in Workflow Nets Fundamenta Informaticae	2018-03-02	Paper
A formal and unified description of XML manipulation languages Fundamenta Informaticae	2017-07-28	Paper
On generating hierarchical workflow nets and their extensions and verifying hierarchicality Fundamenta Informaticae	2016-08-15	Paper
Relational lattices: from databases to universal algebra Journal of Logical and Algebraic Methods in Programming	2016-06-22	Paper
Relational Lattices Relational and Algebraic Methods in Computer Science	2014-04-16	Paper
The navigational power of web browsers Theory of Computing Systems	2012-12-06	Paper
On-the-fly auditing of business processes Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
A formal semantics for the Taverna 2 workflow model Journal of Computer and System Sciences	2010-07-08	Paper
scientific article; zbMATH DE number 5605068 (Why is no real title available?)	2009-09-19	Paper
Towards a formal semantics for the process model of the Taverna workbench. I	2009-07-14	Paper
Database Programming Languages Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 2086669 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1982643 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1953145 (Why is no real title available?)	2003-07-25	Paper

Research outcomes over time

This page was built for person: Jan Hidders