×

zbMATH — the first resource for mathematics

Popescu, Andrei

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
Documents Indexed: 57 Publications since 2002, including 2 Books

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 269 times in 164 Documents Cited by Year
Non-dual fuzzy connections. Zbl 1060.03042
Georgescu, George; Popescu, Andrei
56
2004
Non-commutative fuzzy Galois connections. Zbl 1024.03025
Georgescu, G.; Popescu, A.
20
2003
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
16
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
16
2014
Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016
Georgescu, George; Popescu, Andrei
13
2002
Encoding monomorphic and polymorphic types. Zbl 1381.68259
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
11
2013
Foundational extensible corecursion: a proof assistant perspective. Zbl 1360.68358
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
11
2015
An institution-independent proof of the Robinson consistency theorem. Zbl 1123.03059
Găină, Daniel; Popescu, Andrei
9
2007
Non-commutative fuzzy structures and pairs of weak negations. Zbl 1036.06007
Georgescu, George; Popescu, Andrei
8
2004
Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. Zbl 1362.68251
Traytel, Dmitry; Popescu, Andrei; Blanchette, Jasmin C.
8
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
A consistent foundation for Isabelle/HOL. Zbl 1433.68556
Kunčar, Ondřej; Popescu, Andrei
7
2015
Mechanizing the metatheory of Sledgehammer. Zbl 1398.68479
Blanchette, Jasmin Christian; Popescu, Andrei
6
2013
Unified classical logic completeness. A coinductive pearl. Zbl 1409.68250
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
6
2014
Friends with benefits. Implementing corecursion in foundational proof assistants. Zbl 06721319
Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
6
2017
Comprehending Isabelle/HOL’s consistency. Zbl 06721341
Kunčar, Ondřej; Popescu, Andrei
6
2017
An institution-independent generalization of Tarski’s elementary chain theorem. Zbl 1123.03058
Gaĭnă, Daniel; Popescu, Andrei
6
2006
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
Similarity convergence in residuated structures. Zbl 1082.03058
Georgescu, George; Popescu, Andrei
5
2005
Soundness and completeness proofs by coinductive methods. Zbl 1409.68251
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
5
2017
Some algebraic theory for many-valued relation algebras. Zbl 1118.03061
Popescu, Andrei
4
2007
Cardinals in Isabelle/HOL. Zbl 1416.68152
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
4
2014
Encoding monomorphic and polymorphic types. Zbl 1445.68327
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
3
2016
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
Order convergence and distance on Łukasiewicz-Moisil algebras. Zbl 1141.06004
Georgescu, George; Leuştean, Ioana; Popescu, Andrei
2
2006
Closure operators and concept equations in non-commutative fuzzy logic. Zbl 1065.03016
Georgescu, George; Popescu, Andrei
2
2003
Witnessing (co)datatypes. Zbl 1335.68224
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
2
2015
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
Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Zbl 1284.68432
Popescu, Andrei; Gunter, Elsa L.
1
2010
Term-generic logic. Zbl 1310.03044
Popescu, Andrei; Roşu, Grigore
1
2015
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
Proving concurrent noninterference. Zbl 1383.68014
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
1
2012
A formalized general theory of syntax with bindings. Zbl 06821855
Gheri, Lorenzo; Popescu, Andrei
1
2017
Term-generic logic. Zbl 1253.03061
Popescu, Andrei; Roşu, Grigore
1
2009
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68167
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2016
From types to sets by local type definitions in higher-order logic. Zbl 06644745
Kunčar, Ondřej; Popescu, Andrei
1
2016
Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference. Zbl 1394.68083
Popescu, Andrei; Hölzl, Johannes; Nipkow, Tobias
1
2013
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68168
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2018
A semantic approach to interpolation. Zbl 1159.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
From types to sets by local type definition in higher-order logic. Zbl 07024458
Kunčar, Ondřej; Popescu, Andrei
1
2019
A consistent foundation for Isabelle/HOL. Zbl 1465.68289
Kunčar, Ondřej; Popescu, Andrei
1
2019
A formally verified abstract account of Gödel’s incompleteness theorems. Zbl 07178991
Popescu, Andrei; Traytel, Dmitriy
1
2019
From types to sets by local type definition in higher-order logic. Zbl 07024458
Kunčar, Ondřej; Popescu, Andrei
1
2019
A consistent foundation for Isabelle/HOL. Zbl 1465.68289
Kunčar, Ondřej; Popescu, Andrei
1
2019
A formally verified abstract account of Gödel’s incompleteness theorems. Zbl 07178991
Popescu, Andrei; Traytel, Dmitriy
1
2019
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68168
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2018
Friends with benefits. Implementing corecursion in foundational proof assistants. Zbl 06721319
Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
6
2017
Comprehending Isabelle/HOL’s consistency. Zbl 06721341
Kunčar, Ondřej; Popescu, Andrei
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
Soundness and completeness proofs by coinductive methods. Zbl 1409.68251
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
5
2017
A formalized general theory of syntax with bindings. Zbl 06821855
Gheri, Lorenzo; Popescu, Andrei
1
2017
Encoding monomorphic and polymorphic types. Zbl 1445.68327
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
3
2016
CoSMed: a confidentiality-verified social media platform. Zbl 1451.68167
Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
1
2016
From types to sets by local type definitions in higher-order logic. Zbl 06644745
Kunčar, Ondřej; Popescu, Andrei
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
7
2015
Witnessing (co)datatypes. Zbl 1335.68224
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
2
2015
Term-generic logic. Zbl 1310.03044
Popescu, Andrei; Roşu, Grigore
1
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
16
2014
Unified classical logic completeness. A coinductive pearl. Zbl 1409.68250
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
6
2014
Cardinals in Isabelle/HOL. Zbl 1416.68152
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy
4
2014
Encoding monomorphic and polymorphic types. Zbl 1381.68259
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
11
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.
8
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
5
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
56
2004
A general approach to fuzzy concepts. Zbl 1059.03015
Popescu, Andrei
16
2004
Non-commutative fuzzy structures and pairs of weak negations. Zbl 1036.06007
Georgescu, George; Popescu, Andrei
8
2004
Non-commutative fuzzy Galois connections. Zbl 1024.03025
Georgescu, G.; Popescu, A.
20
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
13
2002
all top 5

Cited by 227 Authors

17 Medina, Jesús
13 Blanchette, Jasmin Christian
13 Popescu, Andrei
9 Konecny, Jan
9 Ojeda-Aciego, Manuel
8 Diaconescu, Răzvan
7 Bělohlávek, Radim
6 Ramírez-Poussa, Eloisa
5 Lochbihler, Andreas
5 Pocs, Jozef
4 Abel, Andreas M.
4 Ciungu, Lavinia Corina
4 Cornejo, Maria Eugenia
4 Fleury, Mathias
4 Georgescu, George
4 Kaliszyk, Cezary
4 Krupka, Michal
4 Kunčar, Ondřej
4 Lai, Hongliang
4 Lammich, Peter
4 Schlichtkrull, Anders
4 Traytel, Dmitry
3 Böhme, Sascha
3 Ciobanu, Gabriel
3 Paulson, Lawrence Charles
3 Shao, Mingwen
3 Shen, Lili
3 Urban, Josef
3 Văideanu, Cristian
3 Weidenbach, Christoph
3 Yao, Wei
3 Zhang, Wenxiu
2 Aiguier, Marc
2 Alcalde, Cristina
2 Benzmüller, Christoph Ewald
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 Li, Jinhai
2 Mesiar, Radko
2 Momigliano, Alberto
2 Mureşan, Claudia
2 Pientka, Brigitte
2 Prade, Henri M.
2 Reynolds, Andrew
2 Roşu, Grigore
2 Ruiz-Calviño, Jorge
2 Waldmann, Uwe
2 Weber, Tjark
2 Zhang, Dexue
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, M. José
1 Bentkamp, Alexander
1 Borgström, Johannes
1 Bošnjak, Ivica
1 Botur, Michal
1 Bouzy, Aymeric
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 Cordero, Pablo
1 De Baets, Bernard
1 de Prada Vicente, María Angeles
1 Dedene, Guido
1 Delahaye, David
1 Díaz, Juan Carlos
1 Divasón, Jose
1 Djouadi, Yassine
1 Dubois, Didier
1 Echenim, Mnacho
1 El-Zekey, Moataz Saleh
1 Eriksson, Lars-Henrik
1 Fallah, Mehran S.
1 Fan, Xueshuang
1 Fang, Jinxuan
1 Figallo Orellano, Aldo
1 Forsberg Gutkovas, Ramūnas
1 Foster, Simon
1 Freitas, Leo
...and 127 more Authors

Citations by Year