Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 70



41
TÍTULO: Brzozowski's Algorithm (Co)Algebraically
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Logic and Program Semantics, VOLUME: 7230 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 13
42
TÍTULO: Final Semantics for Decorated Traces
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Georgiana Caltais; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: MFPS, VOLUME: 286
INDEXADO EM: Scopus DBLP CrossRef: 6
43
TÍTULO: Left-Handed Completeness
AUTORES: Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS
INDEXADO EM: DBLP CrossRef: 3
44
TÍTULO: Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
AUTORES: Robert L Constable; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Logic and Program Semantics, VOLUME: 7230
INDEXADO EM: DBLP
NO MEU: DBLP
45
TÍTULO: Position Automata for Kleene Algebra with Tests
AUTORES: Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Sci. Ann. Comp. Sci., VOLUME: 22, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
46
TÍTULO: Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012  Full Text
AUTORES: Marco Carbone; Ivan Lanese; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2012, FONTE: ICE, VOLUME: 104
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
47
TÍTULO: Towards Interaction Reliability in Concurrent Applications
AUTORES: Simon Bliudze; Roberto Bruni; Marco Carbone; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Sci. Ann. Comput. Sci., VOLUME: 22, NÚMERO: 1
INDEXADO EM: DBLP CrossRef
48
TÍTULO: Trace Semantics via Determinization
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2012, FONTE: CMCS
INDEXADO EM: DBLP CrossRef: 14
49
TÍTULO: A Specification Language for Reo Connectors
AUTORES: Alexandra Silva ;
PUBLICAÇÃO: 2011, FONTE: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, VOLUME: 7141
INDEXADO EM: DBLP CrossRef: 1
NO MEU: DBLP
50
TÍTULO: Concurrency and Interaction in Complex Systems
AUTORES: Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni; Alexandra Silva ; Angelo Troina;
PUBLICAÇÃO: 2011, FONTE: Sci. Ann. Comput. Sci., VOLUME: 21, NÚMERO: 1
INDEXADO EM: DBLP
Página 5 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