Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 78



51
TITLE: Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
AUTHORS: Robert L Constable; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Logic and Program Semantics, VOLUME: 7230
INDEXED IN: DBLP
IN MY: DBLP
52
TITLE: Position Automata for Kleene Algebra with Tests
AUTHORS: Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Ann. Comp. Sci., VOLUME: 22, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
53
TITLE: Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012  Full Text
AUTHORS: Marco Carbone; Ivan Lanese; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2012, SOURCE: ICE, VOLUME: 104
INDEXED IN: DBLP CrossRef
IN MY: DBLP
54
TITLE: Towards Interaction Reliability in Concurrent Applications  Full Text
AUTHORS: Simon Bliudze; Roberto Bruni; Marco Carbone; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Ann. Comp. Sci., VOLUME: 22, ISSUE: 1
INDEXED IN: DBLP CrossRef
IN MY: DBLP
55
TITLE: Trace Semantics via Determinization
AUTHORS: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: DBLP CrossRef: 12
IN MY: DBLP
56
TITLE: A Specification Language for Reo Connectors
AUTHORS: Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, VOLUME: 7141
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
57
TITLE: Concurrency and Interaction in Complex Systems
AUTHORS: Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni; Alexandra Silva ; Angelo Troina;
PUBLISHED: 2011, SOURCE: Sci. Ann. Comp. Sci., VOLUME: 21, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
58
TITLE: Preface  Full Text
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Theoretical Computer Science, VOLUME: 412, ISSUE: 38
INDEXED IN: CrossRef: 1
59
TITLE: Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011  Full Text
AUTHORS: Alexandra Silva ; Simon Bliudze; Roberto Bruni; Marco Carbone;
PUBLISHED: 2011, SOURCE: ICE, VOLUME: 59
INDEXED IN: DBLP CrossRef
IN MY: DBLP
60
TITLE: Quantitative Kleene coalgebras  Full Text
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
INDEXED IN: DBLP CrossRef: 16
IN MY: DBLP
Page 6 of 8. Total results: 78.

A place for researchers and their institutions

Useful Links

Get Help

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