Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



71
TÍTULO: A Kleene Theorem for Polynomial Coalgebras
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, VOLUME: 5504
INDEXADO EM: DBLP CrossRef: 9
NO MEU: DBLP
72
TÍTULO: An Algebra for Kripke Polynomial Coalgebras
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA
INDEXADO EM: DBLP CrossRef: 10
NO MEU: DBLP
73
TÍTULO: Automata for Context-Dependent Connectors
AUTORES: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLICAÇÃO: 2009, FONTE: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, VOLUME: 5521
INDEXADO EM: DBLP CrossRef: 20
NO MEU: DBLP
74
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 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
INDEXADO EM: DBLP CrossRef: 7
NO MEU: DBLP
75
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
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: 8
NO MEU: DBLP
76
TÍTULO: Coalgebraic Logic and Synthesis of Mealy Machines
AUTORES: Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, VOLUME: 4962
INDEXADO EM: DBLP CrossRef: 7
NO MEU: DBLP
77
TÍTULO: Behavioural Differential Equations and Coinduction for Binary Trees
AUTORES: Alexandra Silva ; Jan J M M Rutten;
PUBLICAÇÃO: 2007, FONTE: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, VOLUME: 4576
INDEXADO EM: DBLP CrossRef: 4
NO MEU: DBLP
78
TÍTULO: Strong types for relational databases
AUTORES: Alexandra Silva ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
Página 8 de 8. Total de resultados: 78.

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

Links Úteis

Ajuda

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