Manuel A. Martins
Orcid: 0000-0002-5109-8066Affiliations:
- University of Aveiro, Department of Mathematics, Portugal
According to our database1,
Manuel A. Martins
authored at least 67 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).
J. Log. Comput., August, 2023
Fuzzy Sets Syst., August, 2023
J. Log. Algebraic Methods Program., June, 2023
2022
J. Log. Algebraic Methods Program., 2022
Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022
2021
Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18".
Soft Comput., 2021
Soft Comput., 2021
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic.
J. Log. Algebraic Methods Program., 2021
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021
2020
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020
2019
Sci. Comput. Program., 2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the Dynamic Logic. New Trends and Applications, 2019
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019
Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019
2018
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018
Proceedings of the It's All About Coordination, 2018
2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
2016
Proceedings of the Theoretical Information Reuse and Integration, 2016
J. Log. Algebraic Methods Program., 2016
J. Appl. Log., 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
2014
Log. Methods Comput. Sci., 2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014
2013
Log. J. IGPL, 2013
Proceedings of the Proceedings 16th International Refinement Workshop, 2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2011
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2009
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
2008
2007
2006
J. Univers. Comput. Sci., 2006