A simple voting protocol on quantum blockchain X Sun, Q Wang, P Kulicki, M Sopek International Journal of Theoretical Physics 58, 275-281, 2019 | 81 | 2019 |
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic X Sun, M Sopek, Q Wang, P Kulicki Entropy 21 (8), 723, 2019 | 62 | 2019 |
On deontic action logics based on Boolean algebra R Trypuz, P Kulicki Journal of Logic and Computation 25 (5), 1241-1260, 2015 | 40 | 2015 |
A systematics of deontic action logics based on boolean algebra R Trypuz, P Kulicki Logic and Logical Philosophy 18 (3-4), 253-270, 2009 | 38 | 2009 |
Quantum Technique for Access Control in Cloud Computing II: Encryption and Key Distribution L Zhou, Q Wang, X Sun, P Kulicki, A Castiglione Journal of Network and Computer Applications, 2017 | 31 | 2017 |
The Polish school of argumentation: a manifesto K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ... Argumentation 28 (3), 267-282, 2014 | 23 | 2014 |
Towards metalogical systematisation of deontic action logics based on boolean algebra R Trypuz, P Kulicki Deontic Logic in Computer Science: 10th International Conference, DEON 2010 …, 2010 | 21 | 2010 |
Quantum-enhanced logic-based blockchain i: Quantum honest-success byzantine agreement and qulogicoin X Sun, Q Wang, P Kulicki, X Zhao arXiv preprint arXiv:1805.06768, 2018 | 17 | 2018 |
Multi-Party Quantum Byzantine Agreement without Entanglement X Sun, P Kulicki, M Sopek Entropy 22 (10), 1152, 2020 | 16 | 2020 |
Multi-party Quantum Byzantine Agreement Without Entanglement X Sun, P Kulicki, M Sopek arXiv preprint arXiv:2003.09120, 2020 | 16 | 2020 |
Lottery and auction on quantum blockchain X Sun, P Kulicki, M Sopek Entropy 22 (12), 1377, 2020 | 13 | 2020 |
A norm-giver meets deontic action logic R Trypuz, P Kulicki Logic and Logical Philosophy 20 (1-2), 59-72, 2011 | 12 | 2011 |
A formal ontology of knowing and knowledge P Garbacz, P Kulicki, R Trypuz Knowledge Management Research & Practice 10 (3), 206-226, 2012 | 11 | 2012 |
Aristotle’s syllogistic as a deductive system P Kulicki Axioms 9 (2), 56, 2020 | 10 | 2020 |
Do you still want to vote for your favorite politician? Ask Ontobella! P Garbacz, M Lechniak, P Kulicki, R Trypuz Formal Ontologies Meet Industry, 102-113, 2009 | 10 | 2009 |
Connecting actions and states in deontic logic P Kulicki, R Trypuz Studia Logica 105, 915-942, 2017 | 9 | 2017 |
Multivalued Logic for Conflicting Norms P Kulicki, R Trypuz Deontic Logic and Normative Systems 13th International Conference, DEON 2016 …, 2016 | 9 | 2016 |
How to Build a Deontic Action Logic P Kulicki, R Trypuz The Logica Yearbook 2011, 107-120, 2012 | 9 | 2012 |
On minimal models for pure calculi of names P Kulicki Logic and Logical Philosophy 22 (4), 429-443, 2013 | 8 | 2013 |
An Axiomatisation of a Pure Calculus of Names P Kulicki Studia Logica 100 (5), 921-946, 2012 | 8 | 2012 |