On superposition-based satisfiability procedures and their combination H Kirchner, S Ranise, C Ringeissen, DK Tran International Colloquium on Theoretical Aspects of Computing, 594-608, 2005 | 35 | 2005 |
Nelson-Oppen, Shostak and the extended canonizer: A family picture with a newborn S Ranise, C Ringeissen, DK Tran International Colloquium on Theoretical Aspects of Computing, 372-386, 2004 | 34 | 2004 |
Automatic decidability and combinability revisited C Lynch, DK Tran Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 22 | 2007 |
Automatic decidability and combinability C Lynch, S Ranise, C Ringeissen, DK Tran Information and Computation 209 (7), 1026-1047, 2011 | 20 | 2011 |
Automatic combinability of rewriting-based satisfiability procedures H Kirchner, S Ranise, C Ringeissen, DK Tran Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 19 | 2006 |
Extending fuzzy logics with many hedges DK Tran Fuzzy Sets and Systems 345, 126-138, 2018 | 17 | 2018 |
Combination of convex theories: Modularity, deduction completeness, and explanation DK Tran, C Ringeissen, S Ranise, H Kirchner Journal of Symbolic Computation 45 (2), 261-286, 2010 | 17 | 2010 |
Programmation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques L Ibănescu Vandoeuvre-les-Nancy, INPL, 2004 | 11 | 2004 |
Anomaly detection in POSTFIX mail log using principal component analysis CP Tran, DK Tran 2018 10th International Conference on Knowledge and Systems Engineering (KSE …, 2018 | 6 | 2018 |
Smels: Satisfiability modulo equality with lazy superposition C Lynch, DK Tran International Symposium on Automated Technology for Verification and …, 2008 | 6 | 2008 |
Combining proof-producing decision procedures S Ranise, C Ringeissen, DK Tran Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007 | 6 | 2007 |
Resolution in linguistic first order logic based on linear symmetrical hedge algebra TMT Nguyen, VT Vu, TV Doan, DK Tran Information Processing and Management of Uncertainty in Knowledge-Based …, 2014 | 4 | 2014 |
Resolution in linguistic propositional logic based on linear symmetrical hedge algebra TMT Nguyen, VT Vu, TV Doan, DK Tran Knowledge and Systems Engineering: Proceedings of the Fifth International …, 2013 | 4 | 2013 |
Fuzzy linguistic propositional logic based on refined hedge algebra DK Tran, VT Vu, TV Doan, MT Nguyen 2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-8, 2013 | 4 | 2013 |
Conception de procédures de décision par combinaison et saturation DK Tran Université Henri Poincaré-Nancy I, 2007 | 4 | 2007 |
Building and Combining Satisfiability Procedures for Software Verification H Kirchner, S Ranise, C Ringeissen, DK Tran Third Taiwanese-French Conference on Information Technology (TFIT), 125--139, 2006 | 3 | 2006 |
Resolution Method in Linguistic Propositional Logic DK Tran International Journal of Advanced Computer Science and Applications 7 (1 …, 2016 | 2 | 2016 |
Producing Conflict Sets for Combination of Theories S Ranise, C Ringeissen, DK Tran Pragmatics of Decision Procedures in Automated Reasoning (PDPAR’06), Seattle …, 2006 | 2 | 2006 |
Fuzzy linguistic first order logic based on refined hedge algebra DK Tran, MT Nguyen 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1156-1163, 2014 | 1 | 2014 |
SMELS: satisfiability modulo equality with lazy superposition C Lynch, QT Ta, DK Tran Journal of automated reasoning 51, 325-356, 2013 | 1 | 2013 |