Hillel Kugler


Ontology type: schema:Person     


Person Info

NAME

Hillel

SURNAME

Kugler

Publications in SciGraph latest 50 shown

  • 2021-01-12 Formal Semantics and Verification of Network-Based Biocomputation Circuits in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2019-09-17 BRE:IN - A Backend for Reasoning About Interaction Networks with Temporal Logic in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2019-04-28 Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks in MOLECULAR LOGIC AND COMPUTATIONAL SYNTHETIC BIOLOGY
  • 2018-10-30 Temporal Reasoning on Incomplete Paths in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. VERIFICATION
  • 2018-08-24 Formal Analysis of Network Motifs in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-10-05 Unifying Modelling and Programming: A Systems Biology Perspective in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS
  • 2016-07-07 A method to identify and analyze biological programs through automated reasoning in NPJ SYSTEMS BIOLOGY AND APPLICATIONS
  • 2015-09-02 Switching Gene Regulatory Networks in INFORMATION PROCESSING IN CELLS AND TISSUES
  • 2014 Analyzing and Synthesizing Genomic Logic Functions in COMPUTER AIDED VERIFICATION
  • 2014 Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2013 SMT-Based Analysis of Biological Computation in NASA FORMAL METHODS
  • 2013 Runtime Verification and Refutation for Biological Systems in RUNTIME VERIFICATION
  • 2013 Functional Analysis of Large-Scale DNA Strand Displacement Circuits in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2011 Model Checking Using SMT and Theory of Lists in NASA FORMAL METHODS
  • 2011 Synthesizing Biological Theories in COMPUTER AIDED VERIFICATION
  • 2010 Accelerating Smart Play-Out in SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2010 Some Thoughts on the Semantics of Biocharts in TIME FOR VERIFICATION
  • 2009 Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2009 Controller Synthesis from LSC Requirements in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2008-01-08 Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool in SOFTWARE AND SYSTEMS MODELING
  • 2007-02-08 Supporting UML-based development of embedded systems by formal techniques in SOFTWARE AND SYSTEMS MODELING
  • 2007-01-01 “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2007-01-01 Testing Scenario-Based Models in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2005 Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements in FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING
  • 2005 Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach in SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS
  • 2005 Temporal Logic for Scenario-Based Specifications in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005 Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2004 Formal Modelling of C. elegans Development. A Scenario-Based Approach in MODELLING IN MOLECULAR BIOLOGY
  • 2004 Deductive Verification of UML Models in TLPVS in < <UML> > 2004 - THE UNIFIED MODELING LANGUAGE. MODELLING LANGUAGES AND APPLICATIONS
  • 2004 The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) in INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING
  • 2003-02-28 Formal Modeling of C. elegans Development: A Scenario-Based Approach in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2002-11-05 Smart Play-out of Behavioral Requirements in FORMAL METHODS IN COMPUTER-AIDED DESIGN
  • 2001-09-20 Synthesizing State-Based Object Systems from LSC Specifications 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": "http://www.grid.ac/institutes/grid.22098.31", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.24488.32", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482020.c", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.13992.30", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.137628.9", 
            "type": "Organization"
          }
        ], 
        "familyName": "Kugler", 
        "givenName": "Hillel", 
        "id": "sg:person.0737046347.02", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0001-7924-5665"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0737046347.02", 
          "https://orcid.org/0000-0001-7924-5665"
        ], 
        "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_780.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.0737046347.02'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    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.0737046347.02 schema:affiliation N7d26007a77f545a1be5b4af9e1fe873d
    2 grid-institutes:grid.137628.9
    3 grid-institutes:grid.13992.30
    4 grid-institutes:grid.24488.32
    5 grid-institutes:grid.482020.c
    6 schema:familyName Kugler
    7 schema:givenName Hillel
    8 schema:identifier Nb3798d71406a4fc186066e24d6ab2b28
    9 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0737046347.02
    10 https://orcid.org/0000-0001-7924-5665
    11 schema:sdDatePublished 2022-01-01T19:57
    12 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    13 schema:sdPublisher N115dbde0244f4b2cb3ac43e5c3ebd703
    14 sgo:license sg:explorer/license/
    15 sgo:sdDataset persons
    16 rdf:type schema:Person
    17 N115dbde0244f4b2cb3ac43e5c3ebd703 schema:name Springer Nature - SN SciGraph project
    18 rdf:type schema:Organization
    19 N7d26007a77f545a1be5b4af9e1fe873d schema:affiliation grid-institutes:grid.22098.31
    20 sgo:isCurrent true
    21 rdf:type schema:OrganizationRole
    22 Nb3798d71406a4fc186066e24d6ab2b28 schema:name orcid_id
    23 schema:value 0000-0001-7924-5665
    24 rdf:type schema:PropertyValue
    25 grid-institutes:grid.137628.9 schema:Organization
    26 grid-institutes:grid.13992.30 schema:Organization
    27 grid-institutes:grid.22098.31 schema:Organization
    28 grid-institutes:grid.24488.32 schema:Organization
    29 grid-institutes:grid.482020.c schema:Organization
     




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


    ...