Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Omschrijving
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.
| Datum van beschikbaarheid | 4 nov. 2019 |
|---|---|
| Uitgever | Zenodo |
-
Finding compact proofs for infinite-data parameterised Boolean equation systems
Neele, T. (Corresponding author), Willemse, T. A. C. & Groote, J. F., 1 mrt. 2020, In: Science of Computer Programming. 188, 22 blz., 102389.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand4 Citaten (Scopus)83 Downloads (Pure) -
Solving parameterised boolean equation systems with infinite data through quotienting
Neele, T., Willemse, T. A. C. & Groote, J. F., 5 okt. 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (uitgave). Berlin: Springer, blz. 216-236 21 blz. (Lecture Notes in Computer Science; vol. 11222).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
7 Citaten (Scopus)2 Downloads (Pure)