×
Compute Distance To:
Author ID: popescu.andrei Recent zbMATH articles by "Popescu, Andrei"
Published as: Popescu, Andrei; Popescu, A.
Homepage: http://andreipopescu.uk/
External Links: MGP · dblp

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 323 times in 192 Documents Cited by Year
Non-dual fuzzy connections. Zbl 1060.03042
Georgescu, George; Popescu, Andrei
65
2004
Non-commutative fuzzy Galois connections. Zbl 1024.03025
Georgescu, G.; Popescu, A.
24
2003
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
20
2004
Truly modular (co)datatypes for Isabelle/HOL. Zbl 1416.68151
Blanchette, Jasmin Christian; Hölzl, Johannes; Lochbihler, Andreas; Panny, Lorenz; Popescu, Andrei; Traytel, Dmitriy
18
2014
Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016
Georgescu, George; Popescu, Andrei
14
2002
Encoding monomorphic and polymorphic types. Zbl 1381.68259
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
12
2013
Foundational extensible corecursion: a proof assistant perspective. Zbl 1360.68358
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
11
2015
Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. Zbl 1362.68251
Traytel, Dmitry; Popescu, Andrei; Blanchette, Jasmin C.
11
2012
A consistent foundation for Isabelle/HOL. Zbl 1433.68556
Kunčar, Ondřej; Popescu, Andrei
10
2015
Non-commutative fuzzy structures and pairs of weak negations. Zbl 1036.06007
Georgescu, George; Popescu, Andrei
10
2004
An institution-independent proof of the Robinson consistency theorem. Zbl 1123.03059
Găină, Daniel; Popescu, Andrei
9
2007
Comprehending Isabelle/HOL’s consistency. Zbl 1485.68285
Kunčar, Ondřej; Popescu, Andrei
9
2017
Unified classical logic completeness. A coinductive pearl. Zbl 1409.68250
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
8
2014
Friends with benefits. Implementing corecursion in foundational proof assistants. Zbl 1485.68280
Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
7
2017
More SPASS with Isabelle. Superposition with hard sorts and configurable simplification. Zbl 1360.68742
Blanchette, Jasmin Christian; Popescu, Andrei; Wand, Daniel; Weidenbach, Christoph
7
2012
An institution-independent generalization of Tarski’s elementary chain theorem. Zbl 1123.03058
Gaĭnă, Daniel; Popescu, Andrei
6
2006
Similarity convergence in residuated structures. Zbl 1082.03058
Georgescu, George; Popescu, Andrei
6
2005
Encoding monomorphic and polymorphic types. Zbl 1445.68327
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
6
2016
Mechanizing the metatheory of Sledgehammer. Zbl 1398.68479
Blanchette, Jasmin Christian; Popescu, Andrei
6
2013
Soundness and completeness proofs by coinductive methods. Zbl 1409.68251
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
6
2017
Cardinals in Isabelle/HOL. Zbl 1416.68152
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
5
2014
A consistent foundation for Isabelle/HOL. Zbl 1465.68289
Kunčar, Ondřej; Popescu, Andrei
5
2019
Foundational (co)datatypes and (co)recursion for higher-order logic. Zbl 06821624
Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy
5
2017
Some algebraic theory for many-valued relation algebras. Zbl 1118.03061
Popescu, Andrei
4
2007
A formally verified abstract account of Gödel’s incompleteness theorems. Zbl 07178991
Popescu, Andrei; Traytel, Dmitriy
3
2019
Term-generic logic. Zbl 1310.03044
Popescu, Andrei; Roşu, Grigore
3
2015
Witnessing (co)datatypes. Zbl 1335.68224
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
3
2015
From types to sets by local type definition in higher-order logic. Zbl 1468.68295
Kunčar, Ondřej; Popescu, Andrei
3
2019
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
Closure operators and concept equations in non-commutative fuzzy logic. Zbl 1065.03016
Georgescu, George; Popescu, Andrei
2
2003
Order convergence and distance on Łukasiewicz-Moisil algebras. Zbl 1141.06004
Georgescu, George; Leuştean, Ioana; Popescu, Andrei
2
2006
Many-valued relation algebras. Zbl 1086.03054
Popescu, Andrei
2
2005
Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory. Zbl 1426.68285
Schropp, Andreas; Popescu, Andrei
2
2013
Formalizing probabilistic noninterference. Zbl 1426.68287
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
2
2013
Recursion principles for syntax with bindings and substitution. Zbl 1323.68225
Popescu, Andrei; Gunter, Elsa L.
2
2011
From types to sets by local type definitions in higher-order logic. Zbl 1468.68294
Kunčar, Ondřej; Popescu, Andrei
2
2016
A formalized general theory of syntax with bindings: extended version. Zbl 1468.68073
Gheri, Lorenzo; Popescu, Andrei
1
2020
Term-generic logic. Zbl 1253.03061
Popescu, Andrei; Roşu, Grigore
1
2009
Behavioral extensions of institutions. Zbl 1151.68493
Popescu, Andrei; Roşu, Grigore
1
2005
A common generalization for MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1109.06010
Georgescu, George; Popescu, Andrei
1
2006
Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Zbl 1284.68432
Popescu, Andrei; Gunter, Elsa L.
1
2010
A semantic approach to interpolation. Zbl 1159.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference. Zbl 1394.68083
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
1
2013
Proving concurrent noninterference. Zbl 1383.68014
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
1
2012
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68168
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2018
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68167
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2016
A formalized general theory of syntax with bindings. Zbl 1468.68072
Gheri, Lorenzo; Popescu, Andrei
1
2017
A formalized general theory of syntax with bindings: extended version. Zbl 1468.68073
Gheri, Lorenzo; Popescu, Andrei
1
2020
A consistent foundation for Isabelle/HOL. Zbl 1465.68289
Kunčar, Ondřej; Popescu, Andrei
5
2019
A formally verified abstract account of Gödel’s incompleteness theorems. Zbl 07178991
Popescu, Andrei; Traytel, Dmitriy
3
2019
From types to sets by local type definition in higher-order logic. Zbl 1468.68295
Kunčar, Ondřej; Popescu, Andrei
3
2019
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68168
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2018
Comprehending Isabelle/HOL’s consistency. Zbl 1485.68285
Kunčar, Ondřej; Popescu, Andrei
9
2017
Friends with benefits. Implementing corecursion in foundational proof assistants. Zbl 1485.68280
Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
7
2017
Soundness and completeness proofs by coinductive methods. Zbl 1409.68251
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
6
2017
Foundational (co)datatypes and (co)recursion for higher-order logic. Zbl 06821624
Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy
5
2017
A formalized general theory of syntax with bindings. Zbl 1468.68072
Gheri, Lorenzo; Popescu, Andrei
1
2017
Encoding monomorphic and polymorphic types. Zbl 1445.68327
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
6
2016
From types to sets by local type definitions in higher-order logic. Zbl 1468.68294
Kunčar, Ondřej; Popescu, Andrei
2
2016
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68167
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2016
Foundational extensible corecursion: a proof assistant perspective. Zbl 1360.68358
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
11
2015
A consistent foundation for Isabelle/HOL. Zbl 1433.68556
Kunčar, Ondřej; Popescu, Andrei
10
2015
Term-generic logic. Zbl 1310.03044
Popescu, Andrei; Roşu, Grigore
3
2015
Witnessing (co)datatypes. Zbl 1335.68224
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
3
2015
Truly modular (co)datatypes for Isabelle/HOL. Zbl 1416.68151
Blanchette, Jasmin Christian; Hölzl, Johannes; Lochbihler, Andreas; Panny, Lorenz; Popescu, Andrei; Traytel, Dmitriy
18
2014
Unified classical logic completeness. A coinductive pearl. Zbl 1409.68250
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
8
2014
Cardinals in Isabelle/HOL. Zbl 1416.68152
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
5
2014
Encoding monomorphic and polymorphic types. Zbl 1381.68259
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
12
2013
Mechanizing the metatheory of Sledgehammer. Zbl 1398.68479
Blanchette, Jasmin Christian; Popescu, Andrei
6
2013
Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory. Zbl 1426.68285
Schropp, Andreas; Popescu, Andrei
2
2013
Formalizing probabilistic noninterference. Zbl 1426.68287
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
2
2013
Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference. Zbl 1394.68083
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
1
2013
Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. Zbl 1362.68251
Traytel, Dmitry; Popescu, Andrei; Blanchette, Jasmin C.
11
2012
More SPASS with Isabelle. Superposition with hard sorts and configurable simplification. Zbl 1360.68742
Blanchette, Jasmin Christian; Popescu, Andrei; Wand, Daniel; Weidenbach, Christoph
7
2012
Proving concurrent noninterference. Zbl 1383.68014
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
1
2012
Recursion principles for syntax with bindings and substitution. Zbl 1323.68225
Popescu, Andrei; Gunter, Elsa L.
2
2011
Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Zbl 1284.68432
Popescu, Andrei; Gunter, Elsa L.
1
2010
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
Term-generic logic. Zbl 1253.03061
Popescu, Andrei; Roşu, Grigore
1
2009
An institution-independent proof of the Robinson consistency theorem. Zbl 1123.03059
Găină, Daniel; Popescu, Andrei
9
2007
Some algebraic theory for many-valued relation algebras. Zbl 1118.03061
Popescu, Andrei
4
2007
An institution-independent generalization of Tarski’s elementary chain theorem. Zbl 1123.03058
Gaĭnă, Daniel; Popescu, Andrei
6
2006
Order convergence and distance on Łukasiewicz-Moisil algebras. Zbl 1141.06004
Georgescu, George; Leuştean, Ioana; Popescu, Andrei
2
2006
A common generalization for MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1109.06010
Georgescu, George; Popescu, Andrei
1
2006
A semantic approach to interpolation. Zbl 1159.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
Similarity convergence in residuated structures. Zbl 1082.03058
Georgescu, George; Popescu, Andrei
6
2005
Many-valued relation algebras. Zbl 1086.03054
Popescu, Andrei
2
2005
Behavioral extensions of institutions. Zbl 1151.68493
Popescu, Andrei; Roşu, Grigore
1
2005
Non-dual fuzzy connections. Zbl 1060.03042
Georgescu, George; Popescu, Andrei
65
2004
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
20
2004
Non-commutative fuzzy structures and pairs of weak negations. Zbl 1036.06007
Georgescu, George; Popescu, Andrei
10
2004
Non-commutative fuzzy Galois connections. Zbl 1024.03025
Georgescu, G.; Popescu, A.
24
2003
Closure operators and concept equations in non-commutative fuzzy logic. Zbl 1065.03016
Georgescu, George; Popescu, Andrei
2
2003
Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016
Georgescu, George; Popescu, Andrei
14
2002
all top 5

Cited by 258 Authors

18 Medina, Jesús
15 Blanchette, Jasmin Christian
15 Popescu, Andrei
9 Konecny, Jan
9 Ojeda-Aciego, Manuel
8 Diaconescu, Răzvan
7 Bělohlávek, Radim
7 Kim, Yong Chan
7 Traytel, Dmitry
6 Lochbihler, Andreas
6 Ramírez-Poussa, Eloisa
5 Cornejo, Maria Eugenia
5 Kaliszyk, Cezary
5 Ko, Jung Mi
5 Paulson, Lawrence Charles
5 Pocs, Jozef
4 Abel, Andreas M.
4 Ciungu, Lavinia Corina
4 Fleury, Mathias
4 Georgescu, George
4 Krupka, Michal
4 Kunčar, Ondřej
4 Lai, Hongliang
4 Lammich, Peter
4 Schlichtkrull, Anders
4 Shen, Lili
4 Urban, Josef
4 Waldmann, Uwe
3 Bentkamp, Alexander
3 Benzmüller, Christoph Ewald
3 Böhme, Sascha
3 Ciobanu, Gabriel
3 Novák, Vilém
3 Shao, Mingwen
3 Văideanu, Cristian
3 Weidenbach, Christoph
3 Yao, Wei
3 Zhang, Wenxiu
2 Aiguier, Marc
2 Alcalde, Cristina
2 Boffa, Stefania
2 Burusco, Ana
2 Bustince, Humberto
2 Cruanes, Simon
2 Díaz-Moreno, Juan Carlos
2 Fan, Shiqing
2 Frascella, Anna
2 Gaĭnă, Daniel
2 Guido, Cosimo
2 Gutiérrez García, Javier
2 Halmagrand, Pierre
2 Hu, Baoqing
2 Kim, Young Sun
2 Li, Jinhai
2 Mesiar, Radko
2 Miao, Duoqian
2 Momigliano, Alberto
2 Mureşan, Claudia
2 Murinová, Petra
2 Nipkow, Tobias
2 Pientka, Brigitte
2 Prade, Henri M.
2 Reynolds, Andrew
2 Roşu, Grigore
2 Ruiz-Calviño, Jorge
2 Tourret, Sophie
2 Vukmirović, Petar
2 Weber, Tjark
2 Zhang, Dexue
2 Zhao, Xuerong
1 Adelsberger, Stephan
1 Allais, Guillaume
1 Antoni, Lubomir
1 Aswani Kumar, Cherukuri
1 Barbier, Franck
1 Bartl, Eduard
1 Basin, David A.
1 Bauereiß, Thomas
1 Benítez-Caballero, María José
1 Bordg, Anthony
1 Borgström, Johannes
1 Bošnjak, Ivica
1 Botur, Michal
1 Bouzy, Aymeric
1 Brown, Chad Edward
1 Brown, Lawrence Michael
1 Brunner, Julian
1 Bundy, Alan
1 Burel, Guillaume
1 Bury, Guillaume
1 Butka, Peter
1 Cabrera, Inma P.
1 Cao, Jiannong
1 Cauderlier, Raphaël
1 Cockx, Jesper
1 Cohen, Liron
1 Cordero, Pablo
1 De Baets, Bernard
1 de Prada Vicente, María Angeles
1 Dedene, Guido
...and 158 more Authors

Citations by Year