Alexandra Martins da Silva


AuthID: R-000-NF7

Confirmed Publications: 70



41
TITLE: Brzozowski's Algorithm (Co)Algebraically
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Logic and Program Semantics, VOLUME: 7230 LNCS
INDEXED IN: Scopus DBLP CrossRef: 13
42
TITLE: Final Semantics for Decorated Traces
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Georgiana Caltais; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: MFPS, VOLUME: 286
INDEXED IN: Scopus DBLP CrossRef: 6
43
TITLE: Left-Handed Completeness
AUTHORS: Dexter Kozen; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: RAMiCS
INDEXED IN: DBLP CrossRef: 3
44
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
45
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
46
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
47
TITLE: Towards Interaction Reliability in Concurrent Applications
AUTHORS: Simon Bliudze; Roberto Bruni; Marco Carbone; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Ann. Comput. Sci., VOLUME: 22, ISSUE: 1
INDEXED IN: DBLP CrossRef
48
TITLE: Trace Semantics via Determinization
AUTHORS: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2012, SOURCE: CMCS
INDEXED IN: DBLP CrossRef: 14
49
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
50
TITLE: Concurrency and Interaction in Complex Systems
AUTHORS: Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni; Alexandra Silva ; Angelo Troina;
PUBLISHED: 2011, SOURCE: Sci. Ann. Comput. Sci., VOLUME: 21, ISSUE: 1
INDEXED IN: DBLP
Page 5 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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