Concepedia
Statistics
Publications
13
Citations
220
H-Index
12
Active since
2007
Affiliations
University of Aveiro(Current)
INESC TEC
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
QuantaLab
Ludwig-Maximilians-Universität München
Manuel A. Martins is an author at University of Aveiro specializing in formal methods, logic, and computer science.
Publications per year
2007–2021
SPIF-A: on the development of a new concept of incremental forming machine
Ricardo J. Alves de Sousa, Jorge Ferreira, João Batista Sá de Farias et al. · STRUCTURAL ENGINEERING AND MECHANICS · 2014 · 30 citations
Engineering, Industrial Engineering, Manufacturing Engineering +13
An exercise on the generation of many-valued dynamic logics
Alexandre Madeira, Renato Neves, Manuel A. Martins · Journal of Logical and Algebraic Methods in Programming · 2016 · 26 citations · Full text
Humanities, Computer Science, Mathematics +12
A Fuzzy Modal Logic for Fuzzy Transition Systems
Manisha Jain, Alexandre Madeira, Manuel A. Martins · Electronic Notes in Theoretical Computer Science · 2020 · 22 citations · Full text
Computing, Computer Science, Mathematics +15
Behavioural reasoning for conditional equations
Manuel A. Martins, Don Pigozzi · Mathematical Structures in Computer Science · 2007 · 19 citations · Full text
Computing, Computer Science, Formal Methods +10
Introducing fuzzy reactive graphs: a simple application on biology
Regivan Santiago, Manuel A. Martins, Daniel Figueiredo · Soft Computing · 2021 · 19 citations
Life Sciences, Biology, Molecular Biology +11
1–5 of 13