Items where authors include "Silva, A."

Article

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2020) Conditional transition systems with upgrades. Science of Computer Programming, 186. 102320. ISSN 0167-6423

Meyer, H., Angioni, C., Albert, C. G. et al. (397 more authors) (2019) Overview of physics studies on ASDEX Upgrade. Nuclear Fusion. 112014. ISSN 1741-4326

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (2 more authors) (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14 (1). ISSN 1860-5974

Cardoso, B.A., Girio, A., Henriques, C.M. et al. (4 more authors) (2008) Aberrant signaling in T-cell acute lymphoblastic leukemia: biological and therapeutic implications. Brazilian Journal of Medical and Biological Research, 41 (5). pp. 344-350. ISSN 0100-879X,