Jacek Sroka

From MaRDI portal
Person:980994

Available identifiers

zbMath Open sroka.jacekMaRDI QIDQ980994

List of research outcomes





PublicationDate of PublicationType
Aggregating over dominated points by sorting, scanning, zip and flat maps2025-01-06Paper
Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism2018-07-18Paper
On Determining the AND-OR Hierarchy in Workflow Nets2018-03-02Paper
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality2016-08-15Paper
Contextual Coalitional Games2010-12-17Paper
A formal semantics for the Taverna 2 workflow model2010-07-08Paper
https://portal.mardi4nfdi.de/entity/Q36380022009-07-14Paper

Research outcomes over time

This page was built for person: Jacek Sroka

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