| Publication | Date of Publication | Type |
|---|
| From clones to hyperclones | 2023-07-21 | Paper |
Precise Subtyping for Asynchronous Multiparty Sessions
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
A Calculus for Modeling Floating Authorizations
Formal Techniques for Distributed Objects, Components, and Systems | 2023-03-10 | Paper |
| On compensation primitives as adaptable processes | 2021-12-03 | Paper |
On compensation primitives as adaptable processes
(available as arXiv preprint) | 2021-12-03 | Paper |
On primitives for compensation handling as adaptable processes
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday | 2021-05-20 | Paper |
| Closed sets of monomials in two variables generated by singletons | 2021-01-15 | Paper |
| scientific article; zbMATH DE number 7297102 (Why is no real title available?) | 2021-01-15 | Paper |
| Monomial clones over small finite fields | 2020-01-28 | Paper |
A calculus for modeling floating authorizations
Journal of Logical and Algebraic Methods in Programming | 2019-10-17 | Paper |
Precise subtyping for synchronous multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Measuring linearity of curves in \(2D\) and \(3D\)
Pattern Recognition | 2018-09-04 | Paper |
| One-point extension of the algebra of incompletely specified operations | 2018-09-03 | Paper |
| Regular sets of operations | 2018-09-03 | Paper |
| Upward saturated hyperclones | 2018-09-03 | Paper |
| Encoding of multi level \(S\)-threshold functions | 2018-09-03 | Paper |
Linked data privacy
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
Binary relations and algebras on multisets
Publications de l'Institut Math?matique (Belgrade) | 2017-03-14 | Paper |
Dynamic role authorization in multiparty conversations
Formal Aspects of Computing | 2016-09-20 | Paper |
Combining behavioural types with security analysis
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Measuring linearity of connected configurations of a finite number of 2D and 3D curves
Journal of Mathematical Imaging and Vision | 2015-07-27 | Paper |
| On completeness criterion for partial hyperoperations | 2013-05-29 | Paper |
| scientific article; zbMATH DE number 6133252 (Why is no real title available?) | 2013-01-31 | Paper |
| Hyperclone lattice and embeddings | 2013-01-31 | Paper |
Classification of maps by their membership in maximal clones that contain minimum and complement
Matematički Vesnik | 2012-09-21 | Paper |
| scientific article; zbMATH DE number 6028118 (Why is no real title available?) | 2012-04-26 | Paper |
| Maximal hyperclones on \(E_{2}\) as hypercores | 2012-04-26 | Paper |
| Relative completeness with respect to transpositions | 2012-02-20 | Paper |
Types for role-based access control of dynamic web data
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
Security Types for Dynamic Web Data
Trustworthy Global Computing | 2009-03-05 | Paper |
Security types for dynamic web data
Theoretical Computer Science | 2008-08-06 | Paper |
| Unary minimal partial hyperclones | 2008-02-11 | Paper |
One Interval in the Lattice of Partial Hyperclones
Czechoslovak Mathematical Journal | 2006-02-14 | Paper |
One Interval in the Lattice of Partial Hyperclones
Czechoslovak Mathematical Journal | 2006-02-14 | Paper |
| scientific article; zbMATH DE number 2242527 (Why is no real title available?) | 2005-12-30 | Paper |
| scientific article; zbMATH DE number 2123359 (Why is no real title available?) | 2004-12-16 | Paper |
| scientific article; zbMATH DE number 2047317 (Why is no real title available?) | 2004-02-26 | Paper |
On the cardinality of nonfinitely based functionally complete algebras
Algebra Universalis | 2003-04-23 | Paper |
| scientific article; zbMATH DE number 1868889 (Why is no real title available?) | 2003-02-16 | Paper |
| scientific article; zbMATH DE number 1868899 (Why is no real title available?) | 2003-02-16 | Paper |
| scientific article; zbMATH DE number 1775487 (Why is no real title available?) | 2002-08-04 | Paper |
Relative completeness with respect to two unary functions
Discrete Applied Mathematics | 2002-07-25 | Paper |
| The cardinality of nonfiniteley based functionally complete algebras on a three element set | 2002-03-10 | Paper |
| Relative completeness | 2002-01-20 | Paper |
| scientific article; zbMATH DE number 1528668 (Why is no real title available?) | 2000-11-13 | Paper |
The cardinality of functionally complete algebras on a three element set
Algebra Universalis | 1998-11-23 | Paper |
