Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Jacek Sroka
2018
- Kamil Kedzia, Wojtek Ptak, Jacek Sroka i Andrzej M. Kierzek, Simulation of multicellular populations with Petri nets and genome scale intracellular networks, Science Of Computer Programming 157 2018, s. 3–16.zobacz w PBN
- Marek Grabowski, Grzegorz Bokota, Jacek Sroka i 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, s. 199–219.zobacz w PBN
- Foto Afrati, Jacek Sroka, Ke Yi i Jan Hidders (red.), BeyondMR'18: Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, ACM, New York, NY, USA 2018.zobacz w PBN
2017
- Foto N. Afrati i Jacek Sroka (red.), 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.zobacz w PBN
- Jacek Sroka, Artur Leśniewski, Mirosław Kowaluk, Krzysztof Stencel i Jerzy Paweł Tyszkiewicz, Towards minimal algorithms for big data analytics with spreadsheets, w: 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, s. 1:1–1:4.zobacz w PBN
- Aleksy Andrzej Schubert, Jacek Sroka i Jerzy Paweł Tyszkiewicz, Systematic Programming in a Spreadsheet, w: IS-EUD 2017 6th international symposium on end-user development, Eindhoven University of Technology, Eindhoven 2017, s. 10–17.zobacz w PBN
- Jacek Sroka i Jan Hidders, On Determining the AND-OR Hierarchy in Workflow Nets, Fundamenta Informaticae 156 (1) 2017, s. 95–123.zobacz w PBN
- Foto N. Afrati, Jan Hidders, Christopher R\'e, Jacek Sroka i Jeffrey D. Ullman, Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16), Sigmod Record 46 (2) 2017, s. 43–48.zobacz w PBN
- Jacek Sroka i Jan Hidders, Finding AND-OR Hierarchies in Workflow Nets, Arxiv abs/1701.02199 2017.zobacz w PBN
- Foto N. Afrati, Jan Hidders, Paraschos Koutris, Jacek Sroka i Jeffrey D. Ullman, Report from the Fourth Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR’17), Sigmod Record 2017.zobacz w PBN
2016
- Jerzy Sikora, Jacek Sroka i Jerzy Paweł Tyszkiewicz, Programming Communication with the User in Multiplatform Spreadsheet Applications, w: Software Technologies: Applications and Foundations, Springer International Publishing, 2016, s. 356–371.zobacz w PBN
- Wojciech Ptak, Andrzej M. Kierzek i Jacek Sroka, AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks, w: Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, Springer, 2016, s. 113–122.zobacz w PBN
- Marek Rogala, Jan Hidders i Jacek Sroka, DatalogRA: datalog with recursive aggregation in the spark RDD model, w: Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems, Redwood Shores, CA, USA, June 24 - 24, 2016, ACM, 2016, s. 3.zobacz w PBN
- Foto N. Afrati, Jacek Sroka i Jan Hidders (red.), 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.zobacz w 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 i Andrzej M Kierzek, MUFINS: multi-formalism interaction network simulator, Npj Systems Biology And Applications 2 2016.zobacz w PBN
- Jerzy Sikora, Jacek Sroka i Jerzy Paweł Tyszkiewicz, Strati5 - Open Mobile Software for Harris Matrix, w: 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, s. 1005–1014.zobacz w PBN
2015
- Jan Hidders, Paolo Missier i 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, s. 1–2.zobacz w PBN
- Jerzy Sikora, Jacek Sroka i Jerzy Paweł Tyszkiewicz, Spreadsheet As a Multi-platform Mobile Application, w: Proceedings of the Second ACM International Conference on Mobile Software Engineering and Systems, IEEE, 2015, s. 140–141.zobacz w PBN
- Jacek Sroka, Adrian Panasiuk, Krzysztof Stencel i Jerzy Paweł Tyszkiewicz, Translating Relational Queries into Spreadsheets, Ieee Transactions On Knowledge And Data Engineering 27 (8) 2015, s. 2291–2303.zobacz w PBN
- Jacek Sroka, Piotr Chrząstowski-Wachtel i Jan Hidders, On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality, Fundamenta Informaticae 141 (4) 2015, s. 367–398.zobacz w PBN
2013
- Marek Grabowski, Jan Hidders i Jacek Sroka, Representing MapReduce Optimisations in the Nested Relational Calculus, w: BNCOD, 2013, s. 175–188.zobacz w PBN
- Jan Hidders, Paolo Missier, Jacek Sroka i Jan Van den Bussche, Preface, Fundamenta Informaticae 128 (3) 2013.zobacz w PBN
- Jacek Sroka, Jan Hidders i Paolo Missier, Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13), Sigmod Record 42 (4) 2013, s. 73–77.zobacz w PBN
2011
- Jacek Sroka, Łukasz Bieniasz-Krzywiec, Szymon Gwozdz, Dariusz Leniowski, Jakub Łącki, Mateusz Markowski, Claudio Avignone-Rossa, Michael Bushell, Johnjoe McFadden i 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, s. 196.zobacz w PBN
- Jacek Sroka, Łukasz Krupa, Andrzej Kierzek i Jerzy Tyszkiewicz, CalcTav - Integration of a Spreadsheet and Taverna Workbench, Bioinformatics 27 (18) 2011, s. 2618–2619.zobacz w PBN
- Talal Rahwan, Tomasz Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge i Nicolas Jennings, Constrained Coalition Formation, w: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, AAAI Press, San Francisco 2011.zobacz w PBN
- Jacek Sroka, Piotr Chrząstowski-Wachtel i Jan Hidders, On generating *-sound nets with substitution, w: Proceedings ot the International Conference on Application of Concurrency to System Design (ACSD) 2011, IEEE Computer Society, Los Alamitos 2011.zobacz w PBN
- Patrick Doherty, Jacek Sroka, Andrzej Szałas i Tomasz Michalak, Contextual Coalitional Games, Lecture Notes In Computer Science 6521 2011, s. 65–78.zobacz w PBN
2010
- Tomasz P. Michałak, Jacek Sroka, Talal Rahwan, Michael Wooldridge, Peter McBurney i Nicholas R. Jennings, A distributed algorithm for anytime coalition structure generation, w: AAMAS, 2010.zobacz w PBN
- Talal Rahwan, Tomasz P. Michałak, Madalina Croitoru, Jacek Sroka i Nicholas R. Jennings, A Network Flow Approach to Coalitional Games, w: ECAI, 2010.zobacz w PBN
- Magdalena Dukielska i Jacek Sroka, JavaSpaces NetBeans: a linda workbench for distributed programming course, w: ITiCSE, 2010.zobacz w PBN
- Jacek Sroka, Jan Hidders, Paolo Missier i Carole A. Goble, A formal semantics for the Taverna 2 workflow model, Journal Of Computer And System Sciences 76 (6) 2010, s. 490–508.zobacz w PBN
- Jacek Sroka, P. Włodarczyk, L. Krupa i J. Hidders, DFL designer: collection-oriented scientific workflows with Petri nets and nested relational calculus, w: WANDS, 2010.zobacz w PBN
- Jacek Sroka i J. Hidders, Systemy informatyczne zarządzania treścią, w: Informatyka Gospodarcza, Warszawa 2010.zobacz w PBN
2009
- Tomasz Michalak, Jacek Sroka, Michael Wooldridge i Peter McBurney, On distributing coalition structure generation, w: Workshop on Concurrency, Specification, and Programming (CS&P), 2009.zobacz w PBN
- Tomasz P. Michałak, Talal Rahwan, Jacek Sroka, Andrew Dowell, Michael J. Wooldridge, Peter McBurney i Nicholas R. Jennings, On representing coalitional games with externalities, w: ACM Conference on Electronic Commerce, 2009.zobacz w PBN
- J. Sroka i J. Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae Vol. 92, nr 3 2009, s. 279–299.zobacz w PBN
- Jacek Sroka i Jan Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae 92 (3) 2009, s. 279–299.zobacz w PBN
- J. Sroka i J. Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae Vol. 92, nr 4 2009, s. 373–396.zobacz w PBN
- Jacek Sroka i Jan Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae 92 (4) 2009, s. 373–396.zobacz w PBN
Nie jesteś zalogowany | zaloguj się
