Follow
Andrei Popescu
Title
Cited by
Cited by
Year
Non-dual fuzzy connections
G Georgescu, A Popescu
Archive for mathematical logic 43 (8), 1009-1039, 2004
2302004
Truly modular (co) datatypes for Isabelle/HOL
JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel
International Conference on Interactive Theorem Proving, 93-110, 2014
1152014
A general approach to fuzzy concepts
A Popescu
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004
1062004
Encoding monomorphic and polymorphic types
JC Blanchette, S Böhme, A Popescu, N Smallbone
International Conference on Tools and Algorithms for the Construction and …, 2013
902013
Non-commutative fuzzy Galois connections
G Georgescu, A Popescu
Soft Computing 7 (7), 458-467, 2003
902003
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
702012
A conference management system with verified document confidentiality
S Kanav, P Lammich, A Popescu
International Conference on Computer Aided Verification, 167-183, 2014
662014
Concept lattices and similarity in non-commutative fuzzy logic
G Georgescu, A Popescu
Fundamenta Informaticae 53 (1), 23-54, 2002
572002
Non-commutative fuzzy structures and pairs of weak negations
G Georgescu, A Popescu
Fuzzy Sets and Systems 143 (1), 129-155, 2004
532004
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
512012
A consistent foundation for Isabelle/HOL
O Kunčar, A Popescu
International Conference on Interactive Theorem Proving, 234-252, 2015
43*2015
An institution-independent proof of the Robinson consistency theorem
D Gaina, A Popescu
Studia Logica 85 (1), 41-73, 2007
422007
Foundational extensible corecursion: a proof assistant perspective
JC Blanchette, A Popescu, D Traytel
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
382015
Soundness and completeness proofs by coinductive methods
JC Blanchette, A Popescu, D Traytel
Journal of Automated Reasoning 58 (1), 149-179, 2017
342017
From types to sets by local type definitions in higher-order logic
O Kunčar, A Popescu
International Conference on Interactive Theorem Proving, 200-218, 2016
342016
Unified classical logic completeness
JC Blanchette, A Popescu, D Traytel
International Joint Conference on Automated Reasoning, 46-60, 2014
332014
Friends with benefits
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
European Symposium on Programming, 111-140, 2017
312017
Mechanizing the metatheory of Sledgehammer
JC Blanchette, A Popescu
International Symposium on Frontiers of Combining Systems, 245-260, 2013
302013
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
292017
Witnessing (co) datatypes
JC Blanchette, A Popescu, D Traytel
European Symposium on Programming Languages and Systems, 359-382, 2015
252015
The system can't perform the operation now. Try again later.
Articles 1–20