Sylvain Schmitz


Ontology type: schema:Person     


Person Info

NAME

Sylvain

SURNAME

Schmitz

Publications in SciGraph latest 50 shown

  • 2017 The Complexity of Diagnosability and Opacity Verification for Petri Nets in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2016 Coverability Trees for Petri Nets with Unordered Data in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2015 Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2015 The Ideal View on Rackoff’s Coverability Technique in REACHABILITY PROBLEMS
  • 2014 Alternating Vector Addition Systems with States in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014
  • 2014 Implicational Relevance Logic is 2-ExpTime-Complete in REWRITING AND TYPED LAMBDA CALCULI
  • 2014 Complexity Bounds for Ordinal-Based Termination in REACHABILITY PROBLEMS
  • 2013 On LR Parsing with Selective Delays in COMPILER CONSTRUCTION
  • 2013 The Parametric Ordinal-Recursive Complexity of Post Embedding Problems in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2013 The Power of Well-Structured Systems in CONCUR 2013 – CONCURRENCY THEORY
  • 2013 The Power of Priority Channel Systems in CONCUR 2013 – CONCURRENCY THEORY
  • 2011 Multiply-Recursive Upper Bounds with Higman’s Lemma in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2011 Model Checking Coverability Graphs of Vector Addition Systems in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011
  • 2011 Forward Analysis and Model Checking for Trace Bounded WSTS in APPLICATIONS AND THEORY OF PETRI NETS
  • 2009 Random Generation of Deterministic Tree (Walking) Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2007 Conservative Ambiguity Detection in Context-Free Grammars in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2006 Noncanonical LALR(1) Parsing in DEVELOPMENTS IN LANGUAGE THEORY
  • 2006 Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 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": "https://www.grid.ac/institutes/grid.464035.0", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Schmitz", 
        "givenName": "Sylvain", 
        "id": "sg:person.011452353057.40", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-4101-4308"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011452353057.40", 
          "https://orcid.org/0000-0002-4101-4308"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:46", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1543.json", 
        "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.011452353057.40'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...