Sledovat
Andrei Popescu
Název
Citace
Citace
Rok
Non-dual fuzzy connections
G Georgescu, A Popescu
Archive for mathematical logic 43, 1009-1039, 2004
2492004
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
1272014
A general approach to fuzzy concepts
A Popescu
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004
1102004
Non-commutative fuzzy Galois connections
G Georgescu, A Popescu
Soft Computing 7, 458-467, 2003
1032003
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
832012
A conference management system with verified document confidentiality
S Kanav, P Lammich, A Popescu
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
732014
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
642013
Concept lattices and similarity in non-commutative fuzzy logic
G Georgescu, A Popescu
Fundamenta Informaticae 53 (1), 23-54, 2002
632002
Non-commutative fuzzy structures and pairs of weak negations
G Georgescu, A Popescu
Fuzzy Sets and Systems 143 (1), 129-155, 2004
592004
A consistent foundation for Isabelle/HOL
O Kunčar, A Popescu
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
54*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
532016
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
512012
An institution-independent proof of the Robinson consistency theorem
D Gaina, A Popescu
Studia Logica 85 (1), 41-73, 2007
512007
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
432017
Soundness and completeness proofs by coinductive methods
JC Blanchette, A Popescu, D Traytel
Journal of Automated Reasoning 58, 149-179, 2017
432017
Foundational extensible corecursion: a proof assistant perspective
JC Blanchette, A Popescu, D Traytel
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
422015
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
362017
Unified classical logic completeness: A coinductive pearl
JC Blanchette, A Popescu, D Traytel
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
362014
Encoding monomorphic and polymorphic types
JC Blanchette, S Böhme, A Popescu, N Smallbone
Logical methods in computer science 12, 2017
332017
Comprehending Isabelle/HOL’s consistency
O Kunčar, A Popescu
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
332017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20