|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva |
A coalgebraic perspective on linear weighted automata.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Brzozowski's Algorithm (Co)Algebraically. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva |
A Coalgebraic Perspective on Minimization and Determinization. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König |
A lattice-theoretical perspective on adhesive categories. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Quantitative Kleene coalgebras. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Symbolic and Asynchronous Semantics via Normalized Coalgebras |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Towards a General Theory of Barbs, Contexts and Labels. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Pino, Frank D. Valencia |
Deriving Labels and Bisimilarity for Concurrent Constraint Programming. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari |
Saturated LTSs for Adhesive Rewriting Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Concurrency Can't Be Observed, Asynchronously. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Generalizing the powerset construction, coalgebraically. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Barbara König |
Synthesising CCS bisimulation using graph rewriting. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
A Net-based Approach to Web Services Publication and Replaceability. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (eds.) |
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions |
ICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
On Barbs and Labels in Reactive Systems |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
Encoding Asynchronous Interactions Using Open Petri Nets. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous calculi, open Petri nets, decidability, bisimilarity |
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Deriving Syntax and Axioms for Quantitative Regular Behaviours. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Symbolic Semantics. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Reactive Systems, Barbed Semantics, and the Mobile Ambients. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Minimization Algorithm for Symbolic Bisimilarity. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
A Coalgebraic Theory of Reactive Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
G-Reactive Systems as Coalgebras. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
On the Use of Behavioural Equivalences for Web Services' Development. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Tobias Heindel |
Parallel and Sequential Independence for Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi |
Abstract Semantics by Observable Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci |
A Category of Explicit Fusions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Symbolic Semantics Revisited. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Tobias Heindel |
Adhesive DPO Parallelism for Monic Matches. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Models for Reactive Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
A Behavioural Congruence for Web Services. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Fabio Gadducci, Barbara König |
Process Bisimulation Via a Graphical Encoding. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Barbara König, Ugo Montanari |
Saturated Semantics for Reactive Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")