Model-Carrying Code (MCC): a new paradigm for mobile-code security
Proceedings of the 2001 workshop on New security paradigms
Speculative Beats Conservative Justification
Proceedings of the 17th International Conference on Logic Programming
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
State Generation in the PARMC Model Checker
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Vacuity Checking in the Modal Mu-Calculus
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Lifting Temporal Proofs through Abstractions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Verification Using Tabled Logic Programming
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Justification and debugging of answer set programs in ASP
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Certifying cryptographic protocols by abstract model-checking and proof concretization
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Xcellog: A deductive spreadsheet system
The Knowledge Engineering Review
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
Applications of Declarative Programming and Knowledge Management
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Debugging ASP programs by means of ASP
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Justification based on program transformation
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
A model of triangulating environments for policy authoring
Proceedings of the 15th ACM symposium on Access control models and technologies
Mode-directed fixed point computation
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Justifications for logic programs under answer set semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Incorporating tables into proofs
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |