What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A generic type system for the Pi-calculus
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
Analysis of security protocols as open systems
Theoretical Computer Science
An Instruction Set Process Calculus
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Lifting Temporal Proofs through Abstractions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Action Refinement from a Logical Point of View
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
On the computational complexity of bisimulation, redux
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Information Flow Security in Dynamic Contexts
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The description logic handbook
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
A generic type system for the Pi-calculus
Theoretical Computer Science
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Access control enforcement for conversation-based web services
Proceedings of the 15th international conference on World Wide Web
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Information flow security in dynamic contexts
Journal of Computer Security
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study
ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
Game Characterizations of Process Equivalences
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
Refining the Undecidability Border of Weak Bisimilarity
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
ACConv -- An Access Control Model for Conversational Web Services
ACM Transactions on the Web (TWEB)
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
Towards a symbolic modal logic for LOTOS
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
State space reduction for asynchronous micropipelines
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Defining distances for all process semantics
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
A tool for the synthesis of cryptographic orchestrators
Proceedings of the Workshop on Model-Driven Security
Verification of complex dynamic data tree with mu-calculus
Automated Software Engineering
Hi-index | 0.00 |