Content available in repository
Content available in repository
Description
This folder contains the benchmarks that were performed as part of the publications Thomas Neele, Tim A. C. Willemse, Jan Friso Groote: Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS 2018. LNCS 11222, pp. 216-236. and Thomas Neele, Tim A. C. Willemse, Jan Friso Groote: Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems. Science of Computer Programming (FACS 2018 special issue), vol. 188, 102389, 2020.
| Date made available | 4 Nov 2019 |
|---|---|
| Publisher | Zenodo |
-
Finding compact proofs for infinite-data parameterised Boolean equation systems
Neele, T. (Corresponding author), Willemse, T. A. C. & Groote, J. F., 1 Mar 2020, In: Science of Computer Programming. 188, 22 p., 102389.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)83 Downloads (Pure) -
Solving parameterised boolean equation systems with infinite data through quotienting
Neele, T., Willemse, T. A. C. & Groote, J. F., 5 Oct 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Berlin: Springer, p. 216-236 21 p. (Lecture Notes in Computer Science; vol. 11222).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7 Citations (Scopus)2 Downloads (Pure)