| ||
1. | Report from the first workshop on scalable workflow enactment engines and technology (SWEET'12)
SIAM JOURNAL ON COMPUTING Tom 41 Nr 4 r. 2012, str. 60-64 (Artykuł) Jan Hidders, Paolo Missier, Jacek Sroka | |
2. | Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface
BMC BIOINFORMATICS Tom 12 r. 2011, str. 196-196 (Artykuł) Jacek Sroka, Łukasz Bieniasz-Krzywiec, Szymon Gwozdz, Dariusz Leniowski, Jakub Łącki, Mateusz Markowski, Claudio Avignone-Rossa, Michael Bushell, Johnjoe McFadden, Andrzej Kierzek | |
3. | CalcTav - Integration of a Spreadsheet and Taverna Workbench
BIOINFORMATICS Tom 27 Nr 18 r. 2011, str. 2618-2619 (Artykuł) Jacek Sroka, Łukasz Krupa, Andrzej Kierzek, Jerzy Tyszkiewicz | |
4. | Contextual Coalitional Games
LECTURE NOTES IN COMPUTER SCIENCE Tom 6521 r. 2011, str. 65-78 (Artykuł konferencyjny) Patrick Doherty, Jacek Sroka, Andrzej Szałas, Tomasz Michalak | |
5. | A formal semantics for the Taverna 2 workflow model
JOURNAL OF COMPUTER AND SYSTEM SCIENCES Tom 76 Nr 6 r. 2010, str. 490-508 (Artykuł) Jacek Sroka, Jan Hidders, Paolo Missier, Carole A. Goble | |
6. | Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I
FUNDAMENTA INFORMATICAE Tom 92 Nr 3 r. 2009, str. 279-299 (Artykuł) Jacek Sroka, Jan Hidders | |
7. | Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
FUNDAMENTA INFORMATICAE Tom 92 Nr 4 r. 2009, str. 373-396 (Artykuł) Jacek Sroka, Jan Hidders | |
8. | DFL: A dataflow language based on Petri nets and nested relational calculus
INFORMATION SYSTEMS Tom 33 Nr 3 r. 2008, str. 261-284 (Artykuł) Jan Hidders, Natalia Kwaśnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
9. | A Formal Model of Dataflow Repositories
LECTURE NOTES IN COMPUTER SCIENCE Tom 4544 r. 2007, str. 105-121 (Artykuł konferencyjny) Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
10. | XQTav: an XQuery processor for Taverna environment
BIOINFORMATICS Tom 22 Nr 10 r. 2006, str. 1280-1281 (Artykuł) Jacek Sroka, Grzegor Kaczor, Jerzy Tyszkiewicz, Andrzej Kierzek | |
11. | Petri Net + Nested Relational Calculus = Dataflow
LECTURE NOTES IN COMPUTER SCIENCE Tom 3760 r. 2005, str. 220-237 (Artykuł konferencyjny) Jan Hidders, Natalia Kwasnikowska, Sławomir Lasota, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
| ||
12. | Dialog społeczny na poziomie regionalnym. Ocena szans rozwoju
IPiSS, r. 2005 (Książka) Dariusz Zalewski, Dariusz Zalewski (Redaktor), Kazimierz Frieske, Jacek Sroka, Andrzej Zybertowicz, Lesław Gilejko | |
| ||
13. | Constrained Coalition Formation
w: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, str. 10-20, AAAI Press, r. 2011 (Artykuł konferencyjny) Talal Rahwan, Tomasz Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicolas Jennings | |
14. | On generating *-sound nets with substitution
w: Proceedings ot the International Conference on Application of Concurrency to System Design (ACSD) 2011, str. 3-12, IEEE Computer Society, r. 2011 (Artykuł konferencyjny) Jacek Sroka, Piotr Chrząstowski-Wachtel, Jan Hidders | |
15. | A distributed algorithm for anytime coalition structure generation
w: AAMAS, str. 1007-1014, r. 2010 (Artykuł konferencyjny) Tomasz P. Michałak, Jacek Sroka, Talal Rahwan, Michael Wooldridge, Peter McBurney, Nicholas R. Jennings | |
16. | A Network Flow Approach to Coalitional Games
w: ECAI, str. 1017-1018, r. 2010 (Artykuł konferencyjny) Talal Rahwan, Tomasz P. Michałak, Madalina Croitoru, Jacek Sroka, Nicholas R. Jennings | |
17. | DFL designer: collection-oriented scientific workflows with Petri nets and nested relational calculus
w: WANDS, str. 1-6, r. 2010 (Artykuł konferencyjny) Jacek Sroka, P. Włodarczyk, L. Krupa, J. Hidders | |
18. | JavaSpaces NetBeans: a linda workbench for distributed programming course
w: ITiCSE, str. 23-27, r. 2010 (Artykuł konferencyjny) Magdalena Dukielska, Jacek Sroka | |
19. | Systemy informatyczne zarządzania treścią
w: Informatyka Gospodarcza, str. 507-526, r. 2010 (Esej lub rozdział w książce) Jacek Sroka, J. Hidders | |
20. | On distributing coalition structure generation
w: Workshop on Concurrency, Specification, and Programming (CS&P), str. 406-418, r. 2009 (Artykuł konferencyjny) Tomasz Michalak, Jacek Sroka, Michael Wooldridge, Peter McBurney | |
21. | On representing coalitional games with externalities
w: ACM Conference on Electronic Commerce, str. 11-20, r. 2009 (Artykuł konferencyjny) Tomasz P. Michałak, Talal Rahwan, Jacek Sroka, Andrew Dowell, Michael J. Wooldridge, Peter McBurney, Nicholas R. Jennings | |
22. | Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects.
w: OTM Conferences, str. 374-391, r. 2008 (Artykuł konferencyjny) Jan Hidders, Jacek Sroka |