Articles

21 June 2022 /
Imperative Process Algebra with Abstraction
21 June 2022 /
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem
21 June 2022 /
Which Arithmetical Data Types Admit Fracterm Flattening?
21 June 2022 /
A Survey of Testing for Instruction Sequence Theory
21 June 2022
Reflections on a Scientific Journal
20 December 2021
Maximizing the Number of Visible Labels on a Rotating Map
20 December 2021
A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids
20 December 2021
On Quantum-MV Algebras – Part I: The Orthomodular Algebras
20 December 2021
Topological Characterization of the Third Type of Triangular Hex-derived Networks
9 August 2021
Applying MDE to ROS Systems: A Comparative Analysis