Andrei Popescu
Homepages π
E-Mails π§
Entries
2023
2021
CoSMeDis: A confidentiality-verified distributed social media platform
by Thomas Bauereiss π§ and Andrei Popescu π
CoSMed: A confidentiality-verified social media platform
by Thomas Bauereiss π§ and Andrei Popescu π
CoCon: A Confidentiality-Verified Conference Management System
by Andrei Popescu π, Peter Lammich π§ and Thomas Bauereiss π§
2020
From Abstract to Concrete GΓΆdel's Incompleteness TheoremsβPart II
by Andrei Popescu π and Dmitriy Traytel π
From Abstract to Concrete GΓΆdel's Incompleteness TheoremsβPart I
by Andrei Popescu π and Dmitriy Traytel π
An Abstract Formalization of GΓΆdel's Incompleteness Theorems
by Andrei Popescu π and Dmitriy Traytel π
2019
2017
Operations on Bounded Natural Functors
by Jasmin Christian Blanchette π§, Andrei Popescu π and Dmitriy Traytel π
Abstract Soundness
by Jasmin Christian Blanchette π§, Andrei Popescu π and Dmitriy Traytel π
2014
Abstract Completeness
by Jasmin Christian Blanchette π, Andrei Popescu π and Dmitriy Traytel π
2013
Sound and Complete Sort Encodings for First-Order Logic
by Jasmin Christian Blanchette π and Andrei Popescu π