Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



61
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: CMCS@ETAPS
INDEXED IN: DBLP
62
63
TITLE: A Kleene Theorem for Polynomial Coalgebras
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: FoSSaCS
INDEXED IN: DBLP CrossRef: 9
64
TITLE: An Algebra for Kripke Polynomial Coalgebras
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: LICS
INDEXED IN: DBLP CrossRef: 13
65
TITLE: Automata for Context-Dependent Connectors
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: COORDINATION
INDEXED IN: DBLP CrossRef: 23
66
TITLE: Deriving Syntax and Axioms for Quantitative Regular Behaviours
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: CONCUR
INDEXED IN: DBLP CrossRef: 8
67
TITLE: Calculating invariants as coreflexive bisimulations
AUTHORS: Barbosa, LS ; Oliveira, JN ; Silva, A ;
PUBLISHED: 2008, SOURCE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140
INDEXED IN: Scopus WOS DBLP CrossRef: 9
68
TITLE: Coalgebraic Logic and Synthesis of Mealy Machines
AUTHORS: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2008, SOURCE: FoSSaCS
INDEXED IN: DBLP CrossRef: 8
69
TITLE: Behavioural Differential Equations and Coinduction for Binary Trees
AUTHORS: Alexandra Silva ; Jan J M M Rutten;
PUBLISHED: 2007, SOURCE: WoLLIC
INDEXED IN: DBLP CrossRef: 5
70
TITLE: Strong types for relational databases
AUTHORS: Alexandra Silva ; Joost Visser;
PUBLISHED: 2006, SOURCE: Haskell
INDEXED IN: DBLP CrossRef: 10
Page 7 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service