Andrei Popescu
TitleCited byYear
Non-dual fuzzy connections
G Georgescu, A Popescu
Archive for Mathematical Logic 43 (8), 1009-1039, 2004
2072004
A general approach to fuzzy concepts
A Popescu
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004
932004
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
812014
Non-commutative fuzzy Galois connections
G Georgescu, A Popescu
Soft Computing 7 (7), 458-467, 2003
792003
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
712013
Foundational, compositional (co) datatypes for higher-order logic: Category theory applied to theorem proving
D Traytel, A Popescu, JC Blanchette
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer …, 2012
542012
Non-commutative fuzzy structures and pairs of weak negations
G Georgescu, A Popescu
Fuzzy Sets and Systems 143 (1), 129-155, 2004
502004
Concept lattices and similarity in non-commutative fuzzy logic
G Georgescu, A Popescu
Fundamenta Informaticae 53 (1), 23-54, 2002
492002
A conference management system with verified document confidentiality
S Kanav, P Lammich, A Popescu
International Conference on Computer Aided Verification, 167-183, 2014
422014
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
382012
Foundational extensible corecursion: a proof assistant perspective
JC Blanchette, A Popescu, D Traytel
ACM SIGPLAN Notices 50 (9), 192-204, 2015
342015
An institution-independent proof of the Robinson consistency theorem
D Gaina, A Popescu
Studia Logica 85 (1), 41-73, 2007
312007
A consistent foundation for Isabelle/HOL
O Kunčar, A Popescu
International Conference on Interactive Theorem Proving, 234-252, 2015
25*2015
Witnessing (co) datatypes
JC Blanchette, A Popescu, D Traytel
European Symposium on Programming Languages and Systems, 359-382, 2015
212015
Unified classical logic completeness
JC Blanchette, A Popescu, D Traytel
International Joint Conference on Automated Reasoning, 46-60, 2014
212014
Mechanizing the metatheory of Sledgehammer
JC Blanchette, A Popescu
International Symposium on Frontiers of Combining Systems, 245-260, 2013
212013
An institution-independent generalization of Tarski's Elementary Chain Theorem
D Găină, A Popescu
Journal of Logic and Computation 16 (6), 713-735, 2006
202006
Friends with benefits
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
European Symposium on Programming, 111-140, 2017
192017
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
182016
Strong Normalization for System F by HOAS on Top of FOAS
A Popescu, EL Gunter, CJ Osborn
2010 25th Annual IEEE Symposium on Logic in Computer Science, 31-40, 2010
172010
The system can't perform the operation now. Try again later.
Articles 1–20