Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

5 results
authFullName_s : Alexandra Silva
Page :
sorted by
Image document

Towards a Coalgebraic Chomsky Hierarchy

 Sergey Goncharov , Stefan Milius , Alexandra Silva
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩
Conference papers hal-01402071v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1

Formal Techniques for Distributed Objects, Components, and Systems

 Ahmed Bouajjani , Alexandra Silva
Springer International Publishing, LNCS-10321, 2017, Lecture Notes in Computer Science, 978-3-319-60224-0. ⟨10.1007/978-3-319-60225-7⟩
Books hal-01658426v1
Image document

Trace Semantics via Determinization

 Bart Jacobs , Alexandra Silva , Ana Sokolova
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers hal-01539887v1
Image document

Learning Automata with Side-Effects

 Gerco Van Heerdt , Matteo Sammartino , Alexandra Silva
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.68-89, ⟨10.1007/978-3-030-57201-3_5⟩
Conference papers hal-03232354v1
Page :