Data Centric Workflows for Crowdsourcing (Q5100748): Difference between revisions

@@ Property / cites work @@
+Petri Nets with Structured Data
@@ Property / cites work: Petri Nets with Structured Data / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+On the Automated Verification of Web Applications with Embedded SQL
+Normal rank
@@ Property / cites work @@
+Dual regularization of linear programming problems
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+Process-centric views of data-driven business artifacts
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Q4511269
@@ Property / cites work: Q4511269 / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding First-Order Satisfiability when Universal and Existential Variables are Separated
+Normal rank
@@ Property / cites work @@
+Preserving correctness during business process model configuration
+Normal rank
@@ Property / cites work @@
+Soundness of workflow nets: classification, decidability, and analysis
+Normal rank