Articles

• 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

   

• 9 August 2021

  Small Longest Tandem Scattered Subsequences

   

• 9 August 2021

  A Note on Congruences of Infinite Bounded Involution Lattices

   

• 9 August 2021

  Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

   

• 21 December 2020

  Probabilistic Process Algebra and Strategic Interleaving

   

• 21 December 2020

  Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation