Manuel A. Martins
Has grant
Associate Professor
PortugalResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
KLEE - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
Open Date: 2018-07-01
Close Date: 2021-06-01
Grant: Close
Intensionality as a unifier: Logic, Language and Philosophy
Open Date: 2018-01-01
Close Date: 2019-12-01
Grant: Close
LTSB - Logical Tools for Systems Biology.
Open Date: 2018-01-01
Close Date: 2019-12-01
Grant: Close
DaLí - Dynamic Logics for cyber-physical systems: towards contract based design
Open Date: 2016-07-01
Close Date: 2019-11-01
Grant: Close
Hybrid intensional Logic
Open Date: 2014-01-01
Close Date: 2016-01-01
Articles (11)
Year:
2023
Year:
2023
Year:
2023
Year:
2023
Year:
2022
Year:
2022
Year:
2021
Year:
2021
Year:
2021
Year:
2021
Year:
2020
Collaborators (5)
Madalena Chaves
Inria Centre de Recherche Sophia Antipolis Méditerranée
Alexandre Madeira
Assistant Professor
Universidade de Aveiro
Daniel Figueiredo
Invited lecturer
Universidade de Aveiro
M. Antonia Huertas
Associate Professor
Universitat de Girona
Víctor Aranda
Assistant professor
Universidad Complutense de Madrid
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.