A framed temporal logic programming language
Journal of Computer Science and Technology
Framed temporal logic programming
Science of Computer Programming
Operational Semantics of Framed Temporal Logic Programs
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Complexity of propositional projection temporal logic with star†
Mathematical Structures in Computer Science
Decidability of propositional projection temporal logic with infinite models
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
UML statecharts' PTL formal semantics
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
A transformation from PPTL to S1S
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part II
Compositional verification with stutter-invariant propositional projection temporal logic
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Time constraints with temporal logic programming
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Some fixed-point issues in PPTL
Theories of Programming and Formal Methods
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.00 |