Nicolas Basset


Ontology type: schema:Person     


Person Info

NAME

Nicolas

SURNAME

Basset

Publications in SciGraph latest 50 shown

  • 2020-08-25 Learning Specifications for Labelled Patterns in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2020-08-10 Falsification of Cyber-Physical Systems with Constrained Signal Spaces in NASA FORMAL METHODS
  • 2019-08-13 ParetoLib: A Python Library for Parameter Synthesis in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2019-05-28 Generation of Signals Under Temporal Constraints for CPS Testing in NASA FORMAL METHODS
  • 2018-08-26 Distance on Timed Words and Applications in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2016-08-03 Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016-03-11 Counting and Generating Permutations in Regular Classes in ALGORITHMICA
  • 2015-08-22 Timed Symbolic Dynamics in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2015 Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014 Counting and Generating Permutations Using Timed Languages in LATIN 2014: THEORETICAL INFORMATICS
  • 2014 Compositional Controller Synthesis for Stochastic Games in CONCUR 2014 – CONCURRENCY THEORY
  • 2013 Spectral Gap in Timed Automata in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2013 A Maximal Entropy Stochastic Process for a Timed Automaton, in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2012 Toward a Timed Theory of Channel Coding in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2012 Generating Functions of Timed Languages in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012
  • 2011 Thin and Thick Timed Regular Languages in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 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.450307.5", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462940.d", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4991.5", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462842.e", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464170.0", 
            "type": "Organization"
          }
        ], 
        "familyName": "Basset", 
        "givenName": "Nicolas", 
        "id": "sg:person.014372542370.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014372542370.01"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:55", 
        "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_49.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.014372542370.01'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...