Static analysis of active XML systems, Trans. Database Syst, vol.34, issue.4, 2009. ,
Collaborative data-driven workflows: think global, act local, Proc. of PODS'13, pp.91-102, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00840306
Business process execution language for Web services (BPEL4WS), 2003. ,
Querying business processes, Proc. of VLDB'06, pp.343-354, 2006. ,
Zum entscheidungsproblem der mathematischen logik, Mathematische Annalen, vol.99, issue.1, pp.342-372, 1928. ,
Relational completeness of data base sublanguages, Database Systems, pp.65-98, 1972. ,
Artifact systems with data dependencies and arithmetic, Trans. on Database Systems, vol.37, issue.3, p.22, 2012. ,
Quality control in crowdsourcing: A survey of quality attributes, assessment techniques, and assurance actions, ACM Computing Surveys, vol.51, issue.1, p.7, 2018. ,
Verification of communicating data-driven web services, Proc. of PODS'06, pp.90-99, 2006. ,
Guarded commands, nondeterminacy and formal derivation of program, Communications of the ACM, vol.18, issue.8, pp.453-457, 1975. ,
Challenges in data crowdsourcing, Trans. on Knowledge and Data Engineering, vol.28, issue.4, pp.901-911, 2016. ,
Verification of relational data-centric dynamic systems with external services, Proc. of PODS 2013, pp.163-174, 2013. ,
On the automated verification of web applications with embedded SQL, Proc. of ICDT'17, vol.68, p.18, 2017. ,
Polynomial algorithms in linear programming, U.S.S.R. Computational Mathematics and Mathematical Physics, vol.20, pp.51-68, 1980. ,
A language for task orchestration and its semantic properties, CON-CUR'06, pp.477-491, 2006. ,
Crowdforge: Crowdsourcing complex work, Proc. of UIST'11, pp.43-52, 2011. ,
Process-centric views of data-driven business artifacts, Journal of Computer and System Sciences, vol.86, pp.82-107, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01167033
Crowdsourcing processes: A survey of approaches and opportunities, IEEE Internet Computing, vol.20, issue.2, pp.50-56, 2016. ,
Collaboratively crowdsourcing workflows with turkomatic, Proc. of CSCW'12, pp.1003-1012, 2012. ,
Complexity results for classes of quantificational formulas, J. Comput. Syst. Sci, vol.21, issue.3, pp.317-353, 1980. ,
Crowdsourced data management: A survey, Trans. on Knowledge and Data Engineering, vol.28, issue.9, pp.2296-2319, 2016. ,
Turkit: tools for iterative tasks on mechanical turk, Proc. of HCOMP'09, pp.29-30, 2009. ,
Über möglichkeiten im relativkalkül, Mathematische Annalen, vol.76, issue.4, pp.447-470, 1915. ,
Using hierarchical skills for optimized task assignment in knowledge-intensive crowdsourcing, Proc. of WWW'16, pp.843-853, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01306481
Computation orchestration. Software and Systems Modeling, vol.6, pp.83-110, 2007. ,
On languages with two variables, Mathematical Logic Quarterly, vol.21, issue.1, pp.135-140, 1975. ,
Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, issue.3, pp.428-445, 2003. ,
, Web Services Business Process Execution Language, OASIS, 2007.
Crowdwon: A modelling language for crowd processes based on workflow nets, AAAI, pp.1284-1290, 2015. ,
Deciding first-order satisfiability when universal and existential variables are separated, Proc. of LICS '16, pp.86-95, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01389744
Modeling, enacting, and integrating custom crowdsourcing processes, TWEB, vol.9, issue.2, 2015. ,
Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.23, issue.3, pp.333-363, 2011. ,
Crowdsourcing complex task automatically by workflow technology, MiPAC'16 Workshop, pp.17-30, 2016. ,