Andrei Popescu
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reasoning in assumption-based argumentation using tree-decompositions j=' ' a=' ' j#=6 a#=6 | 2024-05-29 | Paper |
| Bounded-Deducibility Security (Invited Paper) j=' ' a=' ' j#=6 a#=6 | 2023-06-20 | Paper |
| Distilling the requirements of Gödel's incompleteness theorems with a proof assistant Journal of Automated Reasoning j='Journal of Automated Reasoning' a=' ' j#=30 a#=6 | 2021-11-24 | Paper |
| Foundational nonuniform (co)datatypes for higher-order logic j=' ' a=' ' j#=6 a#=6 | 2021-01-19 | Paper |
| A formally verified abstract account of Gödel's incompleteness theorems j=' ' a=' ' j#=6 a#=6 | 2020-03-10 | Paper |
| Formal verification of language-based concurrent noninterference j=' ' a=' ' j#=6 a#=6 | 2019-09-18 | Paper |
| A consistent foundation for Isabelle/HOL Journal of Automated Reasoning j='Journal of Automated Reasoning' a=' ' j#=30 a#=6 | 2019-04-29 | Paper |
| From types to sets by local type definition in higher-order logic Journal of Automated Reasoning j='Journal of Automated Reasoning' a=' ' j#=30 a#=6 | 2019-02-18 | Paper |
| CoSMed: a confidentiality-verified social media platform Journal of Automated Reasoning j='Journal of Automated Reasoning' a=' ' j#=30 a#=6 | 2018-08-21 | Paper |
| Foundational (co)datatypes and (co)recursion for higher-order logic j=' ' a=' ' j#=6 a#=6 | 2018-01-04 | Paper |
| Soundness and completeness proofs by coinductive methods Journal of Automated Reasoning j='Journal of Automated Reasoning' a=' ' j#=30 a#=6 | 2017-07-10 | Paper |
| Friends with benefits. Implementing corecursion in foundational proof assistants Programming Languages and Systems j='Programming Languages and Systems' a=' ' j#=33 a#=6 | 2017-05-19 | Paper |
| Comprehending Isabelle/HOL’s Consistency Programming Languages and Systems j='Programming Languages and Systems' a=' ' j#=33 a#=6 | 2017-05-19 | Paper |
| Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving 2012 27th Annual IEEE Symposium on Logic in Computer Science j='2012 27th Annual IEEE Symposium on Logic in Computer Science' a=' ' j#=60 a#=6 | 2017-05-16 | Paper |
| Foundational extensible corecursion: a proof assistant perspective Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming j='Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming' a=' ' j#=86 a#=6 | 2017-05-10 | Paper |
| Encoding monomorphic and polymorphic types Logical Methods in Computer Science j='Logical Methods in Computer Science' a=' ' j#=35 a#=6 | 2017-04-11 | Paper |
| CoSMed: a confidentiality-verified social media platform Interactive Theorem Proving j='Interactive Theorem Proving' a=' ' j#=27 a#=6 | 2016-10-27 | Paper |
| From types to sets by local type definitions in higher-order logic Interactive Theorem Proving j='Interactive Theorem Proving' a=' ' j#=27 a#=6 | 2016-10-27 | Paper |
| Witnessing (co)datatypes Programming Languages and Systems j='Programming Languages and Systems' a=' ' j#=33 a#=6 | 2016-04-26 | Paper |
| A consistent foundation for Isabelle/HOL Interactive Theorem Proving j='Interactive Theorem Proving' a=' ' j#=27 a#=6 | 2015-09-14 | Paper |
| Term-generic logic Theoretical Computer Science j='Theoretical Computer Science' a=' ' j#=28 a#=6 | 2015-04-01 | Paper |
| Recursion principles for syntax with bindings and substitution Proceedings of the 16th ACM SIGPLAN international conference on Functional programming j='Proceedings of the 16th ACM SIGPLAN international conference on Functional programming' a=' ' j#=86 a#=6 | 2015-03-05 | Paper |
| Formalizing probabilistic noninterference Certified Programs and Proofs j='Certified Programs and Proofs' a=' ' j#=29 a#=6 | 2015-01-13 | Paper |
| Unified Classical Logic Completeness Automated Reasoning j='Automated Reasoning' a=' ' j#=19 a#=6 | 2014-09-26 | Paper |
| Truly modular (co)datatypes for Isabelle/HOL Interactive Theorem Proving j='Interactive Theorem Proving' a=' ' j#=27 a#=6 | 2014-09-08 | Paper |
| Cardinals in Isabelle/HOL Interactive Theorem Proving j='Interactive Theorem Proving' a=' ' j#=27 a#=6 | 2014-09-08 | Paper |
| Mechanizing the metatheory of Sledgehammer Frontiers of Combining Systems j='Frontiers of Combining Systems' a=' ' j#=30 a#=6 | 2013-09-20 | Paper |
| Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference Algebra and Coalgebra in Computer Science j='Algebra and Coalgebra in Computer Science' a=' ' j#=41 a#=6 | 2013-09-13 | Paper |
| Encoding monomorphic and polymorphic types Tools and Algorithms for the Construction and Analysis of Systems j='Tools and Algorithms for the Construction and Analysis of Systems' a=' ' j#=65 a#=6 | 2013-08-05 | Paper |
| Proving concurrent noninterference Certified Programs and Proofs j='Certified Programs and Proofs' a=' ' j#=29 a#=6 | 2013-04-19 | Paper |
| More SPASS with Isabelle Interactive Theorem Proving j='Interactive Theorem Proving' a=' ' j#=27 a#=6 | 2012-09-20 | Paper |
| Weak bisimilarity coalgebraically Algebra and Coalgebra in Computer Science j='Algebra and Coalgebra in Computer Science' a=' ' j#=41 a#=6 | 2012-06-01 | Paper |
| Incremental pattern-based coinduction for process algebra and its Isabelle formalization Foundations of Software Science and Computational Structures j='Foundations of Software Science and Computational Structures' a=' ' j#=60 a#=6 | 2010-04-27 | Paper |
| Term-Generic Logic Recent Trends in Algebraic Development Techniques j='Recent Trends in Algebraic Development Techniques' a=' ' j#=49 a#=6 | 2009-10-22 | Paper |
| A semantic approach to interpolation Theoretical Computer Science j='Theoretical Computer Science' a=' ' j#=28 a#=6 | 2009-03-25 | Paper |
| Order convergence and distance on Łukasiewicz-Moisil algebras j=' ' a=' ' j#=6 a#=6 | 2008-07-01 | Paper |
| A new class of probabilities on Łukasiewicz-Moisil algebras j=' ' a=' ' j#=6 a#=6 | 2008-02-11 | Paper |
| Foundations of Software Science and Computation Structures Lecture Notes in Computer Science j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6 | 2007-05-02 | Paper |
| An institution-independent proof of the Robinson consistency theorem Studia Logica j='Studia Logica' a=' ' j#=13 a#=6 | 2007-04-26 | Paper |
| An Institution-independent Generalization of Tarski's Elementary Chain Theorem Journal Of Logic And Computation j='Journal Of Logic And Computation' a=' ' j#=32 a#=6 | 2007-04-13 | Paper |
| Some algebraic theory for many-valued relation algebras Algebra Universalis j='Algebra Universalis' a=' ' j#=19 a#=6 | 2007-04-02 | Paper |
| A common generalization for MV-algebras and Łukasiewicz-Moisil algebras Archive for Mathematical Logic j='Archive for Mathematical Logic' a=' ' j#=30 a#=6 | 2007-01-24 | Paper |
| Algebra and Coalgebra in Computer Science Lecture Notes in Computer Science j='Lecture Notes in Computer Science' a=' ' j#=33 a#=6 | 2006-10-20 | Paper |
| Łukasiewicz-Moisil relation algebras Studia Logica j='Studia Logica' a=' ' j#=13 a#=6 | 2006-03-17 | Paper |
| Many-valued relation algebras Algebra Universalis j='Algebra Universalis' a=' ' j#=19 a#=6 | 2006-01-06 | Paper |
| Similarity Convergence in Residuated Structures Logic Journal of the IGPL j='Logic Journal of the IGPL' a=' ' j#=25 a#=6 | 2005-11-08 | Paper |
| scientific article; zbMATH DE number 2172904 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6 | 2005-06-07 | Paper |
| Non-dual fuzzy connections Archive for Mathematical Logic j='Archive for Mathematical Logic' a=' ' j#=30 a#=6 | 2005-02-11 | Paper |
| A general approach to fuzzy concepts Mathematical Logic Quarterly j='Mathematical Logic Quarterly' a=' ' j#=28 a#=6 | 2004-08-06 | Paper |
| Non-commutative fuzzy structures and pairs of weak negations. Fuzzy Sets and Systems j='Fuzzy Sets and Systems' a=' ' j#=22 a#=6 | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 1876861 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6 | 2003-11-12 | Paper |
| Non-commutative fuzzy Galois connections Soft Computing j='Soft Computing' a=' ' j#=14 a#=6 | 2003-08-31 | Paper |
Research outcomes over time
This page was built for person: Andrei Popescu
