Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações Confirmadas: 78



51
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
52
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
53
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
54
TÍTULO: Towards Interaction Reliability in Concurrent Applications  Full Text
AUTORES: Simon Bliudze; Roberto Bruni; Marco Carbone; Alexandra Silva ;
PUBLICAÇÃO: 2012, FONTE: Sci. Ann. Comp. Sci., VOLUME: 22, NÚMERO: 1
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
55
TÍTULO: Trace Semantics via Determinization
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2012, FONTE: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, VOLUME: 7399
INDEXADO EM: DBLP CrossRef: 12
NO MEU: DBLP
56
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
57
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. Comp. Sci., VOLUME: 21, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
58
TÍTULO: Preface  Full Text
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2011, FONTE: Theoretical Computer Science, VOLUME: 412, NÚMERO: 38
INDEXADO EM: CrossRef: 1
59
TÍTULO: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011  Full Text
AUTORES: Alexandra Silva ; Simon Bliudze; Roberto Bruni; Marco Carbone;
PUBLICAÇÃO: 2011, FONTE: ICE, VOLUME: 59
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
60
TÍTULO: Quantitative Kleene coalgebras  Full Text
AUTORES: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLICAÇÃO: 2011, FONTE: Inf. Comput., VOLUME: 209, NÚMERO: 5
INDEXADO EM: DBLP CrossRef: 16
NO MEU: DBLP
Página 6 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