Articles

• 5 September 2019 /

  Weighted Context-Free Grammars Over Bimonoids

   
•  

• 5 September 2019 /

  Adams Conditioning and Likelihood Ratio Transfer Mediated Inference

   
•  

• 7 March 2019 /

  Fault-Free Refinements for Interface Automata

   
•  

• 7 March 2019 /

  SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME

   
•  

• 7 March 2019

  A Precise Characterisation of Step Traces and Their Concurrent Histories

   

• 7 March 2019

  Simultaneous Petri Net Synthesis

   

• 7 March 2019

  Pattern Matching in Link Streams: Timed-Automata with Finite Memory

   

• 7 March 2019

  High-Level Koutny Net

   

• 16 February 2019

  RECENZII

   

• 16 February 2019

  Armstrong-like Relations for Functional Partition Dependencies.