![Jacek Sroka](../zdjecia/sroka2_150_200.jpg) |
My Papers |
2014
|
Sroka J., Hidders J.:
On generating *-sound nets with substitution
Inf. Syst., Volume 40, Pages 32-46 (2014)
bib,
pdf,
ee
|
2013
|
Hidders J., Sroka J., Missier P.:
Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13)
SIGMOD Record, Volume 42, Issue 4, Pages 73-77 (2013)
bib,
pdf,
ee
Grabowski M., Hidders J., Sroka J.:
Representing MapReduce Optimisations in the Nested Relational Calculus
SIGMOD Record, Volume 42, Issue 4, Pages 73-77 (2013)
bib,
pdf,
ee
Hidders J., Missier P., Sroka J., Van den Bussche J.:
Special Issue introduction: Scalable Workflow Enactment Engines and Technology. Preface
Fundam. Inform., Volume 128, Issue 3, Pages i-iii (2013)
bib,
pdf,
ee
|
2012
|
Hidders J., Sroka J., Missier P.:
Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12)
SIGMOD Record, Volume 41, Issue 4, Pages 60-64 (2012)
bib,
pdf,
ee
|
2011
|
Sroka J., Krupa Ł., Kierzek A. M., Tyszkiewicz J.:
CalcTav – Integration of a Spreadsheet and Taverna Workbench
Bioinformatics, Volume 27, Issue 18, Pages 2618-2619 (2011)
bib,
pdf,
ee
Sroka J., Chrząstowski-Wachtel P., Hidders J.:
On generating *-sound nets with substitution
International Conference on Application of Concurrency to System Design (ACSD) 2011, Newcastle, UK
bib,
pdf,
ee
Sroka J., Bieniasz-Krzywiec L., Gwozdz S., Leniowski D., Lacki J., Markowski M., Avignone-Rossa C., Bushell M.E., McFadden J., Kierzek A.M.:
Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface
BMC Bioinformatics, Volume 12, Pages 196 (2011)
bib,
pdf,
ee
Rahwan T. , Michalak T., Elkind E., Faliszewski P., Sroka J., Wooldridge M., Jennings N. R.:
Constrained Coalition Formation
Conference on Artificial Intelligence (AAAI) 2011, San Francisco, USA
bib,
pdf,
ee
Doherty P., Michalak T., Sroka J., Szalas A.:
Contextual Coalitional Games
Indian Conference on Logic and its Applications (ICLA) 2011, LNCS 6521, Pages 65-78
bib,
pdf
|
2010
|
Michalak T. P., Sroka J., Rahwan T., Wooldridge M., McBurney P., Jennings N. R.:
A distributed algorithm for anytime coalition structure generation
International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2010, Pages 1007-1014
bib,
pdf
Rahwan T., Michalak T. P., Croitoru M., Sroka J., Jennings N. R.:
A Network Flow Approach to Coalitional Games
European Conference on Artificial Intelligence (ECAI) 2010, Pages 1017-1018
bib,
pdf
Dukielska M., Sroka J.:
JavaSpaces NetBeans: a Linda workbench for distributed programming course
Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), ACM 2010, Pages 23-27
bib,
pdf
Sroka J., Hidders J., Missier P., Goble C.A.:
A formal semantics for the Taverna 2 workflow model
J. Comput. Syst. Sci. Volume 76, Issue 6, Pages 490-508 (2010)
bib,
pdf,
ee
Sroka J., Włodarczyk P., Krupa Ł., Hidders J.:
DFL designer: collection-oriented scientific workflows with Petri nets and nested relational calculus
1st International Workshop on Workflow Approaches to New Data-centric Science (WANDS) 2010, Indianapolish, USA
bib,
pdf,
ee
|
2009
|
Sroka, J., Hidders, J.:
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
Fundamenta Informaticae, Volume 92, Issue 3, Pages 279–299 (2009)
bib,
pdf,
ee
Sroka, J., Hidders, J.:
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Fundamenta Informaticae, Volume 92, Issue 4, Pages 373-396 (2009)
bib,
pdf,
ee
Michalak, T., Rahwan, T., Sroka, J., Dowell, A., Wooldridge, M., McBurney, P., Jennings, N.:
On representing coalitional games with externalities
ACM Conference on Electronic Commerce (EC) 2009, Pages 11-20
bib,
pdf
Michalak, T., Sroka, J., Wooldridge, M., McBurney, P.:
On distributing coalition structure generation
Workshop on Concurrency, Specification, and Programming (CS&P) 2009, Pages 406-418
bib,
pdf
|
2008
|
Hidders, J., Sroka, J.:
Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects
OTM Conferences (1) - Cooperative Information Systems (CoopIS) 2008, LNCS 5331, Pages 374-391
bib,
pdf
Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.:
DFL: A dataflow language based on Petri nets and nested relational calculus
Information Systems, Volume 33, Issue 3, Pages 261-284 (2008)
bib,
pdf,
ee
|
2007
|
Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.:
A formal model of dataflow repositories
Workshop on Data Integration in Life Sciences (DILS) 2007, LNBI 4544, Pages 105-121
bib,
pdf
Dopiera, M., Kawa, A., Krewski, P., Sroka, J., Tyszkiewicz, J., Weksej, T.:
Tavernalc: How to transform your OpenOffice Calc into a grid
OpenOffice.org Annual Conference (OOoCon) 2007
bib
|
2006
|
Sroka, J., Kaczor, G., Tyszkiewicz, J., Kierzek A. M.:
XQTav: an XQuery processor for Taverna environment
Bioinformatics, Volume 22, Issue 10, Pages 1280-1281 (2006)
bib,
pdf,
ee
|
2005
|
Hidders, J., Kwasnikowska, N., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.:
Petri net + nested relational calculus = dataflow
OTM Conferences (1) - Cooperative Information Systems (CoopIS) 2005, LNCS 3760, Pages 220-237
bib,
pdf
Gambin, A., Hidders, J., Kwasnikowska, N., Lasota, S., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.:
NRC as a formal model for expressing bioinformatics workflows
Poster at 13th Annual Int. Conf. on Intelligent Systems for Molecular Biology (ISMB)
bib,
abstract,
poster
Gambin, A., Hidders, J., Kwasnikowska, N., Lasota, S., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.:
Well constructed workflows in bioinformatics
In: Proc. 1st Workshop on Database Issues in Biological Databases (DBiBD)
bib,
pdf
|
2004 |
Sroka, J.:
XQuery - kto pyta, nie błądzi
Software 2.0, Volume 114, Issue 6, June 2004, Pages 18-23
bib
|
2003 |
Sroka, J.:
Rozwijanie dużego systemu w warunkach akademickich
In: Problemy i metody inżynierii oprogramowania, Proc. V Krajowa konferencja inżynierii oprogramowania, 2003, Pages 663-674
bib,
pdf
|
Back to Home |
Jacek Sroka
Last modified on: 2014-12-15
|