Articles

• 15 February 2019 /

  Formations of Monoids, Congruences, and Formal Languages

   
•  

• 15 February 2019 /

  A Grand Master of Discrete Mathematics

   
•  

• 15 February 2019 /

  Errata to „Formations of Monoids, Congruences, and Formal Languages”

   
•  

• 15 February 2019 /

  Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

   
•  

• 15 February 2019

  Formal Analysis of Android’s Permission-Based Security Model

   

• 15 February 2019

  On Instruction Sets for Boolean Registers in Program Algebra

   

• 15 February 2019

  Dynamic Chromatic Number of Bipartite Graphs

   

• 15 February 2019

  On Activation, Connection, and Behavior in Dynamic Architectures

   

• 15 February 2019

  RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model

   

• 15 February 2019

  A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences