M
Michal Walicki
Researcher at University of Bergen
Publications - 53
Citations - 394
Michal Walicki is an academic researcher from University of Bergen. The author has contributed to research in topics: Nondeterministic algorithm & Epistemic modal logic. The author has an hindex of 10, co-authored 49 publications receiving 369 citations.
Papers
More filters
Journal ArticleDOI
Algebraic approaches to nondeterminism—an overview
Michal Walicki,Sigurd Meldal +1 more
TL;DR: One of the main reasons for considering nondeterminism in computer science is the need for abstraction, allowing one to disregard irrelevant aspects of actual computations.
Journal ArticleDOI
A complete calculus for the multialgebraic and functional semantics of nondeterminism
Michal Walicki,Sigurd Meldal +1 more
TL;DR: A specification language for nondeterministic operators and multialgebraic semantics is defined and the first complete reasoning system for such specifications is introduced and the calculus is shown to be sound and complete also with respect to the new semantics.
Journal ArticleDOI
Sequence partitioning for process mining with unlabeled event logs
Michal Walicki,Diogo R. Ferreira +1 more
TL;DR: This work describes an approach to perform complete search over the search space, as a matter of finding the minimal set of patterns contained in a sequence, where patterns can be interleaved but do not have repeating symbols.
Book ChapterDOI
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
Michal Walicki,Sigurd Meldal +1 more
TL;DR: A calculus NEQ, with restricted substitutivity rules, is introduced, which captures the singular strategy of passing nondeterministic parameters and is sound and complete wrt.
Journal ArticleDOI
Expressive power of digraph solvability
TL;DR: In this paper, it was shown that solvability of digraphs is equivalent to satisfiability of theories of propositional logic, and that the existence of a kernel for a digraph for its lifting to an infinitely-branching dag is a sufficient condition for lifting to a tree.