-
1
-
2
-
3
Recursive rules with aggregation: a simple unified semantics
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
4
Founded semantics and constraint semantics of logic rules
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
5
Knowledge of uncertain worlds: programming with logical constraints
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
6
Integrating Logic Rules with Everything Else, Seamlessly
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
7
-
8
Verifying Linearizability via Optimized Refinement Checking
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
9
-
10
-
11
Optimizing aggregate- array computations in loops
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20