a person in the record
Manuel António Martins
Researcher
Wikidata names Don Pigozzi and Isabel Maria Ferreirim as doctoral advisors and lists 4 doctoral students. Linked to Wikidata, ORCID, and 4 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Students on Wikidata4
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataDon Pigozzistated by WikidataIsabel Maria Ferreirim
- 2 steps up
stated by WikidataAlfred Tarskistated by WikidataWim Blok
- 3 steps up
stated by WikidataPhilip Dwingerstated by WikidataStanisław Leśniewski
- 4 steps up
stated by WikidataKazimierz Twardowskistated by WikidataWillem van der Woude
Below them, within 3 steps, the record reaches 4 people: 4 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- until 2004studied
- 2004 to 2018worked
- from 2018worked
Papers in OpenAlex103
1999most in 2016: 132026
last at University of Aveiro
writes on Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Logic, programming, and type systems, Formal Methods in Verification, Model-Driven Software Engineering Techniques
- indexed by OpenAlex2011 · Lecture notes in computer science · 4 authorscited 57
- indexed by OpenAlex2016 · Journal of Logical and Algebraic Methods in Programming · 3 authorscited 30
- indexed by OpenAlex2020 · Electronic Notes in Theoretical Computer Science · 3 authorscited 23
- indexed by OpenAlexcited 20
Introducing fuzzy reactive graphs: a simple application on biology
2021 · Soft Computing · 3 authors - indexed by OpenAlex2007 · Mathematical Structures in Computer Science · 2 authorscited 19
- indexed by OpenAlex2015 · Lecture notes in computer science · 4 authorscited 15
- indexed by OpenAlexcited 15
Hybrid Specification of Reactive Systems: An Institutional Approach
2011 · Lecture notes in computer science · 4 authors - indexed by OpenAlex2009 · Studia Logica · 3 authorscited 15
- indexed by OpenAlex2014 · Formal Aspects of Computing · 4 authorscited 14
- indexed by OpenAlex2013 · Lecture notes in computer science · 4 authorscited 14
the 25 most cited of 103
- indexed by OpenAlexcited 13
Behavioral Institutions and Refinements in Generalized Hidden Logics
2020 · Zenodo (CERN European Organization for Nuclear Research) · 1 author - indexed by OpenAlex2016 · Journal of Logic and Computation · 2 authorscited 13
- indexed by OpenAlex2016 · Science of Computer Programming · 4 authorscited 13
- indexed by OpenAlex2016 · Science of Computer Programming · 4 authorscited 13
- indexed by OpenAlex2018 · Theoretical Computer Science · 4 authorscited 12
- indexed by OpenAlexcited 12
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
2016 · Lecture notes in computer science · 4 authors - indexed by OpenAlex2007 · Theoretical Computer Science · 1 authorcited 12
- indexed by OpenAlex2021 · Journal of Logical and Algebraic Methods in Programming · 3 authorscited 10
- indexed by OpenAlex2009 · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 3 authorscited 9
- indexed by OpenAlex2022 · Science of Computer Programming · 4 authorscited 8
- indexed by OpenAlexcited 8
On interval dynamic logic: Introducing quasi-action lattices
2019 · Science of Computer Programming · 4 authors - indexed by OpenAlex2018 · Electronic Notes in Theoretical Computer Science · 3 authorscited 8
- indexed by OpenAlex2014 · Journal of Logic Language and Information · 3 authorscited 8
- indexed by OpenAlex2007 · The Computer Journal · 1 authorcited 8
- indexed by OpenAlex2018 · Lecture notes in computer science · 3 authorscited 7