Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Jacek Sroka
2018
- Kamil Kedzia, Wojtek Ptak, Jacek Sroka and Andrzej M. Kierzek, Simulation of multicellular populations with Petri nets and genome scale intracellular networks, Science Of Computer Programming 157 2018, p. 3–16.see in PBN
- Marek Grabowski, Grzegorz Bokota, Jacek Sroka and Andrzej M. Kierzek, Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism, Fundamenta Informaticae 160 (1-2) 2018, p. 199–219.see in PBN
- Foto Afrati, Jacek Sroka, Ke Yi and Jan Hidders (eds.), BeyondMR'18: Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, ACM, New York, NY, USA 2018.see in PBN
2017
- Foto N. Afrati and Jacek Sroka (eds.), Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA, May 19, 2017, ACM, 2017.see in PBN
- Jacek Sroka, Artur Leśniewski, Mirosław Kowaluk, Krzysztof Stencel and Jerzy Paweł Tyszkiewicz, Towards minimal algorithms for big data analytics with spreadsheets, in: Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA, May 19, 2017, ACM, 2017, p. 1:1–1:4.see in PBN
- Aleksy Andrzej Schubert, Jacek Sroka and Jerzy Paweł Tyszkiewicz, Systematic Programming in a Spreadsheet, in: IS-EUD 2017 6th international symposium on end-user development, Eindhoven University of Technology, Eindhoven 2017, p. 10–17.see in PBN
- Jacek Sroka and Jan Hidders, On Determining the AND-OR Hierarchy in Workflow Nets, Fundamenta Informaticae 156 (1) 2017, p. 95–123.see in PBN
- Foto N. Afrati, Jan Hidders, Christopher R\'e, Jacek Sroka and Jeffrey D. Ullman, Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16), Sigmod Record 46 (2) 2017, p. 43–48.see in PBN
- Jacek Sroka and Jan Hidders, Finding AND-OR Hierarchies in Workflow Nets, Arxiv abs/1701.02199 2017.see in PBN
- Foto N. Afrati, Jan Hidders, Paraschos Koutris, Jacek Sroka and Jeffrey D. Ullman, Report from the Fourth Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR’17), Sigmod Record 2017.see in PBN
2016
- Jerzy Sikora, Jacek Sroka and Jerzy Paweł Tyszkiewicz, Programming Communication with the User in Multiplatform Spreadsheet Applications, in: Software Technologies: Applications and Foundations, Springer International Publishing, 2016, p. 356–371.see in PBN
- Wojciech Ptak, Andrzej M. Kierzek and Jacek Sroka, AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks, in: Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, Springer, 2016, p. 113–122.see in PBN
- Marek Rogala, Jan Hidders and Jacek Sroka, DatalogRA: datalog with recursive aggregation in the spark RDD model, in: Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems, Redwood Shores, CA, USA, June 24 - 24, 2016, ACM, 2016, p. 3.see in PBN
- Foto N. Afrati, Jacek Sroka and Jan Hidders (eds.), Proceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2016, San Francisco, CA, USA, July 1, 2016, ACM, 2016.see in PBN
- Wu Huihai, Axel von Kamp, Vytautas Leoncikas, Wataru Mori, Nilgun Sahin, Albert Gevorgyan, Catherine Linley, Marek Grabowski, Ahmad A Mannan, Nicholas Stoy, Graham R Stewart, Lara T Ward, David J M Lewis, Jacek Sroka, Hiroshi Matsuno, Steffen Klamt, Hans V Westerhoff, Johnjoe McFadden, Nicholas J Plant and Andrzej M Kierzek, MUFINS: multi-formalism interaction network simulator, Npj Systems Biology And Applications 2 2016.see in PBN
- Jerzy Sikora, Jacek Sroka and Jerzy Paweł Tyszkiewicz, Strati5 - Open Mobile Software for Harris Matrix, in: NEW: CAA2015. Keep The Revolution Going Proceedings of the 43rd Annual Conference on Computer Applications and Quantitative Methods in Archaeology, Archaeopress, Oxford, Wielka Brytania 2016, p. 1005–1014.see in PBN
2015
- Jan Hidders, Paolo Missier and Jacek Sroka, Recent advances in Scalable Workflow Enactment Engines and Technologies, Future Generation Computer Systems-the International Journal Of Grid Computing And Escience 46 2015, p. 1–2.see in PBN
- Jerzy Sikora, Jacek Sroka and Jerzy Paweł Tyszkiewicz, Spreadsheet As a Multi-platform Mobile Application, in: Proceedings of the Second ACM International Conference on Mobile Software Engineering and Systems, IEEE, 2015, p. 140–141.see in PBN
- Jacek Sroka, Adrian Panasiuk, Krzysztof Stencel and Jerzy Paweł Tyszkiewicz, Translating Relational Queries into Spreadsheets, Ieee Transactions On Knowledge And Data Engineering 27 (8) 2015, p. 2291–2303.see in PBN
- Jacek Sroka, Piotr Chrząstowski-Wachtel and Jan Hidders, On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality, Fundamenta Informaticae 141 (4) 2015, p. 367–398.see in PBN
2013
- Marek Grabowski, Jan Hidders and Jacek Sroka, Representing MapReduce Optimisations in the Nested Relational Calculus, in: BNCOD, 2013, p. 175–188.see in PBN
- Jan Hidders, Paolo Missier, Jacek Sroka and Jan Van den Bussche, Preface, Fundamenta Informaticae 128 (3) 2013.see in PBN
- Jacek Sroka, Jan Hidders and Paolo Missier, Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13), Sigmod Record 42 (4) 2013, p. 73–77.see in PBN
2011
- Jacek Sroka, Łukasz Bieniasz-Krzywiec, Szymon Gwozdz, Dariusz Leniowski, Jakub Łącki, Mateusz Markowski, Claudio Avignone-Rossa, Michael Bushell, Johnjoe McFadden and Andrzej Kierzek, Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface, Bmc Bioinformatics 12 2011, p. 196.see in PBN
- Jacek Sroka, Łukasz Krupa, Andrzej Kierzek and Jerzy Tyszkiewicz, CalcTav - Integration of a Spreadsheet and Taverna Workbench, Bioinformatics 27 (18) 2011, p. 2618–2619.see in PBN
- Talal Rahwan, Tomasz Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge and Nicolas Jennings, Constrained Coalition Formation, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, AAAI Press, San Francisco 2011.see in PBN
- Jacek Sroka, Piotr Chrząstowski-Wachtel and Jan Hidders, On generating *-sound nets with substitution, in: Proceedings ot the International Conference on Application of Concurrency to System Design (ACSD) 2011, IEEE Computer Society, Los Alamitos 2011.see in PBN
- Patrick Doherty, Jacek Sroka, Andrzej Szałas and Tomasz Michalak, Contextual Coalitional Games, Lecture Notes In Computer Science 6521 2011, p. 65–78.see in PBN
2010
- Tomasz P. Michałak, Jacek Sroka, Talal Rahwan, Michael Wooldridge, Peter McBurney and Nicholas R. Jennings, A distributed algorithm for anytime coalition structure generation, in: AAMAS, 2010.see in PBN
- Talal Rahwan, Tomasz P. Michałak, Madalina Croitoru, Jacek Sroka and Nicholas R. Jennings, A Network Flow Approach to Coalitional Games, in: ECAI, 2010.see in PBN
- Magdalena Dukielska and Jacek Sroka, JavaSpaces NetBeans: a linda workbench for distributed programming course, in: ITiCSE, 2010.see in PBN
- Jacek Sroka, Jan Hidders, Paolo Missier and Carole A. Goble, A formal semantics for the Taverna 2 workflow model, Journal Of Computer And System Sciences 76 (6) 2010, p. 490–508.see in PBN
- Jacek Sroka, P. Włodarczyk, L. Krupa and J. Hidders, DFL designer: collection-oriented scientific workflows with Petri nets and nested relational calculus, in: WANDS, 2010.see in PBN
- Jacek Sroka and J. Hidders, Systemy informatyczne zarządzania treścią, in: Informatyka Gospodarcza, Warszawa 2010.see in PBN
2009
- Tomasz Michalak, Jacek Sroka, Michael Wooldridge and Peter McBurney, On distributing coalition structure generation, in: Workshop on Concurrency, Specification, and Programming (CS&P), 2009.see in PBN
- Tomasz P. Michałak, Talal Rahwan, Jacek Sroka, Andrew Dowell, Michael J. Wooldridge, Peter McBurney and Nicholas R. Jennings, On representing coalitional games with externalities, in: ACM Conference on Electronic Commerce, 2009.see in PBN
- J. Sroka and J. Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae Vol. 92, nr 3 2009, p. 279–299.see in PBN
- Jacek Sroka and Jan Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae 92 (3) 2009, p. 279–299.see in PBN
- J. Sroka and J. Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae Vol. 92, nr 4 2009, p. 373–396.see in PBN
- Jacek Sroka and Jan Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae 92 (4) 2009, p. 373–396.see in PBN
You are not logged in | log in
