| Non-dual fuzzy connections G Georgescu, A Popescu Archive for mathematical logic 43, 1009-1039, 2004 | 246 | 2004 |
| Truly modular (co) datatypes for Isabelle/HOL JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 125 | 2014 |
| A general approach to fuzzy concepts A Popescu Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004 | 111 | 2004 |
| Non-commutative fuzzy Galois connections G Georgescu, A Popescu Soft Computing 7, 458-467, 2003 | 100 | 2003 |
| Foundational, compositional (co) datatypes for higher-order logic: Category theory applied to theorem proving D Traytel, A Popescu, JC Blanchette 2012 27th Annual IEEE Symposium on Logic in Computer Science, 596-605, 2012 | 80 | 2012 |
| A conference management system with verified document confidentiality S Kanav, P Lammich, A Popescu Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 70 | 2014 |
| Encoding monomorphic and polymorphic types JC Blanchette, S Böhme, A Popescu, N Smallbone Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 66 | 2013 |
| Concept lattices and similarity in non-commutative fuzzy logic G Georgescu, A Popescu Fundamenta Informaticae 53 (1), 23-54, 2002 | 61 | 2002 |
| Non-commutative fuzzy structures and pairs of weak negations G Georgescu, A Popescu Fuzzy Sets and Systems 143 (1), 129-155, 2004 | 57 | 2004 |
| An institution-independent proof of the Robinson consistency theorem D Gaina, A Popescu Studia Logica 85 (1), 41-73, 2007 | 51 | 2007 |
| More SPASS with Isabelle: Superposition with hard sorts and configurable simplification JC Blanchette, A Popescu, D Wand, C Weidenbach Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012 | 50 | 2012 |
| A consistent foundation for Isabelle/HOL O Kunčar, A Popescu Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015 | 49* | 2015 |
| From types to sets by local type definitions in higher-order logic O Kunčar, A Popescu Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016 | 48 | 2016 |
| Friends with benefits: Implementing corecursion in foundational proof assistants JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 43 | 2017 |
| Soundness and completeness proofs by coinductive methods JC Blanchette, A Popescu, D Traytel Journal of Automated Reasoning 58, 149-179, 2017 | 42 | 2017 |
| Foundational extensible corecursion: a proof assistant perspective JC Blanchette, A Popescu, D Traytel Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 42 | 2015 |
| Unified classical logic completeness: A coinductive pearl JC Blanchette, A Popescu, D Traytel Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014 | 37 | 2014 |
| CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees T Bauereiß, AP Gritti, A Popescu, F Raimondi 2017 IEEE Symposium on Security and Privacy (SP), 729-748, 2017 | 33 | 2017 |
| Encoding monomorphic and polymorphic types JC Blanchette, S Böhme, A Popescu, N Smallbone Logical methods in computer science 12, 2017 | 33 | 2017 |
| Comprehending Isabelle/HOL’s consistency O Kunčar, A Popescu Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 31 | 2017 |
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
