3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2019
Modelling architectures of parametric weighted component-based systems
Maria Pittou, George Rahonis
The design of complex software systems usually lies in multiple coordinating components with an unknown number of instances. For such systems a main challenge is modelling efficien…
cs.FL2017★ 3 cited
MK-fuzzy Automata and MSO Logics
Manfred Droste, Temur Kutsia, George Rahonis +1
We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, prac…