Folgen
Jacek Sroka
Jacek Sroka
Bestätigte E-Mail-Adresse bei mimuw.edu.pl
Titel
Zitiert von
Zitiert von
Jahr
A distributed algorithm for anytime coalition structure generation
T Michalak, J Sroka, T Rahwan, M Wooldridge, P McBurney, N Jennings
972010
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
842011
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
652010
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
652008
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
322009
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
302007
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
282005
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
262016
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
202011
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
192015
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
102009
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
102008
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), 1-15, 2021
92021
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
92005
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
82013
XQTav: an XQuery processor for Taverna environment
J Sroka, G Kaczor, J Tyszkiewicz, AM Kierzek
Bioinformatics 22 (10), 1280-1281, 2006
82006
Strati5-open mobile software for Harris matrix
J Sikora, J Sroka, J Tyszkiewicz
CAA2015. Keep the revolution going. Proceedings of the 43rd annual …, 2016
72016
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
62016
On generating*-sound nets with substitution
J Sroka, P Chrzastowski-Wachtel, J Hidders
2011 Eleventh International Conference on Application of Concurrency to …, 2011
42011
Javaspaces netbeans: a linda workbench for distributed programming course
M Dukielska, J Sroka
Proceedings of the fifteenth annual conference on Innovation and technology …, 2010
42010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20