 | 2009 |
| 8 |  | Tomasz P. Michalak,
Talal Rahwan,
Jacek Sroka,
Andrew Dowell,
Michael J. Wooldridge,
Peter McBurney,
Nicholas R. Jennings:
On representing coalitional games with externalities.
ACM Conference on Electronic Commerce 2009: 11-20 |
| 7 |  | Jacek Sroka,
Jan Hidders:
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I.
Fundam. Inform. 92(3): 279-299 (2009) |
| 6 |  | Jacek Sroka,
Jan Hidders:
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.
Fundam. Inform. 92(4): 373-396 (2009) |
| 2008 |
| 5 |  | Jan Hidders,
Jacek Sroka:
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects.
OTM Conferences (1) 2008: 374-391 |
| 4 |  | Jan Hidders,
Natalia Kwasnikowska,
Jacek Sroka,
Jerzy Tyszkiewicz,
Jan Van den Bussche:
DFL: A dataflow language based on Petri nets and nested relational calculus.
Inf. Syst. 33(3): 261-284 (2008) |
| 2007 |
| 3 |  | Jan Hidders,
Natalia Kwasnikowska,
Jacek Sroka,
Jerzy Tyszkiewicz,
Jan Van den Bussche:
A Formal Model of Dataflow Repositories.
DILS 2007: 105-121 |
| 2006 |
| 2 |  | Jacek Sroka,
Grzegorz Kaczor,
Jerzy Tyszkiewicz,
Andrzej M. Kierzek:
XQTav: an XQuery processor for Taverna environment.
Bioinformatics 22(10): 1280-1281 (2006) |
| 2005 |
| 1 |  | Jan Hidders,
Natalia Kwasnikowska,
Jacek Sroka,
Jerzy Tyszkiewicz,
Jan Van den Bussche:
Petri Net + Nested Relational Calculus = Dataflow.
OTM Conferences (1) 2005: 220-237 |