Articles

• 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

   

• 21 December 2020

  Instruction Sequence Faults with Formal Change Justification

   

• 20 August 2020

  A Complete Axiomatisation for Probabilistic Trace Equivalence

   

• 20 August 2020

  A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation

   

• 20 August 2020

  An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs