Interacting conceptual spaces I: Grammatical composition of concepts J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu Conceptual spaces: Elaborations and applications, 151-181, 2019 | 54 | 2019 |
Categories of nets JC Baez, F Genovese, J Master, M Shulman 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 31 | 2021 |
Generalized relations in linguistics & cognition B Coecke, F Genovese, M Lewis, D Marsden, A Toumi Theoretical computer science 752, 104-115, 2018 | 30 | 2018 |
Infinite-dimensional categorical quantum mechanics S Gogioso, F Genovese arXiv preprint arXiv:1605.04305, 2016 | 28 | 2016 |
Interacting conceptual spaces J Bolt, B Coecke, F Genovese, M Lewis, D Marsden, R Piedeleu arXiv preprint arXiv:1608.01402, 2016 | 23 | 2016 |
Custom hypergraph categories via generalized relations D Marsden, F Genovese arXiv preprint arXiv:1703.01204, 2017 | 19 | 2017 |
Executions in (semi-) integer petri nets are compact closed categories F Genovese, J Herold arXiv preprint arXiv:1805.05988, 2018 | 15 | 2018 |
Towards quantum field theory in categorical quantum mechanics S Gogioso, F Genovese arXiv preprint arXiv:1703.09594, 2017 | 12 | 2017 |
Quantum field theory in categorical quantum mechanics S Gogioso, F Genovese arXiv preprint arXiv:1805.12087, 2018 | 10 | 2018 |
Computational petri nets: Adjunctions considered harmful F Genovese, A Gryzlov, J Herold, M Perone, E Post, A Videla arXiv preprint arXiv:1904.12974, 2019 | 9 | 2019 |
The mathematical specification of the statebox language S Team, F Genovese, J Herold arXiv preprint arXiv:1906.07629, 2019 | 8 | 2019 |
Yoneda hacking: The algebra of attacker actions G Bakirtzis, F Genovese, CH Fleming ACM Transactions on Cyber-Physical Systems (TCPS) 6 (3), 1-27, 2022 | 7 | 2022 |
A categorical semantics for guarded petri nets F Genovese, DI Spivak International Conference on Graph Transformation, 57-74, 2020 | 7 | 2020 |
A categorical semantics for hierarchical Petri nets FR Genovese, J Herold, F Loregian, D Palombi arXiv preprint arXiv:2102.00096, 2021 | 6 | 2021 |
idris-ct: A Library to do Category Theory in Idris F Genovese, A Gryzlov, J Herold, A Knispel, M Perone, E Post, A Videla arXiv preprint arXiv:1912.06191, 2019 | 6 | 2019 |
Uniqueness of composition in quantum theory and linguistics B Coecke, F Genovese, S Gogioso, D Marsden, R Piedeleu arXiv preprint arXiv:1803.00708, 2018 | 6 | 2018 |
Obstructions to Compositionality C Puca, A Hadzihasanovic, F Genovese, B Coecke arXiv preprint arXiv:2307.14461, 2023 | 4 | 2023 |
Nets with Mana: A Framework for Chemical Reaction Modelling F Genovese, F Loregian, D Palombi International Conference on Graph Transformation, 185-202, 2021 | 4 | 2021 |
Fibrational linguistics: First concepts F Genovese, F Loregian, C Puca arXiv preprint arXiv:2201.01136, 2022 | 3 | 2022 |
Escrows are optics F Genovese, F Loregian, D Palombi arXiv preprint arXiv:2105.10028, 2021 | 3 | 2021 |