-
1
-
-
0022706013
-
The complexity of elementary algebra and geometry
-
Ben-Or, M., Kozen, D., Reif, J.: The complexity of elementary algebra and geometry. J. of Computer and System Sciences 32(2), 251-264 (1986)
-
(1986)
J. of Computer and System Sciences
, vol.32
, Issue.2
, pp. 251-264
-
-
Ben-Or, M.1
Kozen, D.2
Reif, J.3
-
2
-
-
37649013845
-
Artifact-centered operational modeling: Lessons from customer engagements
-
Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: 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
-
3
-
-
20244389224
-
A model-driven approach to industrializing discovery processes in pharmaceutical research
-
Bhattacharya, K., 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
-
4
-
-
38049138975
-
-
Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, 4714, pp. 288-304. Springer, Heidelberg (2007)
-
Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
-
-
-
-
5
-
-
70349144063
-
Automatic verification of data-centric business processes
-
Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 252-267 (2009)
-
(2009)
Proc. of the 12th Int. Conf. on Database Theory (ICDT
, pp. 252-267
-
-
Deutsch, A.1
Hull, R.2
Patrizi, F.3
Vianu, V.4
-
6
-
-
0002202224
-
Super-exponential complexity of Presburger arithmetic
-
Fischer, M.J., Rabin, M.O.: Super-exponential complexity of Presburger arithmetic. In: SIAM-AMS Proceedings, vol. 7, pp. 27-41 (1974)
-
(1974)
SIAM-AMS Proceedings
, vol.7
, pp. 27-41
-
-
Fischer, M.J.1
Rabin, M.O.2
-
7
-
-
70349135092
-
Automatic construction of simple artifact-based workflows
-
Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based workflows. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 225-238 (2009)
-
(2009)
Proc. of the 12th Int. Conf. on Database Theory (ICDT
, pp. 225-238
-
-
Fritz, C.1
Hull, R.2
Su, J.3
-
8
-
-
0030164849
-
Solving satisfiability and implication problems in database systems
-
Guo, S., Sun, W., Weiss, M.A.: Solving satisfiability and implication problems in database systems. ACM Trans. on Database Systems 21(2), 270-293 (1996)
-
(1996)
ACM Trans. on Database Systems
, vol.21
, Issue.2
, pp. 270-293
-
-
Guo, S.1
Sun, W.2
Weiss, M.A.3
-
9
-
-
0029359817
-
Contraint query languages
-
Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Contraint query languages. J. of Computer and System Sciences 51, 26-52 (1995)
-
(1995)
J. of Computer and System Sciences
, vol.51
, pp. 26-52
-
-
Kanellakis, P.C.1
Kuper, G.M.2
Revesz, P.Z.3
-
11
-
-
70349896736
-
Simulation, verification and automated composition of web services
-
World Wide Web Conf. WWW 2002 2002
-
Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of the 11th Int. World Wide Web Conf. WWW 2002 (2002)
-
Proc. of the 11th Int
-
-
Narayanan, S.1
McIlraith, S.2
-
12
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
Nigam, A., Caswell, N.S.: 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
-
13
-
-
0002217486
-
Über die Vollständigkeit eines gewissen Systems der Arith-metik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt
-
Warszawa, pp
-
Presburger, M.: Über die Vollständigkeit eines gewissen Systems der Arith-metik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. In: Comptes rendus du premier Congrès des Mathématiciens des Pays Slaves, Warszawa, pp. 92-101 (1929)
-
(1929)
Comptes rendus du premier Congrès des Mathématiciens des Pays Slaves
, pp. 92-101
-
-
Presburger, M.1
-
14
-
-
85025505234
-
On the computational complexity and geometry of the first-order theory of the reals
-
Renegar, J.: On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation 13, 255-352 (1992)
-
(1992)
Journal of Symbolic Computation
, vol.13
, pp. 255-352
-
-
Renegar, J.1
-
15
-
-
0027906169
-
A closed-form evaluation for Datalog queries with integer (gap)-order constraints
-
Revesz, P.Z.: A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theoretical Computer Science 116, 117-149 (1993)
-
(1993)
Theoretical Computer Science
, vol.116
, pp. 117-149
-
-
Revesz, P.Z.1
-
16
-
-
55449128906
-
Model-driven synthesis of SOA solutions
-
Strosnider, J., Nandi, P., Kumarn, S., Ghosh, S., Arsanjani, A.: Model-driven synthesis of SOA solutions. IBM Systems Journal 47(3), 415-432 (2008)
-
(2008)
IBM Systems Journal
, vol.47
, Issue.3
, pp. 415-432
-
-
Strosnider, J.1
Nandi, P.2
Kumarn, S.3
Ghosh, S.4
Arsanjani, A.5
|