-
1
-
-
34447272376
-
Querying and updating probabilistic information in xml
-
S. Abiteboul and P. Senellart. Querying and updating probabilistic information in xml. In Proc, of EDBT, 2006.
-
(2006)
Proc, of EDBT
-
-
Abiteboul, S.1
Senellart, P.2
-
2
-
-
84893850691
-
Querying business processes
-
C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes. In Proc, of VLDB, 2006.
-
(2006)
Proc, of VLDB
-
-
Beeri, C.1
Eyal, A.2
Kamenkovich, S.3
Milo, T.4
-
3
-
-
84993300473
-
Monitoring business processes with queries
-
C. Beeri, A. Eyal, T. Milo, and A. Pilberg. Monitoring business processes with queries. In Proc, of VLDB, 2007.
-
(2007)
Proc, of VLDB
-
-
Beeri, C.1
Eyal, A.2
Milo, T.3
Pilberg, A.4
-
4
-
-
55949100457
-
Mining and improving composite web services recovery mechanisms
-
S. Bhiri, W. Gaaloul, and C. Godart. Mining and improving composite web services recovery mechanisms. Int. J. Web Service Res., 5(2), 2008.
-
(2008)
Int. J. Web Service Res
, vol.5
, Issue.2
-
-
Bhiri, S.1
Gaaloul, W.2
Godart, C.3
-
7
-
-
24644462259
-
On the decidability of temporal properties of probabilistic pushdown automata
-
T. Brazdil, A. Kucera, and O. Strazovsky. On the decidability of temporal properties of probabilistic pushdown automata. In Proc, of STAGS, 2005.
-
(2005)
Proc, of STAGS
-
-
Brazdil, T.1
Kucera, A.2
Strazovsky, O.3
-
10
-
-
0025398865
-
The monadic second-order logic of graphs
-
B. Courcelle. The monadic second-order logic of graphs. Inf. Comput, 85(1), 1990.
-
(1990)
Inf. Comput
, vol.85
, Issue.1
-
-
Courcelle, B.1
-
11
-
-
84938961099
-
Efficient query evaluation on probabilistic databases
-
N. Dalvi and D. Suciu. Efficient query evaluation on probabilistic databases. In Proc, of VLDB, 2004.
-
(2004)
Proc, of VLDB
-
-
Dalvi, N.1
Suciu, D.2
-
12
-
-
70349119210
-
Querying structural and behavioral properties of business processes
-
D. Deutch and T. Milo. Querying structural and behavioral properties of business processes. In Proc, of DBPL, 2007.
-
(2007)
Proc, of DBPL
-
-
Deutch, D.1
Milo, T.2
-
13
-
-
84859170017
-
Type inference and type checking for queries on execution traces
-
D. Deutch and T. Milo. Type inference and type checking for queries on execution traces. In Proc, of VLDB, 2008.
-
(2008)
Proc, of VLDB
-
-
Deutch, D.1
Milo, T.2
-
14
-
-
67649671754
-
Evaluating top-k queries over business processes
-
D. Deutch and T. Milo. Evaluating top-k queries over business processes. In Proc, of ICDE, 2009.
-
(2009)
Proc, of ICDE
-
-
Deutch, D.1
Milo, T.2
-
15
-
-
26444454151
-
Algorithmic verification of recursive probabilistic state machines
-
K. Etessami and M. Yannakakis. Algorithmic verification of recursive probabilistic state machines. In Proc, of TACAS, 2005.
-
(2005)
Proc, of TACAS
-
-
Etessami, K.1
Yannakakis, M.2
-
16
-
-
84880688943
-
Learning probabilistic relational models
-
N. Friedman, L. Getoor, D. Koller, and A. Pfeffer. Learning probabilistic relational models. In Proc, of IJCAI, 1999.
-
(1999)
Proc, of IJCAI
-
-
Friedman, N.1
Getoor, L.2
Koller, D.3
Pfeffer, A.4
-
23
-
-
37949000615
-
Estimating maximum likelihood parameters for stochastic context-free graph grammars
-
T. Oates, S. Doshi, and F. Huang. Estimating maximum likelihood parameters for stochastic context-free graph grammars. In Proc, of ILP, 2003.
-
(2003)
Proc, of ILP
-
-
Oates, T.1
Doshi, S.2
Huang, F.3
-
24
-
-
34548714632
-
Efficient top-k query evaluation on probabilistic data
-
C. Re, N. N. Dalvi, and D. Suciu. Efficient top-k query evaluation on probabilistic data. In Proc, of ICDE, 2007.
-
(2007)
Proc, of ICDE
-
-
Re, C.1
Dalvi, N.N.2
Suciu, D.3
-
25
-
-
23144451180
-
An axiomatization of pctl
-
M. Reynolds. An axiomatization of pctl. Inf. Comput., 201(1), 2005.
-
(2005)
Inf. Comput
, vol.201
, Issue.1
-
-
Reynolds, M.1
-
26
-
-
34548772330
-
Representing and querying correlated tuples in probabilistic databases
-
P. Sen and A. Deshpande. Representing and querying correlated tuples in probabilistic databases. In Proc, of ICDE, 2007.
-
(2007)
Proc, of ICDE
-
-
Sen, P.1
Deshpande, A.2
|