Faron George Moller


Ontology type: schema:Person     


Person Info

NAME

Faron George

SURNAME

Moller

Publications in SciGraph latest 50 shown

  • 2021-03-11 Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper — in FORMAL METHODS – FUN FOR EVERYBODY
  • 2021-03-11 Teaching Them Early: Formal Methods in School in FORMAL METHODS – FUN FOR EVERYBODY
  • 2020-04-26 Visualising Railway Safety Verification in FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS
  • 2019-09-23 Teaching Discrete Mathematics to Computer Science Students in FORMAL METHODS TEACHING
  • 2018-08-23 A university-based model for supporting computer science curriculum reform in JOURNAL OF COMPUTERS IN EDUCATION
  • 2016-12-18 A Specification Theory of Real-Time Processes in CONCURRENCY, SECURITY, AND PUZZLES
  • 2016-10-05 OnTrack: The Railway Verification Toolset in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS
  • 2014-03-15 Techniques for modelling and verifying railway interlockings in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2014-03-08 Verification of Solid State Interlocking Programs in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2014-03-08 Verification of Scheme Plans Using CSP||B in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2013 Modelling Computing Systems, Mathematics for Computer Science in NONE
  • 2013 Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2012 Safety and Line Capacity in Railways – An Approach in Timed CSP in INTEGRATED FORMAL METHODS
  • 2006 Weak Bisimulation Approximants in COMPUTER SCIENCE LOGIC
  • 2003 Deciding Bisimilarity between BPA and BPP Processes in CONCUR 2003 - CONCURRENCY THEORY
  • 2002-03-15 Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds* in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2000-03-24 Simulation and Bisimulation over One-Counter Processes in STACS 2000
  • 1999 Simulation Problems for One-Counter Machine in SOFSEM’99: THEORY AND PRACTICE OF INFORMATICS
  • 1999 Techniques for Decidability and Undecidability of Bisimilarity in CONCUR’99 CONCURRENCY THEORY
  • 1996 Decidability results in automata and process theory in LOGICS FOR CONCURRENCY
  • 1996 Infinite results in CONCUR '96: CONCURRENCY THEORY
  • 1995 Checking regular properties of Petri nets in CONCUR '95: CONCURRENCY THEORY
  • 1994 A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes in CONCUR '94: CONCURRENCY THEORY
  • 1994 A fast algorithm for deciding bisimilarity of normed context-free processes in CONCUR '94: CONCURRENCY THEORY
  • 1994 The mobility workbench — A tool for the π-Calculus in COMPUTER AIDED VERIFICATION
  • 1993 Bisimulation equivalence is decidable for basic parallel processes in CONCUR'93
  • 1992 Behavioural abstraction in TCCS in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1992 Verification of parallel systems via decomposition in CONCUR '92
  • 1991 Process Algebra as a Tool for Real Time Analysis in IV HIGHER ORDER WORKSHOP, BANFF 1990
  • 1991 Relating processes with respect to speed in CONCUR '91
  • 1990 A temporal calculus of communicating systems in CONCUR '90 THEORIES OF CONCURRENCY: UNIFICATION AND EXTENSION
  • 1990 The importance of the left merge operator in process algebras in AUTOMATA, LANGUAGES AND PROGRAMMING
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.4827.9", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5037.1", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450998.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.8993.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4305.2", 
            "type": "Organization"
          }
        ], 
        "familyName": "Moller", 
        "givenName": "Faron George", 
        "id": "sg:person.010425236217.29", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0001-9535-8053"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29", 
          "https://orcid.org/0000-0001-9535-8053"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:57", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_736.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.010425236217.29'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.010425236217.29'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.010425236217.29'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.010425236217.29'


     

    This table displays all metadata directly associated to this object as RDF triples.

    29 TRIPLES      11 PREDICATES      17 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.010425236217.29 schema:affiliation N3b39027e0a834fc9ac7968e5a1a62e54
    2 grid-institutes:grid.4305.2
    3 grid-institutes:grid.450998.9
    4 grid-institutes:grid.5037.1
    5 grid-institutes:grid.8993.b
    6 schema:familyName Moller
    7 schema:givenName Faron George
    8 schema:identifier N5a15646aa895416bb2acfff5a575a4d0
    9 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
    10 https://orcid.org/0000-0001-9535-8053
    11 schema:sdDatePublished 2022-01-01T19:57
    12 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    13 schema:sdPublisher Nbbae5dfa5e654ec8b21d905f1395ac0e
    14 sgo:license sg:explorer/license/
    15 sgo:sdDataset persons
    16 rdf:type schema:Person
    17 N3b39027e0a834fc9ac7968e5a1a62e54 schema:affiliation grid-institutes:grid.4827.9
    18 sgo:isCurrent true
    19 rdf:type schema:OrganizationRole
    20 N5a15646aa895416bb2acfff5a575a4d0 schema:name orcid_id
    21 schema:value 0000-0001-9535-8053
    22 rdf:type schema:PropertyValue
    23 Nbbae5dfa5e654ec8b21d905f1395ac0e schema:name Springer Nature - SN SciGraph project
    24 rdf:type schema:Organization
    25 grid-institutes:grid.4305.2 schema:Organization
    26 grid-institutes:grid.450998.9 schema:Organization
    27 grid-institutes:grid.4827.9 schema:Organization
    28 grid-institutes:grid.5037.1 schema:Organization
    29 grid-institutes:grid.8993.b schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...