Manuel António Martins

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 2

Top Topics

Reactive Systems

State Transitions

Top Venues

Publications

Tomas Veloz, Madalena Chaves, Manuel António Martins
Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18". Soft Comput. 25 (9) (2021)
Daniel Figueiredo, Eugénio Rocha, Manuel António Martins, Madalena Chaves
rPrism - A Software for Reactive Weighted State Transition Models. HSB (2019)
Manuel António Martins, George Voutsadakis
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Log. J. IGPL 21 (5) (2013)