Andrei Popescu

Cited by

	All	Since 2017
Citations	1769	861
h-index	23	17
i10-index	41	25

200

100

150

200320042005200620072008200920102011201220132014201520162017201820192020202120227 6 11 25 47 39 37 48 63 77 144 132 110 112 185 147 164 140 154 68

Public access

View all

37 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Johannes HölzlVrije Universitet AmsterdamVerified email at in.tum.de
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerified email at imi.kyushu-u.ac.jp
Traian Florin ȘerbănuțăUniversity of BucharestVerified email at unibuc.ro
Ioana LeusteanProfessor, University of BucharestVerified email at fmi.unibuc.ro
Markus N RabeGoogleVerified email at google.com
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Dieter HutterGerman Research Center for Artificial IntelligenceVerified email at dfki.de
Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
Christian HammerProfessor of Computer Science at University of PassauVerified email at uni-passau.de
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org

Andrei Popescu

University of Sheffield

Verified email at sheffield.ac.uk - Homepage

proof assistants information flow security logical foundations syntax with bindings datatypes


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Non-dual fuzzy connections G Georgescu, A Popescu Archive for mathematical logic 43 (8), 1009-1039, 2004	229	2004
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	109	2014
A general approach to fuzzy concepts A Popescu Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004	106	2004
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	88	2013
Non-commutative fuzzy Galois connections G Georgescu, A Popescu Soft Computing 7 (7), 458-467, 2003	88	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	67	2012
A conference management system with verified document confidentiality S Kanav, P Lammich, A Popescu International Conference on Computer Aided Verification, 167-183, 2014	64	2014
Concept lattices and similarity in non-commutative fuzzy logic G Georgescu, A Popescu Fundamenta Informaticae 53 (1), 23-54, 2002	54	2002
Non-commutative fuzzy structures and pairs of weak negations G Georgescu, A Popescu Fuzzy Sets and Systems 143 (1), 129-155, 2004	51	2004
More spass with isabelle JC Blanchette, A Popescu, D Wand, C Weidenbach International Conference on Interactive Theorem Proving, 345-360, 2012	49	2012
A consistent foundation for Isabelle/HOL O Kunčar, A Popescu International Conference on Interactive Theorem Proving, 234-252, 2015	39*	2015
Foundational extensible corecursion: a proof assistant perspective JC Blanchette, A Popescu, D Traytel Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	38	2015
An institution-independent proof of the Robinson consistency theorem D Gaina, A Popescu Studia Logica 85 (1), 41-73, 2007	38	2007
Soundness and completeness proofs by coinductive methods JC Blanchette, A Popescu, D Traytel Journal of Automated Reasoning 58 (1), 149-179, 2017	32	2017
Unified classical logic completeness JC Blanchette, A Popescu, D Traytel International Joint Conference on Automated Reasoning, 46-60, 2014	32	2014
Friends with benefits JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel European Symposium on Programming, 111-140, 2017	31	2017
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	30	2016
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	29	2017
Mechanizing the metatheory of Sledgehammer JC Blanchette, A Popescu International Symposium on Frontiers of Combining Systems, 245-260, 2013	28	2013
Witnessing (co) datatypes JC Blanchette, A Popescu, D Traytel European Symposium on Programming Languages and Systems, 359-382, 2015	25	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors