-
1
-
-
85043089278
-
-
Web Ratio. http://www.webratio.com/.
-
Web Ratio
-
-
-
2
-
-
84880543245
-
Collaborative data-driven workflows: Think global, act local
-
S. Abiteboul and V. Vianu. Collaborative data-driven workflows: think global, act local. In PODS, 2013.
-
(2013)
PODS
-
-
Abiteboul, S.1
Vianu, V.2
-
3
-
-
0034294212
-
Relational transducers for electronic commerce
-
S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000.
-
(2000)
JCSS
, vol.61
, Issue.2
, pp. 236-269
-
-
Abiteboul, S.1
Vianu, V.2
Fordham, B.3
Yesha, Y.4
-
4
-
-
80052819470
-
Foundations of relational artifacts verification
-
B. B. Hariri, D. Calvanese, G. D. Giacomo, R. D. Masellis, and P. Felli. Foundations of relational artifacts verification. In BPM, 2011.
-
(2011)
BPM
-
-
Hariri, B.B.1
Calvanese, D.2
Giacomo, G.D.3
Masellis, R.D.4
Felli, P.5
-
5
-
-
84868348548
-
Verification of gsm-based artifact-centric systems through finite abstraction
-
F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of gsm-based artifact-centric systems through finite abstraction. In ICSOC, 2012.
-
(2012)
ICSOC
-
-
Belardinelli, F.1
Lomuscio, A.2
Patrizi, F.3
-
6
-
-
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 Sys. Journal, 46(4), 2007.
-
(2007)
IBM Sys. Journal
, vol.46
, Issue.4
-
-
Bhattacharya, K.1
Caswell, N.S.2
Kumaran, S.3
Nigam, A.4
Wu, F.Y.5
-
7
-
-
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), 2005.
-
(2005)
IBM Systems Journal
, vol.44
, Issue.1
-
-
Bhattacharya, K.1
-
8
-
-
51749087100
-
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 BPM, 2007.
-
(2007)
BPM
-
-
Bhattacharya, K.1
Gerede, C.E.2
Hull, R.3
Liu, R.4
Su, J.5
-
9
-
-
85043033454
-
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)
-
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)
-
-
-
11
-
-
34547260240
-
Two-variable logic on words with data
-
M. Bojanczyk, A. Muscholl, T. Schwentick, L. Segoufin, and C. David. Two-variable logic on words with data. In LICS, 2006.
-
(2006)
LICS
-
-
Bojanczyk, M.1
Muscholl, A.2
Schwentick, T.3
Segoufin, L.4
David, C.5
-
13
-
-
0037463539
-
Automatic verification of recursive procedures with one integer parameter
-
A. Bouajjani, P. Habermehl, and R. Mayr. Automatic verification of recursive procedures with one integer parameter. Theoretical Computer Science, 295:85-106, 2003.
-
(2003)
Theoretical Computer Science
, vol.295
, pp. 85-106
-
-
Bouajjani, A.1
Habermehl, P.2
Mayr, R.3
-
14
-
-
84880315381
-
A generic framework for reasoning about dynamic networks of infinite-state processes
-
A. Bouajjani, Y. Jurski, and M. Sighireanu. A generic framework for reasoning about dynamic networks of infinite-state processes. In TACAS'07.
-
TACAS'07
-
-
Bouajjani, A.1
Jurski, Y.2
Sighireanu, M.3
-
15
-
-
0037206519
-
A logical characterization of data languages
-
P. Bouyer. A logical characterization of data languages. Inf. Processing Letters, 84(2), 2002.
-
(2002)
Inf. Processing Letters
, vol.84
, Issue.2
-
-
Bouyer, P.1
-
16
-
-
0038176921
-
Algebraic approach to data languages and timed languages
-
P. Bouyer, A. Petit, and D. Thérien. Algebraic approach to data languages and timed languages. Inf. and Comp., 182(2), 2003.
-
(2003)
Inf. and Comp.
, vol.182
, Issue.2
-
-
Bouyer, P.1
Petit, A.2
Thérien, D.3
-
17
-
-
3142761274
-
Specification and design of workflow-driven hypertexts
-
M. Brambilla, S. Ceri, S. Comai, P. Fraternali, and I. Manolescu. Specification and design of workflow-driven hypertexts. Journal of Web Engineering, 1(1), 2002.
-
(2002)
Journal of Web Engineering
, vol.1
, Issue.1
-
-
Brambilla, M.1
Ceri, S.2
Comai, S.3
Fraternali, P.4
Manolescu, I.5
-
18
-
-
0012626037
-
Verification of infinite structures
-
Elsevier Science
-
O. Burkart, D. Caucal, F. Moller, and B. Steffen. Verification of infinite structures. In Handbook of Process Algebra, pages 545-623. Elsevier Science, 2001.
-
(2001)
Handbook of Process Algebra
, pp. 545-623
-
-
Burkart, O.1
Caucal, D.2
Moller, F.3
Steffen, B.4
-
19
-
-
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, 2013.
-
(2013)
PODS
-
-
Calvanese, D.1
De Giacomo, G.2
Montali, M.3
-
20
-
-
0038504390
-
-
Morgan-Kaufmann
-
S. Ceri, P. Fraternali, A. Bongio, M. Brambilla, S. Comai, and M. Matera. Designing data-intensive Web applications. Morgan-Kaufmann, 2002.
-
(2002)
Designing Data-intensive Web Applications
-
-
Ceri, S.1
Fraternali, P.2
Bongio, A.3
Brambilla, M.4
Comai, S.5
Matera, M.6
-
21
-
-
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
-
23
-
-
79960179360
-
Siena: From powerpoint to web app in 5 minutes
-
D. Cohn, P. Dhoolia, F. Heath, F. Pinel, and J. Vergo. Siena: From powerpoint to web app in 5 minutes. In ICSOC, 2008.
-
(2008)
ICSOC
-
-
Cohn, D.1
Dhoolia, P.2
Heath, F.3
Pinel, F.4
Vergo, J.5
-
24
-
-
84863731779
-
Artifact systems with data dependencies and arithmetic
-
E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. In ICDT, 2011.
-
(2011)
ICDT
-
-
Damaggio, E.1
Deutsch, A.2
Vianu, V.3
-
25
-
-
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
-
26
-
-
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
-
27
-
-
80054897828
-
Case management: Cordys approach
-
H. De Man. Case management: Cordys approach. BP Trends (www.bptrends.com), 2009.
-
(2009)
BP Trends
-
-
De Man, H.1
-
28
-
-
33846800625
-
LTL with the freeze quantifier and register automata
-
S. Demri and R. Lazić. LTL with the Freeze Quantifier and Register Automata. In LICS, 2006.
-
(2006)
LICS
-
-
Demri, S.1
Lazić, R.2
-
29
-
-
70349104837
-
Model checking freeze LTL over one-counter automata
-
S. Demri, R. Lazić, and A. Sangnier. Model checking freeze LTL over one-counter automata. In FoSSaCS, 2008.
-
(2008)
FoSSaCS
-
-
Demri, S.1
Lazić, R.2
Sangnier, A.3
-
30
-
-
84892391858
-
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, 2009.
-
(2009)
ICDT
-
-
Deutsch, A.1
Hull, R.2
Patrizi, F.3
Vianu, V.4
-
32
-
-
29844434228
-
A verifier for interactive, data-driven web applications
-
A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A verifier for interactive, data-driven web applications. In SIGMOD, 2005.
-
(2005)
SIGMOD
-
-
Deutsch, A.1
Marcus, M.2
Sui, L.3
Vianu, V.4
Zhou, D.5
-
33
-
-
3142757108
-
Specification and verification of data-driven web services
-
A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In PODS, 2004.
-
(2004)
PODS
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
-
34
-
-
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
-
35
-
-
33845938560
-
Specification and verification of data-driven web services
-
A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. JCSS, 73(3):442-474, 2007.
-
(2007)
JCSS
, vol.73
, Issue.3
, pp. 442-474
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
-
36
-
-
34250646689
-
A system for specification and verification of interactive, data-driven Web applications
-
A. Deutsch, L. Sui, V. Vianu, and D. Zhou. A system for specification and verification of interactive, data-driven Web applications. In SIGMOD, 2006.
-
(2006)
SIGMOD
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
Zhou, D.4
-
37
-
-
34250668466
-
Verification of communicating data-driven Web services
-
A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven Web services. In PODS, pages 90-99, 2006.
-
(2006)
PODS
, pp. 90-99
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
Zhou, D.4
-
38
-
-
79952319535
-
A framework for optimizing distributed workflow executions
-
G. Dong, R. Hull, B. Kumar, J. Su, and G. Zhou. A framework for optimizing distributed workflow executions. In DBPL, 1999.
-
(1999)
DBPL
-
-
Dong, G.1
Hull, R.2
Kumar, B.3
Su, J.4
Zhou, G.5
-
39
-
-
0001449325
-
Temporal and modal logic
-
J. V. Leeuwen, editor, North-Holland Pub. Co./MIT Press
-
E. A. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pages 995-1072. North-Holland Pub. Co./MIT Press, 1990.
-
(1990)
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
, pp. 995-1072
-
-
Emerson, E.A.1
-
41
-
-
0034164918
-
Declarative specification of web sites with Strudel
-
M. F. Fernández, D. Florescu, A. Y. Levy, and D. Suciu. Declarative specification of web sites with Strudel. VLDB Journal, 9(1), 2000.
-
(2000)
VLDB Journal
, vol.9
, Issue.1
-
-
Fernández, M.F.1
Florescu, D.2
Levy, A.Y.3
Suciu, D.4
-
42
-
-
29844446066
-
WEAVE: A data-intensive web site management system (software demonstration)
-
D. Florescu, K. Yagoub, P. Valduriez, and V. Issarny. WEAVE: A data-intensive web site management system (software demonstration). In EDBT, 2000.
-
(2000)
EDBT
-
-
Florescu, D.1
Yagoub, K.2
Valduriez, P.3
Issarny, V.4
-
43
-
-
38649121446
-
Static analysis of business artifact-centric operational models
-
C. E. Gerede, K. Bhattacharya, and J. Su. Static analysis of business artifact-centric operational models. In SOCA, 2007.
-
(2007)
SOCA
-
-
Gerede, C.E.1
Bhattacharya, K.2
Su, J.3
-
44
-
-
73449122319
-
Specification and verification of artifact behaviors in business process models
-
C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In ICSOC, 2007.
-
(2007)
ICSOC
-
-
Gerede, C.E.1
Su, J.2
-
46
-
-
84880554709
-
Verification of relational data-centric dynamic systems with external services
-
B. B. Hariri, D. Calvanese, G. De Giacomo, A. Deutsch, and M. Montali. Verification of relational data-centric dynamic systems with external services. In PODS, 2013.
-
(2013)
PODS
-
-
Hariri, B.B.1
Calvanese, D.2
De Giacomo, G.3
Deutsch, A.4
Montali, M.5
-
47
-
-
84950142907
-
Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events
-
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
-
48
-
-
0033878846
-
Optimization techniques for data-intensive decision flows
-
R. Hull, F. Llirbat, B. Kumar, G. Zhou, G. Dong, and J. Su. Optimization techniques for data-intensive decision flows. In ICDE, 2000.
-
(2000)
ICDE
-
-
Hull, R.1
Llirbat, F.2
Kumar, B.3
Zhou, G.4
Dong, G.5
Su, J.6
-
49
-
-
84936867921
-
Declarative workflows that support easy modification and dynamic browsing
-
R. Hull, F. Llirbat, E. Simon, J. Su, G. Dong, B. Kumar, and G. Zhou. Declarative workflows that support easy modification and dynamic browsing. In Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration, 1999.
-
(1999)
Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration
-
-
Hull, R.1
Llirbat, F.2
Simon, E.3
Su, J.4
Dong, G.5
Kumar, B.6
Zhou, G.7
-
50
-
-
3142708789
-
Tools for design of composite web services
-
R. Hull and J. Su. Tools for design of composite web services. In SIGMOD, 2004.
-
(2004)
SIGMOD
-
-
Hull, R.1
Su, J.2
-
51
-
-
84880569120
-
Data management perspectives on business process management: Tutorial overview
-
R. Hull, J. Su, and R. Vaculín. Data management perspectives on business process management: tutorial overview. In SIGMOD, 2013.
-
(2013)
SIGMOD
-
-
Hull, R.1
Su, J.2
Vaculín, R.3
-
52
-
-
85043058385
-
Alternation-free modal mu-calculus for data trees
-
M. Jurdzinski and R. Lazic. Alternation-free modal mu-calculus for data trees. In LICS, 2007.
-
(2007)
LICS
-
-
Jurdzinski, M.1
Lazic, R.2
-
53
-
-
33746219876
-
ADoc-oriented programming
-
S. Kumaran, P. Nandi, T. Heath, K. Bhaskaran, and R. Das. ADoc-oriented programming. In Symp. on Applications and the Internet (SAINT), 2003.
-
(2003)
Symp. on Applications and the Internet (SAINT)
-
-
Kumaran, S.1
Nandi, P.2
Heath, T.3
Bhaskaran, K.4
Das, R.5
-
56
-
-
84885731922
-
Modeling business contexture and behavior using business artifacts
-
R. Liu, K. Bhattacharya, and F. Y. Wu. Modeling business contexture and behavior using business artifacts. In CAiSE, 2007.
-
(2007)
CAiSE
-
-
Liu, R.1
Bhattacharya, K.2
Wu, F.Y.3
-
57
-
-
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
-
59
-
-
0035269007
-
Semantic web services
-
S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46-53, 2001.
-
(2001)
IEEE Intelligent Systems
, vol.16
, Issue.2
, pp. 46-53
-
-
McIlraith, S.A.1
Son, T.C.2
Zeng, H.3
-
60
-
-
0003296404
-
Araneus in the era of XML
-
G. Mecca, P. Merialdo, and P. Atzeni. Araneus in the era of XML. IEEE Data Engineering Bulletin, 22(3):19-26, 1999.
-
(1999)
IEEE Data Engineering Bulletin
, vol.22
, Issue.3
, pp. 19-26
-
-
Mecca, G.1
Merialdo, P.2
Atzeni, P.3
-
64
-
-
3142676414
-
Finite state machines for strings over infinite alphabets
-
F. Neven, T. Schwentick, and V. Vianu. Finite State Machines for Strings Over Infinite Alphabets. ACM Transactions on Computational Logic, 5(3):403-435, 2004.
-
(2004)
ACM Transactions on Computational Logic
, vol.5
, Issue.3
, pp. 403-435
-
-
Neven, F.1
Schwentick, T.2
Vianu, V.3
-
65
-
-
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), 2003.
-
(2003)
IBM Systems Journal
, vol.42
, Issue.3
-
-
Nigam, A.1
Caswell, N.S.2
-
66
-
-
85047040703
-
The temporal logic of programs
-
A. Pnueli. The temporal logic of programs. In FOCS, 1977.
-
(1977)
FOCS
-
-
Pnueli, A.1
-
67
-
-
84950104694
-
Automata based verification over linearly ordered data domains
-
L. Segoufin and S. Torunczyk. Automata based verification over linearly ordered data domains. In STACS, 2011.
-
(2011)
STACS
-
-
Segoufin, L.1
Torunczyk, S.2
-
68
-
-
0022092438
-
The complexity of propositional linear temporal logic
-
A. Sistla and E. Clarke. The complexity of propositional linear temporal logic. J. of the ACM, 32:733-749, 1985.
-
(1985)
J. of the ACM
, vol.32
, pp. 733-749
-
-
Sistla, A.1
Clarke, E.2
-
69
-
-
85043030454
-
Verification of artifact-centric systems: Decidability and modeling issues
-
D. Solomakhin, M. Montali, S. Tessaris, and R. D. Masellis. Verification of artifact-centric systems: Decidability and modeling issues. In ICSOC, 2013.
-
(2013)
ICSOC
-
-
Solomakhin, D.1
Montali, M.2
Tessaris, S.3
Masellis, R.D.4
-
70
-
-
0037591752
-
Verification of relational transducers for electronic commerce
-
M. Spielmann. Verification of relational transducers for electronic commerce. JCSS., 66(1):40-65, 2003.
-
(2003)
JCSS.
, vol.66
, Issue.1
, pp. 40-65
-
-
Spielmann, M.1
-
72
-
-
85043046504
-
A framework for document-driven workflow systems
-
J. Wang and A. Kumar. A framework for document-driven workflow systems. In BPM, 2005.
-
(2005)
BPM
-
-
Wang, J.1
Kumar, A.2
|