• Reserved Area
  • Bio
  • Publications
Haslab Logo

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
Bookmark and Share



Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.