Andrei Popescu - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1457	808
h-index	19	17
i10-index	35	25

220

110

165

2003200420052006200720082009201020112012201320142015201620172018201920205 6 11 25 47 36 36 40 68 74 152 131 105 126 179 143 203 51

Co-authors

Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Dmitriy TraytelETH ZürichVerified email at inf.ethz.ch
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
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Nick 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, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
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 PotsdamVerified email at cs.uni-potsdam.de
Jaap BoenderSenior Lecturer, University of MiddlesexVerified 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	207	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	94	2014
A general approach to fuzzy concepts A Popescu Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004	94	2004
Non-commutative fuzzy Galois connections G Georgescu, A Popescu Soft Computing 7 (7), 458-467, 2003	81	2003
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	76	2013
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	59	2012
Non-commutative fuzzy structures and pairs of weak negations G Georgescu, A Popescu Fuzzy Sets and Systems 143 (1), 129-155, 2004	52	2004
Concept lattices and similarity in non-commutative fuzzy logic G Georgescu, A Popescu Fundamenta Informaticae 53 (1), 23-54, 2002	52	2002
A conference management system with verified document confidentiality S Kanav, P Lammich, A Popescu International Conference on Computer Aided Verification, 167-183, 2014	49	2014
More spass with isabelle JC Blanchette, A Popescu, D Wand, C Weidenbach International Conference on Interactive Theorem Proving, 345-360, 2012	41	2012
Foundational extensible corecursion: a proof assistant perspective JC Blanchette, A Popescu, D Traytel Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	35	2015
An institution-independent proof of the Robinson consistency theorem D Gaina, A Popescu Studia Logica 85 (1), 41-73, 2007	31	2007
A consistent foundation for Isabelle/HOL O Kunčar, A Popescu International Conference on Interactive Theorem Proving, 234-252, 2015	29*	2015
Friends with benefits JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel European Symposium on Programming, 111-140, 2017	26	2017
Unified classical logic completeness JC Blanchette, A Popescu, D Traytel International Joint Conference on Automated Reasoning, 46-60, 2014	26	2014
Mechanizing the metatheory of Sledgehammer JC Blanchette, A Popescu International Symposium on Frontiers of Combining Systems, 245-260, 2013	23	2013
Witnessing (co) datatypes JC Blanchette, A Popescu, D Traytel European Symposium on Programming Languages and Systems, 359-382, 2015	22	2015
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	20	2010
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	20	2006
Foundational nonuniform (co) datatypes for higher-order logic JC Blanchette, F Meier, A Popescu, D Traytel 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	18	2017

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

Upload PDF

Follow this author

Cited by

Co-authors