Stefan Haar


Ontology type: schema:Person     


Person Info

NAME

Stefan

SURNAME

Haar

Publications in SciGraph latest 50 shown

  • 2019 Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2018-05-25 Boolean Networks: Beyond Generalized Asynchronicity in CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS
  • 2017-09-01 Temporal Reprogramming of Boolean Networks in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2017 The Complexity of Diagnosability and Opacity Verification for Petri Nets in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2016-06 Model-based testing for concurrent systems: unfolding-based test selection in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2016 Decoupling Passenger Flows for Improved Load Prediction in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016 Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph in HYBRID SYSTEMS BIOLOGY
  • 2015 Unfolding-Based Process Discovery in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2015 Non-atomic Transition Firing in Contextual Nets in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2014 Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2014
  • 2014 Active Diagnosis for Probabilistic Systems in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2014 A Canonical Contraction for Safe Petri Nets in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY IX
  • 2014 Characterization of Reachable Attractors Using Petri Net Unfoldings in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2013 Unfolding-Based Test Selection for Concurrent Conformance in TESTING SOFTWARE AND SYSTEMS
  • 2013 Languages, Decidability, and Complexity in CONTROL OF DISCRETE-EVENT SYSTEMS
  • 2013 Diagnosis with Petri Net Unfoldings in CONTROL OF DISCRETE-EVENT SYSTEMS
  • 2012-06 A concurrency-preserving translation from time Petri nets to networks of timed automata in FORMAL METHODS IN SYSTEM DESIGN
  • 2012 Conformance Relations for Labeled Event Structures in TESTS AND PROOFS
  • 2009 Monotonicity in Service Orchestrations in APPLICATIONS AND THEORY OF PETRI NETS
  • 2009 Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2008-12 Distributed Busacker–Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks in ANNALS OF TELECOMMUNICATIONS
  • 2008 Testing Systems Specified as Partial Order Input/Output Automata in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2008 Unfolding-Based Diagnosis of Systems with an Evolving Topology in CONCUR 2008 - CONCURRENCY THEORY
  • 2008 Event Structure Semantics of Orc in WEB SERVICES AND FORMAL METHODS
  • 2007 Testing Input/Output Partial Order Automata in TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS
  • 2007 Distributed End-to-End QoS Contract Negotiation in INTER-DOMAIN MANAGEMENT
  • 2006 Distributed Unfolding of Petri Nets in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2005-03 Distributed Monitoring of Concurrent and Asynchronous Systems* in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2005-03 Contributing Authors in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2004 Algorithms for Distributed Fault Management in Telecommunications Networks in TELECOMMUNICATIONS AND NETWORKING - ICT 2004
  • 2003 Distributed Monitoring of Concurrent and Asynchronous Systems in CONCUR 2003 - CONCURRENCY THEORY
  • 2002 Probabilistic Unfoldings and Partial Order Fairness in Petri Nets in PROCESS ALGEBRA AND PROBABILISTIC METHODS: PERFORMANCE MODELING AND VERIFICATION
  • 2000 A Limit Semantics for Timed PN in DISCRETE EVENT 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", 
        "familyName": "Haar", 
        "givenName": "Stefan", 
        "id": "sg:person.015066472515.27", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:48", 
        "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_1578.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.015066472515.27'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.015066472515.27 schema:familyName Haar
    2 schema:givenName Stefan
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27
    4 schema:sdDatePublished 2019-03-07T13:48
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher N08a90be7dd8e4194bd19683492d08457
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 N08a90be7dd8e4194bd19683492d08457 schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...