`Travelled to:`

1 × Canada

1 × Estonia

1 × Hungary

1 × India

1 × Italy

1 × Japan

1 × Poland

1 × South Korea

1 × USA

1 × United Kingdom

`Collaborated with:`

M.M.Bonsangue J.J.M.M.Rutten D.Kozen N.Oliveira L.S.Barbosa J.Jeannin K.Mamouras D.Petrisan N.Foster M.Milano L.Thompson J.Endrullis H.H.Hansen D.Hendriks A.Polonsky T.Shelley L.Lyons T.Moher C.Dasgupta B.L.Silva J.Adámek F.Bonchi M.Hülsbusch B.König S.Milius

`Talks about:`

coalgebra (6) polynomi (2) analysi (2) kleen (2) infinitari (1) elementari (1) framework (1) construct (1) synthesi (1) procedur (1)

## Person: Alexandra Silva

### DBLP: Silva:Alexandra

### Contributed to:

### Wrote 10 papers:

- ICALP-v2-2015-KozenMP0 #algebra
- Nominal Kleene Coalgebra (DK, KM, DP, AS), pp. 286–298.
- POPL-2015-FosterKM0T #algebra
- A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.
- RTA-2015-EndrullisHHP0 #equation #framework #induction #reasoning
- A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
- CHI-2014-ShelleyLMDSS #data analysis #design #student
- Information-building applications: designing for data exploration and analysis by elementary school students (TS, LL, TM, CD, BLS, AS), pp. 2123–2132.
- SAC-2014-OliveiraSB #analysis #coordination
- Quantitative analysis of Reo-based service coordination (NO, AS, LSB), pp. 1247–1254.
- ESOP-2013-JeanninKS
- Language Constructs for Non-Well-Founded Computation (JBJ, DK, AS), pp. 61–80.
- FoSSaCS-2012-AdamekBHKMS #algebra
- A Coalgebraic Perspective on Minimization and Determinization (JA, FB, MH, BK, SM, AS), pp. 58–73.
- FoSSaCS-2009-BonsangueRS #algebra #polynomial #theorem
- A Kleene Theorem for Polynomial Coalgebras (MMB, JJMMR, AS), pp. 122–136.
- LICS-2009-BonsangueRS #algebra #polynomial
- An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
- FoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis
- Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.