Andrei Popescu

Citado por

	Todos	Desde 2020
Citações	2134	688
Índice h	24	15
Índice i10	50	25

200

100

150

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 6 12 26 49 38 37 50 66 79 147 130 107 128 196 154 160 128 153 138 120 127 21

Acesso público

Ver todos

40 artigos

3 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail confirmado em ifi.lmu.de
Dmitriy TraytelUniversity of CopenhagenE-mail confirmado em di.ku.dk
Johannes HölzlE-mail confirmado em in.tum.de
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail confirmado em in.tum.de
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteE-mail confirmado em gssi.it
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignE-mail confirmado em illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignE-mail confirmado em illinois.edu
Nicholas SmallboneChalmers University of TechnologyE-mail confirmado em chalmers.se
Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityE-mail confirmado em imi.kyushu-u.ac.jp
Traian Florin ȘerbănuțăUniversity of BucharestE-mail confirmado em unibuc.ro
Ioana LeusteanProfessor, University of BucharestE-mail confirmado em fmi.unibuc.ro
Markus N RabeAugmentE-mail confirmado em augmentcode.com
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mail confirmado em cispa.de
Dieter HutterGerman Research Center for Artificial IntelligenceE-mail confirmado em dfki.de
Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenE-mail confirmado em in.tum.de
Christian HammerProfessor of Computer Science at University of PassauE-mail confirmado em uni-passau.de
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mail confirmado em kerguelen.org

Seguir

Andrei Popescu

University of Sheffield

E-mail confirmado em sheffield.ac.uk - Página inicial

proof assistants information flow security logical foundations syntax with bindings datatypes


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Non-dual fuzzy connections G Georgescu, A Popescu Archive for mathematical logic 43, 1009-1039, 2004	249	2004
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	127	2014
A general approach to fuzzy concepts A Popescu Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004	110	2004
Non-commutative fuzzy Galois connections G Georgescu, A Popescu Soft Computing 7, 458-467, 2003	103	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	83	2012
A conference management system with verified document confidentiality S Kanav, P Lammich, A Popescu Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	74	2014
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	64	2013
Concept lattices and similarity in non-commutative fuzzy logic G Georgescu, A Popescu Fundamenta Informaticae 53 (1), 23-54, 2002	63	2002
Non-commutative fuzzy structures and pairs of weak negations G Georgescu, A Popescu Fuzzy Sets and Systems 143 (1), 129-155, 2004	59	2004
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	53	2016
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	51	2012
An institution-independent proof of the Robinson consistency theorem D Gaina, A Popescu Studia Logica 85 (1), 41-73, 2007	51	2007
Soundness and completeness proofs by coinductive methods JC Blanchette, A Popescu, D Traytel Journal of Automated Reasoning 58, 149-179, 2017	44	2017
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	43	2017
Foundational extensible corecursion: a proof assistant perspective JC Blanchette, A Popescu, D Traytel Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015	42	2015
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	36	2017
Unified classical logic completeness: A coinductive pearl JC Blanchette, A Popescu, D Traytel Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014	36	2014
Encoding monomorphic and polymorphic types JC Blanchette, S Böhme, A Popescu, N Smallbone Logical methods in computer science 12, 2017	33	2017
Comprehending Isabelle/HOL’s consistency O Kunčar, A Popescu Programming Languages and Systems: 26th European Symposium on Programming …, 2017	33	2017

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores