Eerke A. Boiten

ORCID iD
https://orcid.org/0000-0002-9184-8968
  • Keywords
  • Show details Hide details
formal methods for cryptography,

Sources:
Eerke A. Boiten (2013-03-08)

integrated formal methods,

Sources:
Eerke A. Boiten (2013-03-08)

refinement,

Sources:
Eerke A. Boiten (2013-03-08)

state-based systems,

Sources:
Eerke A. Boiten (2013-03-08)

viewpoint consistency,

Sources:
Eerke A. Boiten (2013-03-08)

transformational programming,

Sources:
Eerke A. Boiten (2013-03-08)

privacy and security

Sources:
Eerke A. Boiten (2014-04-29)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 6701333437

Sources:
Scopus - Elsevier (2013-03-08)

Biography

ir, Twente, 1988. PhD, Nijmegen, 1992. Eindhoven 1993-1995. Kent 1995-2017. De Montfort, Leicester, UK, 2017-
  • : , ,

    {{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