Artikelen met mandaten voor openbare toegang - Filippo BonchiMeer informatie
Nergens beschikbaar: 3
Up-to techniques for weighted systems
F Bonchi, B König, S Küpper
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandaten: German Research Foundation
Behaviour-aware matching of cloud applications
F Bonchi, A Brogi, A Canciani, J Soldani
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
Mandaten: European Commission
Polyadic soft constraints
F Bonchi, L Bussi, F Gadducci, F Santini
The Art of Modelling Computational Systems: A Journey from Logic and …, 2019
Mandaten: Government of Italy
Ergens beschikbaar: 38
Interacting hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
Mandaten: European Commission
Saturated semantics for reactive systems
F Bonchi, B Konig, U Montanari
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 69-80, 2006
Mandaten: German Research Foundation
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandaten: European Commission
Diagrammatic algebra: from linear to concurrent systems
F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
Mandaten: US Department of Defense, UK Engineering and Physical Sciences Research Council
Graphical affine algebra
F Bonchi, R Piedeleu, P Sobociński, F Zanasi
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
Mandaten: UK Engineering and Physical Sciences Research Council
A coalgebraic perspective on minimization and determinization
J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva
Foundations of Software Science and Computational Structures: 15th …, 2012
Mandaten: German Research Foundation
Coalgebraic behavioral metrics
P Baldan, F Bonchi, H Kerstan, B König
Logical Methods in Computer Science 14, 2018
Mandaten: German Research Foundation, Government of Italy
String diagram rewrite theory I: Rewriting with Frobenius structure
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi
Journal of the ACM (JACM) 69 (2), 1-58, 2022
Mandaten: UK Engineering and Physical Sciences Research Council, Government of Italy
A general account of coinduction up-to
F Bonchi, D Petrişan, D Pous, J Rot
Acta Informatica 54, 127-190, 2017
Mandaten: European Commission
The power of convex algebras
F Bonchi, A Silva, A Sokolova
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
Mandaten: Austrian Science Fund, European Commission
The theory of traces for systems with nondeterminism and probability
F Bonchi, A Sokolova, V Vignudelli
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
Mandaten: Austrian Science Fund, European Commission, Agence Nationale de la Recherche
Enhanced coalgebraic bisimulation
J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva
Mathematical Structures in Computer Science 27 (7), 1236-1264, 2017
Mandaten: Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Process Bisimulation Via a Graphical Encoding
F Bonchi, F Gadducci, B König
International Conference on Graph Transformation, 168-183, 2006
Mandaten: German Research Foundation
Confluence of graph rewriting with interfaces
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
Mandaten: European Commission
Synthesising CCS bisimulation using graph rewriting
F Bonchi, F Gadducci, B König
Information and Computation 207 (1), 14-40, 2009
Mandaten: German Research Foundation
Refinement for signal flow graphs
F Bonchi, J Holland, D Pavlovic, P Sobocinski
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
Mandaten: US National Science Foundation, US Department of Defense
Modular encoding of synchronous and asynchronous interactions using open Petri nets
P Baldan, F Bonchi, F Gadducci, GV Monreale
Science of Computer Programming 109, 96-124, 2015
Mandaten: Government of Italy
Publicatie- en financieringsgegevens worden automatisch vastgesteld door een computerprogramma