-
1
-
-
84978531879
-
-
Accessed: 2014-12-10
-
Expedia. www.expedia.com. Accessed: 2014-12-10.
-
-
-
-
2
-
-
0034294212
-
Relational transducers for electronic commerce
-
Extended abstract in PODS 98
-
S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000. Extended abstract in PODS 98.
-
(2000)
JCSS
, vol.61
, Issue.2
, pp. 236-269
-
-
Abiteboul, S.1
Vianu, V.2
Fordham, B.3
Yesha, Y.4
-
3
-
-
21344442987
-
On the number of cells defined by a family of polynomials on a variety
-
S. Basu, R. Pollak, and M.-F. Roy. On the number of cells defined by a family of polynomials on a variety. Mathematika, 43(1):120-126, 1996.
-
(1996)
Mathematika
, vol.43
, Issue.1
, pp. 120-126
-
-
Basu, S.1
Pollak, R.2
Roy, M.-F.3
-
4
-
-
84875157508
-
A computationally-grounded semantics for artifact-centric systems and abstraction results
-
Barcelona, Catalonia, Spain, July 16-22, 2011
-
F. Belardinelli, A. Lomuscio, and F. Patrizi. A computationally-grounded semantics for artifact-centric systems and abstraction results. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 738-743, 2011.
-
(2011)
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence
, pp. 738-743
-
-
Belardinelli, F.1
Lomuscio, A.2
Patrizi, F.3
-
5
-
-
82055200394
-
Verification of deployed artifact systems via data abstraction
-
Paphos, Cyprus, December 5-8, 2011 Proceedings
-
F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of deployed artifact systems via data abstraction. In Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, pages 142-156, 2011.
-
(2011)
Service-Oriented Computing - 9th International Conference, ICSOC 2011
, pp. 142-156
-
-
Belardinelli, F.1
Lomuscio, A.2
Patrizi, F.3
-
6
-
-
84893381627
-
An abstraction technique for the verification of artifact-centric systems
-
Rome, Italy, June 10-14 2012
-
F. Belardinelli, A. Lomuscio, and F. Patrizi. An abstraction technique for the verification of artifact-centric systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012.
-
(2012)
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012
-
-
Belardinelli, F.1
Lomuscio, A.2
Patrizi, F.3
-
7
-
-
84868348548
-
Verification of GSM-based artifact-centric systems through finite abstraction
-
Shanghai, China, November 12-15, 2012. Proceedings
-
F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of GSM-based artifact-centric systems through finite abstraction. In Service-Oriented Computing - 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings, pages 17-31, 2012.
-
(2012)
Service-Oriented Computing - 10th International Conference, ICSOC 2012
, pp. 17-31
-
-
Belardinelli, F.1
Lomuscio, A.2
Patrizi, F.3
-
9
-
-
37649013845
-
Artifact-centered operational modeling: Lessons from customer engagements
-
K. Bhattacharya, N. S. Caswell, S. Kumaran, A. Nigam, and F. Y. Wu. Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 46(4):703-721, 2007.
-
(2007)
IBM Systems Journal
, vol.46
, Issue.4
, pp. 703-721
-
-
Bhattacharya, K.1
Caswell, N.S.2
Kumaran, S.3
Nigam, A.4
Wu, F.Y.5
-
10
-
-
20244389224
-
A model-driven approach to industrializing discovery processes in pharmaceutical research
-
K. Bhattacharya et al. A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal, 44(1):145-162, 2005.
-
(2005)
IBM Systems Journal
, vol.44
, Issue.1
, pp. 145-162
-
-
Bhattacharya, K.1
-
11
-
-
38049138975
-
Towards formal analysis of artifact-centric business process models
-
K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In Proc. Int. Conf. on Business Process Management (BPM), pages 288-304, 2007.
-
(2007)
Proc. Int. Conf. on Business Process Management (BPM)
, pp. 288-304
-
-
Bhattacharya, K.1
Gerede, C.E.2
Hull, R.3
Liu, R.4
Su, J.5
-
12
-
-
84880555146
-
-
FTF Beta 1, Jan. OMG Document Number dtc/2013-01-01, Object Management Group
-
BizAgi and Cordys and IBM and Oracle and SAP AG and Singularity (OMG Submitters) and Agile Enterprise Design and Stiftelsen SINTEF and TIBCO and Trisotech (Co-Authors). Case Management Model and Notation (CMMN), FTF Beta 1, Jan. 2013. OMG Document Number dtc/2013-01-01, Object Management Group.
-
(2013)
Case Management Model and Notation (CMMN)
-
-
-
14
-
-
84880550760
-
Foundations of data-aware process analysis: A database theory perspective
-
D. Calvanese, G. De Giacomo, and M. Montali. Foundations of data-aware process analysis: a database theory perspective. In PODS, pages 1-12, 2013.
-
(2013)
PODS
, pp. 1-12
-
-
Calvanese, D.1
De Giacomo, G.2
Montali, M.3
-
15
-
-
84959898797
-
Verification of relational multiagent systems with data types
-
January 25-30, 2015, Austin, Texas, USA
-
D. Calvanese, G. Delzanno, and M. Montali. Verification of relational multiagent systems with data types. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., pages 2031-2037, 2015.
-
(2015)
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
, pp. 2031-2037
-
-
Calvanese, D.1
Delzanno, G.2
Montali, M.3
-
16
-
-
75649120369
-
Artifact-centric workflow dominance
-
D. Calvanese, G. D. Giacomo, R. Hull, and J. Su. Artifact-centric workflow dominance. In ICSOC/ServiceWave, pages 130-143, 2009.
-
(2009)
ICSOC/ServiceWave
, pp. 130-143
-
-
Calvanese, D.1
Giacomo, G.D.2
Hull, R.3
Su, J.4
-
17
-
-
80054953825
-
Artifact-based transformation of IBM global financing: A case study
-
T. Chao et al. Artifact-based transformation of IBM Global Financing: A case study. In BPM, 2009.
-
(2009)
BPM
-
-
Chao, T.1
-
18
-
-
84866501849
-
Artifact systems with data dependencies and arithmetic
-
Also in ICDT 2011
-
E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst., 37(3):22, 2012. Also in ICDT 2011.
-
(2012)
ACM Trans. Database Syst
, vol.37
, Issue.3
, pp. 22
-
-
Damaggio, E.1
Deutsch, A.2
Vianu, V.3
-
19
-
-
84880524612
-
On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles
-
E. Damaggio, R. Hull, and R. Vaculín. On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Information Systems, 38:561-584, 2013.
-
(2013)
Information Systems
, vol.38
, pp. 561-584
-
-
Damaggio, E.1
Hull, R.2
Vaculín, R.3
-
20
-
-
84864572151
-
Verification of conjunctive artifact-centric services
-
G. De Giacomo, R. D. Masellis, and R. Rosati. Verification of conjunctive artifact-centric services. Int. J. Cooperative Inf. Syst., 21(2):111-140, 2012.
-
(2012)
Int. J. Cooperative Inf. Syst
, vol.21
, Issue.2
, pp. 111-140
-
-
De Giacomo, G.1
Masellis, R.D.2
Rosati, R.3
-
23
-
-
70349144063
-
Automatic verification of data-centric business processes
-
A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In ICDT, pages 252-267, 2009.
-
(2009)
ICDT
, pp. 252-267
-
-
Deutsch, A.1
Hull, R.2
Patrizi, F.3
Vianu, V.4
-
24
-
-
84916889827
-
Automatic verification of database-centric systems
-
A. Deutsch, R. Hull, and V. Vianu. Automatic verification of database-centric systems. SIGMOD Record, 43(3):5-17, 2014.
-
(2014)
SIGMOD Record
, vol.43
, Issue.3
, pp. 5-17
-
-
Deutsch, A.1
Hull, R.2
Vianu, V.3
-
26
-
-
33845938560
-
Specification and verification of data-driven web applications
-
A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web applications. JCSS, 73(3):442-474, 2007.
-
(2007)
JCSS
, vol.73
, Issue.3
, pp. 442-474
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
-
27
-
-
35048897436
-
Pure future local temporal logics are expressively complete for mazurkiewicz traces
-
Buenos Aires, Argentina, April 5-8, 2004, Proceedings
-
V. Diekert and P. Gastin. Pure future local temporal logics are expressively complete for Mazurkiewicz traces. In LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pages 232-241, 2004.
-
(2004)
Latin 2004: Theoretical Informatics, 6th Latin American Symposium
, pp. 232-241
-
-
Diekert, V.1
Gastin, P.2
-
28
-
-
84855190947
-
Pure future local temporal logics are expressively complete for mazurkiewicz traces
-
V. Diekert and P. Gastin. Pure future local temporal logics are expressively complete for Mazurkiewicz traces. Inf. Comput., 204(11):1597-1619, 2006.
-
(2006)
Inf. Comput
, vol.204
, Issue.11
, pp. 1597-1619
-
-
Diekert, V.1
Gastin, P.2
-
32
-
-
84958978941
-
On the complexity of the linear-time μ-calculus for petri nets
-
Springer
-
P. Habermehl. On the complexity of the linear-time μ-calculus for petri nets. In Application and Theory of Petri Nets 1997, pages 102-116. Springer, 1997.
-
(1997)
Application and Theory of Petri Nets 1997
, pp. 102-116
-
-
Habermehl, P.1
-
33
-
-
84880554709
-
Verification of relational data-centric dynamic systems with external services
-
PODS 2013, New York, NY, USA - June 22-27, 2013
-
B. B. Hariri, D. Calvanese, G. De Giacomo, A. Deutsch, and M. Montali. Verification of relational data-centric dynamic systems with external services. In Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22-27, 2013, pages 163-174, 2013.
-
(2013)
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
, pp. 163-174
-
-
Hariri, B.B.1
Calvanese, D.2
De Giacomo, G.3
Deutsch, A.4
Montali, M.5
-
34
-
-
84950142907
-
Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events
-
F. H. III
-
R. Hull, E. Damaggio, R. D. Masellis, F. Fournier, M. Gupta, F. H. III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, and R. Vaculín. Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. In ACM DEBS, 2011.
-
(2011)
ACM DEBS
-
-
Hull, R.1
Damaggio, E.2
Masellis, R.D.3
Fournier, F.4
Gupta, M.5
Hobson, S.6
Linehan, M.7
Maradugu, S.8
Nigam, A.9
Sukaviriya, P.10
Vaculín, R.11
-
36
-
-
0003945252
-
The reachability problem requires exponential space
-
Yale University, New Haven, Connecticut
-
R. Lipton. The reachability problem requires exponential space. Research Report 62, Department of Computer Science, Yale University, New Haven, Connecticut, 1976.
-
(1976)
Research Report 62, Department of Computer Science
-
-
Lipton, R.1
-
37
-
-
84880540642
-
Data centric bpm and the emerging case management standard: A short survey
-
M. Marin, R. Hull, and R. Vaculín. Data centric bpm and the emerging case management standard: A short survey. In BPM Workshops, 2012.
-
(2012)
BPM Workshops
-
-
Marin, M.1
Hull, R.2
Vaculín, R.3
-
38
-
-
0037287840
-
Undecidable problems in unreliable computations
-
R. Mayr. Undecidable problems in unreliable computations. Theoretical Computer Science, 297(1):337-354, 2003.
-
(2003)
Theoretical Computer Science
, vol.297
, Issue.1
, pp. 337-354
-
-
Mayr, R.1
-
40
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428-445, 2003.
-
(2003)
IBM Systems Journal
, vol.42
, Issue.3
, pp. 428-445
-
-
Nigam, A.1
Caswell, N.S.2
-
41
-
-
70350750512
-
Combining partial order reductions with on-the-fly model-checking
-
Springer
-
D. Peled. Combining partial order reductions with on-the-fly model-checking. In Computer aided verification, pages 377-390. Springer, 1994.
-
(1994)
Computer Aided Verification
, pp. 377-390
-
-
Peled, D.1
-
42
-
-
0002605406
-
Recursive unsolvability of a problem of thue
-
E. L. Post. Recursive unsolvability of a problem of Thue. J. of Symbolic Logic, 12:1-11, 1947.
-
(1947)
J. of Symbolic Logic
, vol.12
, pp. 1-11
-
-
Post, E.L.1
-
43
-
-
0000660737
-
The covering and boundedness problems for vector addition systems
-
C. Rackoff. The covering and boundedness problems for vector addition systems. Theoretical Computer-Science, 6(2):223-231, 1978.
-
(1978)
Theoretical Computer-Science
, vol.6
, Issue.2
, pp. 223-231
-
-
Rackoff, C.1
-
45
-
-
0022326404
-
The complementation problem for biichi automata with applications to temporal logic
-
A. P. Sistla, M. Y. Vardi, and P. Wolper. The complementation problem for Biichi automata with applications to temporal logic. Theoretical Computer-Science, 49:217-237, 1987.
-
(1987)
Theoretical Computer-Science
, vol.49
, pp. 217-237
-
-
Sistla, A.P.1
Vardi, M.Y.2
Wolper, P.3
-
46
-
-
84892427421
-
Verification of artifact-centric systems: Decidability and modeling issues
-
Berlin, Germany, December 2-5, 2013, Proceedings
-
D. Solomakhin, M. Montali, S. Tessaris, and R. D. Masellis. Verification of artifact-centric systems: Decidability and modeling issues. In Service-Oriented Computing - 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings, pages 252-266, 2013.
-
(2013)
Service-Oriented Computing - 11th International Conference, ICSOC 2013
, pp. 252-266
-
-
Solomakhin, D.1
Montali, M.2
Tessaris, S.3
Masellis, R.D.4
-
47
-
-
0037591752
-
Verification of relational transducers for electronic commerce
-
Extended abstract in PODS 2000
-
M. Spielmann. Verification of relational transducers for electronic commerce. JCSS., 66(1):40-65, 2003. Extended abstract in PODS 2000.
-
(2003)
JCSS
, vol.66
, Issue.1
, pp. 40-65
-
-
Spielmann, M.1
-
49
-
-
0022987223
-
An automata-theoretic approach to automatic program verification
-
M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In LICS, 1986.
-
(1986)
LICS
-
-
Vardi, M.Y.1
Wolper, P.2
-
50
-
-
0002088601
-
A survey of logical models for olap databases
-
P. Vassiliadis and T. Sellis. A survey of logical models for olap databases. A CM Sigmod Record, 28(4):64-69, 1999.
-
(1999)
A CM Sigmod Record
, vol.28
, Issue.4
, pp. 64-69
-
-
Vassiliadis, P.1
Sellis, T.2
-
51
-
-
71049193070
-
Enforcing constraints on life cycles of business artifacts
-
X. Zhao, J. Su, H. Yang, and Z. Qiu. Enforcing constraints on life cycles of business artifacts. In TASE, pages 111-118, 2009.
-
(2009)
TASE
, pp. 111-118
-
-
Zhao, X.1
Su, J.2
Yang, H.3
Qiu, Z.4
|