Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service