Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(21)
Fabio Gadducci
16
Ugo Montanari
11
Giacoma Valentina Monreale
6
Barbara Konig (Barbara König)
5
Tobias Heindel
5
Conferences
(11)
GG
4
CONCUR
3
FoSSaCS
3
LICS
1
APLAS
1
Journals
(7)
ENTCS
4
CORR
3
IANDC
2
FUIN
2
Electronic Proceedings in Theoretical Computer Science
2
Keywords
(55)
Embed
Subscribe
Academic
Authors
Filippo Bonchi
Edit
Filippo Bonchi
École Normale Supérieure de Lyon
Publications: 38
|
Citations: 159
|
G-Index: 11
|
H-Index: 7
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
21 co-authors
from 2006 to 2011
; Cited by
140 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(38)
BibTeX
|
RIS
|
RefWorks
Download
Quantitative Kleene coalgebras
(
Citations: 3
)
Alexandra Silva
,
Filippo Bonchi
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 5, pp. 822-849, 2011
A lattice-theoretical perspective on adhesive categories
(
Citations: 1
)
Paolo Baldan
,
Filippo Bonchi
,
Andrea Corradini
,
Tobias Heindel
,
Barbara König
Journal:
Journal of Symbolic Computation - JSC
, vol. 46, no. 3, pp. 222-245, 2011
Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Andrés Aristizábal
,
Filippo Bonchi
,
Catuscia Palamidessi
,
Luis Pino
,
Frank D. Valencia
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 138-152, 2011
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Filippo Bonchi
,
Ugo Montanari
Journal:
Computing Research Repository - CORR
, vol. abs/1103.0, 2011
Saturated LTSs for Adhesive Rewriting Systems
(
Citations: 1
)
Filippo Bonchi
,
Fabio Gadducci
,
Giacoma Valentina Monreale
,
Ugo Montanari
Conference:
Graph Grammars Workshops - GG
, pp. 123-138, 2010
Order by:
Citations
(159 times by 98 publications)
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
(
Citations: 1
)
Antonio Brogi
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 1, pp. 3-12, 2011
Deriving Labels and Bisimilarity for Concurrent Constraint Programming
Andrés Aristizábal
,
Filippo Bonchi
,
Catuscia Palamidessi
,
Luis Pino
,
Frank D. Valencia
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 138-152, 2011
A decentralised graphical implementation of mobile ambients
Fabio Gadducci
,
Giacoma Valentina Monreale
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 2, pp. 113-136, 2011
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
(
Citations: 11
)
Wil M. P. van der Aalst
,
Niels Lohmann
,
Peter Massuthe
,
Christian Stahl
,
Karsten Wolf
Journal:
The Computer Journal - CJ
, vol. 53, no. 1, pp. 90-106, 2010
Non-Deterministic Kleene Coalgebras
(
Citations: 4
)
Alexandra Silva
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Computing Research Repository - CORR
, vol. 6, no. 3, 2010
Comments