Publication
-
July 2019
-
Well-definedness and observational equivalence for inductive-coinductive programs Article
Journal of Logic and Computation, 29(4), 419-468.July 2019 -
Two new results about quantum exact learning In Proceedings
July 2019
-
Stochastic graph exploration In Proceedings
July 2019
-
July 2019 -
Detecting fraudulent bookings of online travel agencies with unsupervised machine learning In Proceedings
July 2019 -
Circular pattern matching with k mismatches In Proceedings
July 2019 -
July 2019