Jan Hidders

From MaRDI portal
Person:299190

Available identifiers

zbMath Open hidders.janMaRDI QIDQ299190

List of research outcomes





PublicationDate of PublicationType
On Determining the AND-OR Hierarchy in Workflow Nets2018-03-02Paper
A Formal and Unified Description of XML Manipulation Languages2017-07-28Paper
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality2016-08-15Paper
Relational lattices: from databases to universal algebra2016-06-22Paper
Relational Lattices2014-04-16Paper
The navigational power of web browsers2012-12-06Paper
On-the-Fly Auditing of Business Processes2011-01-08Paper
A formal semantics for the Taverna 2 workflow model2010-07-08Paper
https://portal.mardi4nfdi.de/entity/Q33965652009-09-19Paper
Towards a formal semantics for the process model of the Taverna workbench. I2009-07-14Paper
Database Programming Languages2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q47372062004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44267192003-09-16Paper
https://portal.mardi4nfdi.de/entity/Q44145492003-07-25Paper

Research outcomes over time

This page was built for person: Jan Hidders

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:299190&oldid=7331043"
Powered by MediaWiki