Reserved Area
Bio
Publications
Alexandra Silva
Software Engineering
External Researcher
(email)
Xana
There is currently no content to view in this section.
Publications By Type
Book
(1)
Book Chapter
(2)
Conference Paper
(23)
Conference Proceedings
(8)
Journal Article
(14)
Report
(21)
Thesis
(1)
Recent Publications
Trace semantics via determinization
Preface
A Compositional Model to Reason About End- to- End QoS in Stochastic Reo Connectors
Algebra- Coalgebra Duality in Brzozowski's Minimization Algorithm
Initial Algebras of Terms With Binding and Algebraic Structure
Automata Learning: A Categorical Perspective
more