Circ

2014

• On the Complexity of Stream Equality

  Joerg Endrullis and Dimitri Hendriks and Rena Bakhshi and Grigore Rosu
  Journal of Functional Programming Volume 24, pp 166-217, May 2014
  PDF BIB Journal of Functional Programming CIRC

• Behavioral Rewrite Systems and Behavioral Productivity

  Grigore Rosu and Dorel Lucanu
  Futatsugi Festschrift 2014 Volume 8373, pp 296-314, April 2014
  PDF BIB Futatsugi Festschrift 2014 CIRC

2003

• Generating Optimal Linear Temporal Logic Monitors by Coinduction

  Koushik Sen and Grigore Rosu and Gul Agha
  ASIAN'03 Springer-Verlag, Volume 2896, pp 260-275, December 2003
  PDF BIB ASIAN'03 MOP

• Generating Optimal Monitors for Extended Regular Expressions

  Koushik Sen and Grigore Rosu
  RV'03 Elsevier, Volume 89(2), pp 226-245, June 2003
  PDF BIB RV'03 MOP