Pedro T. Monteiro

ORCID iD
https://orcid.org/0000-0002-7934-5495
  • Keywords
  • Show details Hide details
Computational Biology,

Sources:
Pedro T. Monteiro (2015-05-04)

Algorithms,

Sources:
Pedro T. Monteiro (2015-05-04)

Formal Verification,

Sources:
Pedro T. Monteiro (2015-05-04)

Biological Networks,

Sources:
Pedro T. Monteiro (2015-05-04)

Discrete event systems

Sources:
Pedro T. Monteiro (2018-01-02)

  • Websites
  • Show details Hide details
http://pedromonteiro.org

Sources:
Pedro T. Monteiro (2014-07-19)

  • Other IDs
  • Show details Hide details
ResearcherID: E-5113-2010

Sources:
ResearcherID (2013-11-25)

Scopus Author ID: 35362263400

Sources:
Scopus - Elsevier (2014-01-14)

Biography

Assistant Professor at the Departament of Computer Science and Engineering of Instituto Superior Técnico - Universidade de Lisboa (IST-UL). Researcher at INESC-ID Lisboa in the SAT group.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred) ,
      {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred) ,
      {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No employment added yet
No publications added yet

Record last modified {{lastModifiedDate}}