Manfred Droste


Ontology type: schema:Person     


Person Info

NAME

Manfred

SURNAME

Droste

Publications in SciGraph latest 50 shown

  • 2020-11-06 Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS
  • 2017-07-25 A Nivat Theorem for Quantitative Automata on Unranked Trees in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017-06-04 On Ore’s Theorem and Universal Words for Permutations and Injections of Infinite Sets in GROUPS, MODULES, AND MODEL THEORY - SURVEYS AND RECENT DEVELOPMENTS
  • 2016-09-22 Weighted Register Automata and Weighted Logic on Data Words in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2016
  • 2016-02-26 A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2016-02-26 A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2015-10-27 Multi-weighted Automata and MSO Logic in THEORY OF COMPUTING SYSTEMS
  • 2015-09-09 Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics in ALGEBRAIC INFORMATICS
  • 2015-09-05 Logics for Weighted Timed Pushdown Automata in FIELDS OF LOGIC AND COMPUTATION II
  • 2015-08-11 Weighted Automata and Logics on Graphs in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015
  • 2015-06-23 A Logical Characterization of Timed Pushdown Languages in COMPUTER SCIENCE -- THEORY AND APPLICATIONS
  • 2015-02-24 A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2014 A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2014 Weighted Automata and Logics for Infinite Nested Words in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2013-03-07 The normal subsemigroups of the monoid of injective maps in SEMIGROUP FORUM
  • 2013 The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages in DEVELOPMENTS IN LANGUAGE THEORY
  • 2013 Multi-weighted Automata and MSO Logic in COMPUTER SCIENCE – THEORY AND APPLICATIONS
  • 2012 Weighted Nested Word Automata and Logics over Strong Bimonoids in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2012 Coverings and Decompositions of Semiring-Weighted Finite Transition Systems in FUZZY SEMIRINGS WITH APPLICATIONS TO AUTOMATA THEORY
  • 2011 Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics in ALGEBRAIC FOUNDATIONS IN COMPUTER SCIENCE
  • 2011 A Cascade Decomposition of Weighted Finite Transition Systems in DEVELOPMENTS IN LANGUAGE THEORY
  • 2011 Regular Expressions on Average and in the Long Run in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2010-01-27 Weighted automata and weighted logics on infinite words in RUSSIAN MATHEMATICS
  • 2010 Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices in DEVELOPMENTS IN LANGUAGE THEORY
  • 2010 Describing Average- and Longtime-Behavior by Weighted MSO Logics in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010
  • 2009-12 Uncountable cofinalities of automorphism groups of linear and partial orders in ALGEBRA UNIVERSALIS
  • 2009-12 Stabilizers of direct composition series in ALGEBRA UNIVERSALIS
  • 2009-09-16 Semirings and Formal Power Series in HANDBOOK OF WEIGHTED AUTOMATA
  • 2009-09-16 Weighted Automata and Weighted Logics in HANDBOOK OF WEIGHTED AUTOMATA
  • 2009-06-27 Weighted Logics for Unranked Tree Automata in THEORY OF COMPUTING SYSTEMS
  • 2008-10-14 Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs in ORDER
  • 2008-01-01 A Kleene-Schützenberger Theorem for Weighted Timed Automata in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2007-12-01 Absolute graphs with prescribed endomorphism monoid in SEMIGROUP FORUM
  • 2007-10-27 On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables in THEORY OF COMPUTING SYSTEMS
  • 2007-04-17 Normal Subgroups of BuAut(Ω) in APPLIED CATEGORICAL STRUCTURES
  • 2007-01-01 Bifinite Chu Spaces in ALGEBRAIC INFORMATICS
  • 2007-01-01 Weighted Automata and Weighted Logics with Discounting in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2007-01-01 Bifinite Chu Spaces in ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE
  • 2006 Weighted Automata and Weighted Logics on Infinite Words in DEVELOPMENTS IN LANGUAGE THEORY
  • 2005 Weighted Automata and Weighted Logics in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2004-09-15 A Kleene Theorem for Weighted Tree Automata in THEORY OF COMPUTING SYSTEMS
  • 2003-06-18 Skew and Infinitary Formal Power Series in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2003 On Minimal Event and Concrete Data Structures in DOMAIN THEORY, LOGIC AND COMPUTATION
  • 2002-04 From Petri Nets to Automata with Concurrency in APPLIED CATEGORICAL STRUCTURES
  • 2001-12-18 Continuous Petri Nets and Transition Systems in UNIFYING PETRI NETS
  • 2001-07-04 Rational Transformations of Formal Power Series in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2001-04 Complementary closed relational clones are not always Krasner clones in ALGEBRA UNIVERSALIS
  • 2000-09 The automorphism group of the universa distributive lattice in ALGEBRA UNIVERSALIS
  • 2000 On Aperiodic and Star-free Formal Power Series in Partially Commuting Variables in FORMAL POWER SERIES AND ALGEBRAIC COMBINATORICS
  • 1999-03 On Homogeneous Semilattices and Their Automorphism Groups in ORDER
  • 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.9647.c", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5718.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4488.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9909.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4868.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.22072.35", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4444.0", 
            "type": "Organization"
          }
        ], 
        "familyName": "Droste", 
        "givenName": "Manfred", 
        "id": "sg:person.010545141652.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010545141652.14"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:53", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/person/person_869.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.010545141652.14'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    28 TRIPLES      10 PREDICATES      17 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.010545141652.14 schema:affiliation N83c660b277c545a1ac4105dacffdd977
    2 grid-institutes:grid.22072.35
    3 grid-institutes:grid.4444.0
    4 grid-institutes:grid.4488.0
    5 grid-institutes:grid.4868.2
    6 grid-institutes:grid.5718.b
    7 grid-institutes:grid.9909.9
    8 schema:familyName Droste
    9 schema:givenName Manfred
    10 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010545141652.14
    11 schema:sdDatePublished 2022-06-01T22:53
    12 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    13 schema:sdPublisher N14b194d5d16a4ab395d3b8ab9608679f
    14 sgo:license sg:explorer/license/
    15 sgo:sdDataset persons
    16 rdf:type schema:Person
    17 N14b194d5d16a4ab395d3b8ab9608679f schema:name Springer Nature - SN SciGraph project
    18 rdf:type schema:Organization
    19 N83c660b277c545a1ac4105dacffdd977 schema:affiliation grid-institutes:grid.9647.c
    20 sgo:isCurrent true
    21 rdf:type schema:OrganizationRole
    22 grid-institutes:grid.22072.35 schema:Organization
    23 grid-institutes:grid.4444.0 schema:Organization
    24 grid-institutes:grid.4488.0 schema:Organization
    25 grid-institutes:grid.4868.2 schema:Organization
    26 grid-institutes:grid.5718.b schema:Organization
    27 grid-institutes:grid.9647.c schema:Organization
    28 grid-institutes:grid.9909.9 schema:Organization
     




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


    ...