Articles

• 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

   

• 15 February 2019

  Model Checking Delay Differential Equations Against Metric Interval Temporal Logic

   

• 15 February 2019

  A Provably Correct Compilation of Functional Languages into Scripting Languages

   

• 15 February 2019

  Subvarieties of the Variety of Meadows

   

• 15 February 2019

  Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities

   

• 15 February 2019

  Derived-Term Automata of Multitape Expressions with Composition