No. |
Title |
Author |
Year |
---|

1 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages |
Kappé, Tobias et al. |
2017 |

2 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk) |
Silva, Alexandra |
2017 |

3 |
CALF: Categorical Automata Learning Framework |
van Heerdt, Gerco et al. |
2017 |

4 |
The Power of Convex Algebras |
Bonchi, Filippo et al. |
2017 |

5 |
Coalgebraic Learning (Invited Talk) |
Silva, Alexandra |
2016 |

6 |
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning |
Endrullis, Jörg et al. |
2015 |

7 |
Applications of Automata and Concurrency Theory in Networks (Invited Paper) |
Silva, Alexandra |
2015 |

8 |
Generalizing the powerset construction, coalgebraically |
Silva, Alexandra et al. |
2010 |