The direct simulation of Minsky machines in linear logic

Inductive methods and contract-signing protocols

CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security

The Expressive Power of Horn Monadic Linear Logic

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

Mathematical Structures in Computer Science

Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)

Theoretical Computer Science

The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

Mathematical Structures in Computer Science

An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)

Collaborative Planning with Confidentiality

Journal of Automated Reasoning

Nondeterministic Phase Semantics and the Undecidability of Boolean BI

ACM Transactions on Computational Logic (TOCL)