Simplifying Binary Propositional Theories into Connected Components Twice as Fast
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis
Software Quality Control
More efficient on-the-fly LTL verification with Tarjan's algorithm
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Access control enforcement for conversation-based web services
Proceedings of the 15th international conference on World Wide Web
Efficient field-sensitive pointer analysis of C
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Phylogenetic Approach to Genetic Map Refinement
RECOMB-CG '08 Proceedings of the international workshop on Comparative Genomics
SecGRID: model for maintaining trust in large-scale dynamic environments
International Journal of Grid and Utility Computing
Specifying and Verifying Event-Based Fairness Enhanced Systems
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Wave Propagation and Deep Propagation for Pointer Analysis
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Optimizing Pointer Analysis Using Bisimilarity
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Fairness of Transitions in Diagnosability of Discrete Event Systems
Discrete Event Dynamic Systems
Joining composition and trimming of finite-state transducers
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
ACConv -- An Access Control Model for Conversational Web Services
ACM Transactions on the Web (TWEB)
Satisfiability checking for PC(ID)
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A note on on-the-fly verification algorithms
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
User community reconstruction using sampled microblogging data
Proceedings of the 21st international conference companion on World Wide Web
Identifying unreliable sources of skill and competency information
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach
Proceedings of International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.89 |