Concepedia

Filippo Bonchi

FB

41

Publications

1.3K

Citations

20

H-Index

2006

Active since

Affiliations

University of Pisa(Current)

École Normale Supérieure de Lyon

Centre National de la Recherche Scientifique

Université Claude Bernard Lyon 1

Laboratoire de l'Informatique du Parallélisme

Filippo Bonchi is an author at University of Pisa specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSemanticsProof ComplexityComputer EngineeringProgram Analysis

Publications per year

2006–2023

41

Publications

41

Checking NFA equivalence with bisimulations up to congruence

Filippo Bonchi, Damien Pous · 2013 · 147 citations · Full text

Classical Algorithm, Engineering, Nfa Equivalence +15

Generalizing determinization from automata to coalgebras

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue et al. · Logical Methods in Computer Science · 2013 · 111 citations · Full text

Logical Automaton, Engineering, Program Analysis +13

Interacting Hopf algebras

Filippo Bonchi, Paweł Sobociński, Fabio Zanasi · Journal of Pure and Applied Algebra · 2016 · 77 citations · Full text

Hopf Algebra, Representation Theory, Quantum Algebra +2

Full Abstraction for Signal Flow Graphs

Filippo Bonchi, Paweł Sobociński, Fabio Zanasi · 2014 · 63 citations

Full Abstraction, String Diagrammatic Language, Directed Graph +15

Generalizing the powerset construction, coalgebraically

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 58 citations · Full text

Abstract Framework, Logical Automaton, Engineering +14

Rows per page

1–5 of 41