| A distributed algorithm for anytime coalition structure generation T Michalak, J Sroka, T Rahwan, M Wooldridge, P McBurney, N Jennings | 94 | 2010 |
| Constrained coalition formation T Rahwan, T Michalak, E Elkind, P Faliszewski, J Sroka, M Wooldridge, ... Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 719-725, 2011 | 86 | 2011 |
| DFL: A dataflow language based on Petri nets and nested relational calculus J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche Information Systems 33 (3), 261-284, 2008 | 64 | 2008 |
| A formal semantics for the Taverna 2 workflow model J Sroka, J Hidders, P Missier, C Goble Journal of Computer and System Sciences 76 (6), 490-508, 2010 | 63 | 2010 |
| On representing coalitional games with externalities TP Michalak, T Rahwan, J Sroka, A Dowell, MJ Wooldridge, PJ McBurney, ... Proceedings of the 10th ACM conference on Electronic Commerce, 11-20, 2009 | 31 | 2009 |
| A formal model of dataflow repositories J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche Data Integration in the Life Sciences: 4th International Workshop, DILS 2007 …, 2007 | 29 | 2007 |
| Petri net+ nested relational calculus= dataflow J Hidders, N Kwasnikowska, J Sroka, J Tyszkiewicz, J Van den Bussche On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE …, 2005 | 27 | 2005 |
| MUFINS: multi-formalism interaction network simulator H Wu, A Von Kamp, V Leoncikas, W Mori, N Sahin, A Gevorgyan, C Linley, ... NPJ systems biology and applications 2 (1), 1-10, 2016 | 25 | 2016 |
| Translating relational queries into spreadsheets J Sroka, A Panasiuk, K Stencel, J Tyszkiewicz IEEE Transactions on Knowledge and Data Engineering 27 (8), 2291-2303, 2015 | 20 | 2015 |
| Acorn: a grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface J Sroka, Ł Bieniasz-Krzywiec, S Gwóźdź, D Leniowski, J Łącki, ... BMC bioinformatics 12, 1-10, 2011 | 20 | 2011 |
| PartSeg: a tool for quantitative feature extraction from 3D microscopy images for dummies G Bokota, J Sroka, S Basu, N Das, P Trzaskoma, Y Yushkevich, ... BMC bioinformatics 22, 1-15, 2021 | 12 | 2021 |
| Towards a formal semantics for the process model of the taverna workbench. Part ii J Sroka, J Hidders Fundamenta Informaticae 92 (4), 373-396, 2009 | 9 | 2009 |
| Towards a calculus for collection-oriented scientific workflows with side effects J Hidders, J Sroka OTM Confederated International Conferences" On the Move to Meaningful …, 2008 | 9 | 2008 |
| NRC as a formal model for expressing bioinformatics workflows A Gambin, J Hidders, N Kwasnikowska, S Lasota, J Sroka, J Tyszkiewicz, ... Poster at ISMB, 2005 | 9 | 2005 |
| Strati5-open mobile software for Harris matrix J Sikora, J Sroka, J Tyszkiewicz CAA2015. Keep the revolution going. Proceedings of the 43rd annual …, 2016 | 8 | 2016 |
| Representing mapreduce optimisations in the nested relational calculus M Grabowski, J Hidders, J Sroka Big Data: 29th British National Conference on Databases, BNCOD 2013, Oxford …, 2013 | 8 | 2013 |
| XQTav: an XQuery processor for Taverna environment J Sroka, G Kaczor, J Tyszkiewicz, AM Kierzek Bioinformatics 22 (10), 1280-1281, 2006 | 8 | 2006 |
| DatalogRA: Datalog with recursive aggregation in the Spark RDD model M Rogala, J Hidders, J Sroka Proceedings of the Fourth International Workshop on Graph Data Management …, 2016 | 7 | 2016 |
| DFL designer: collection-oriented scientific workflows with Petri nets and nested relational calculus J Sroka, P Włodarczyk, Ł Krupa, J Hidders Proceedings of the 1st International Workshop on Workflow Approaches to New …, 2010 | 5 | 2010 |
| On generating*-sound nets with substitution J Sroka, P Chrzastowski-Wachtel, J Hidders 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 4 | 2011 |
