Model Checking Logics for Communicating Sequential Agents
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Implicit Temporal Query Languages: Towards Completeness
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
A commitment-based communicative act library
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Mining past-time temporal rules from execution traces
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
A Commitment-Based Communicative Act Library
Agent Communication II
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Declarative Agent Languages and Technologies VI
Electronic Notes in Theoretical Computer Science (ENTCS)
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Branching-Time Logics Repeatedly Referring to States
Journal of Logic, Language and Information
Bounded model checking for past LTL
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
The complexity of CTL* + linear past
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
On the complexity of branching-time logics
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Pattern-based modeling and formalizing of business process quality constraints
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Hybrid and first-order complete extensions of CaRet
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Dealing with time in content language expressions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Temporal modalities for concisely capturing timing diagrams
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Journal of Computer and System Sciences
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |