461 citations
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Interdisciplinary Centre for Security, Reliability and TrustLU4 papers
- Université de LorraineFR4 papers
- Institut Élie Cartan de LorraineFR3 papers
- Polish Academy of SciencesPL3 papers
- Recherches Scientifiques LuxembourgLU3 papers
- Sorbonne UniversitéFR3 papers
- Centre Inria de l'Université de LilleFR2 papers
- Centre Inria de l'Université de LorraineFR2 papers
- Eötvös Loránd UniversityHU2 papers
- Institut de Recherche en Informatique de ToulouseFR2 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR2 papers
14 papers · 1 filter
Finitely generated maximal partial clones and their intersections
Miguel Couceiro, Lucien Haddad
Let A be a finite non-singleton set. For |A|=2 we show that the partial clone consisting of all selfdual monotone partial functions on A is not finitely generated, while it is the…
How to Work with Honest but Curious Judges? (Preliminary Report)
Jun Pang, Chenyi Zhang
The three-judges protocol, recently advocated by Mclver and Morgan as an example of stepwise refinement of security protocols, studies how to securely compute the majority function…
A Computational Study of the Asymptotic Behaviour of Coefficient Fields of Modular Forms
Marcel Mohyla, Gabor Wiese
The article motivates, presents and describes large computer calculations concerning the asymptotic behaviour of arithmetic properties of coefficient fields of modular forms. The o…
Assessing the Impact of Informedness on a Consultant's Profit
Eugen Staab, Martin Caminada
We study the notion of informedness in a client-consultant setting. Using a software simulator, we examine the extent to which it pays off for consultants to provide their clients…
A Cognitive Mind-map Framework to Foster Trust
Jayanta Poray, Christoph Schommer
The explorative mind-map is a dynamic framework, that emerges automatically from the input, it gets. It is unlike a verificative modeling system where existing (human) thoughts are…
On hom-algebras with surjective twisting
Aron Gohr
A hom-associative structure is a set together with a binary operation and a selfmap such that an -twisted version of associativity is fulfilled. In this paper, w…