Marta Zofia Kwiatkowska


Ontology type: schema:Person     


Person Info

NAME

Marta Zofia

SURNAME

Kwiatkowska

Publications in SciGraph latest 50 shown

  • 2021-08-03 Rational verification: game-theoretic verification of multi-agent systems in APPLIED INTELLIGENCE
  • 2021-01-22 Automatic verification of concurrent stochastic systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2020-11-03 Multi-player Equilibria Verification for Concurrent Stochastic Games in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2020-07-14 PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time in COMPUTER AIDED VERIFICATION
  • 2019-11-04 Verification and Control of Turn-Based Probabilistic Real-Time Games in THE ART OF MODELLING COMPUTATIONAL SYSTEMS: A JOURNEY FROM LOGIC AND CONCURRENCY TO SECURITY AND PRIVACY
  • 2019-09-23 Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games in FORMAL METHODS – THE NEXT 30 YEARS
  • 2019-02-14 Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG in MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE
  • 2018-12-13 Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review in SYSTEMATIC REVIEWS
  • 2018-08-24 Experimental Biological Protocols with Formal Semantics in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2018-08-15 Automated Verification of Concurrent Stochastic Games in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-05-19 Model Checking Probabilistic Systems in HANDBOOK OF MODEL CHECKING
  • 2018-04-12 Feature-Guided Black-Box Safety Testing of Deep Neural Networks in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-12-22 Chemical reaction network designs for asynchronous logic circuits in NATURAL COMPUTING
  • 2017-12-08 Programming discrete distributions with chemical reaction networks in NATURAL COMPUTING
  • 2017-11-29 PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2017-08-11 RODES: A Robust-Design Synthesis Tool for Probabilistic Systems in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2017-07-25 Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017-07-13 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2017-07-13 Safety Verification of Deep Neural Networks in COMPUTER AIDED VERIFICATION
  • 2017-06-22 Probabilistic Model Checking: Advances and Applications in FORMAL SYSTEM VERIFICATION
  • 2017-03-21 Cognitive Reasoning and Trust in Human-Robot Interactions in THEORY AND APPLICATIONS OF MODELS OF COMPUTATION
  • 2017-01-24 Synthesis and Verification of Self-aware Computing Systems in SELF-AWARE COMPUTING SYSTEMS
  • 2016-12-18 A Specification Theory of Real-Time Processes in CONCURRENCY, SECURITY, AND PUZZLES
  • 2016-09-22 Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2016-09-04 A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-08-14 Chemical Reaction Network Designs for Asynchronous Logic Circuits in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2016-08-14 Programming Discrete Distributions with Chemical Reaction Networks in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2016-08-03 Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016-08-03 Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016-04-09 PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-04-09 PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-04-06 2014 CAV award announcement in FORMAL METHODS IN SYSTEM DESIGN
  • 2016-03-28 Precise parameter synthesis for stochastic biochemical systems in ACTA INFORMATICA
  • 2015-09-02 Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015-09-02 Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015-08-22 Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2015-08-19 Guiding the folding pathway of DNA origami in NATURE
  • 2015-07-16 Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2015-06-04 On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2015 Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2015 Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques in HYBRID SYSTEMS BIOLOGY
  • 2014-06-07 DNA walker circuits: computational potential, design, and verification in NATURAL COMPUTING
  • 2014 Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells in COMPUTER AIDED VERIFICATION
  • 2014 Verification of Markov Decision Processes Using Learning Algorithms in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2014 On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS
  • 2014 Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions in REACHABILITY PROBLEMS
  • 2014 Compositional Controller Synthesis for Stochastic Games in CONCUR 2014 – CONCURRENCY THEORY
  • 2014 Permissive Controller Synthesis for Probabilistic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014 Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations in HORIZONS OF THE MIND. A TRIBUTE TO PRAKASH PANANGADEN
  • 2014 Precise Parameter Synthesis for Stochastic Biochemical Systems in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 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.4991.5", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9983.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5386.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7445.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.24488.32", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.266190.a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9918.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6572.6", 
            "type": "Organization"
          }
        ], 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta Zofia", 
        "id": "sg:person.011375012273.39", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0001-9022-7599"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39", 
          "https://orcid.org/0000-0001-9022-7599"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2021-12-01T20:41", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/person/person_675.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.011375012273.39'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    35 TRIPLES      11 PREDICATES      20 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.011375012273.39 schema:affiliation N8f1b4df2d72844b78656827bb4b3dee6
    2 grid-institutes:grid.24488.32
    3 grid-institutes:grid.266190.a
    4 grid-institutes:grid.5386.8
    5 grid-institutes:grid.6572.6
    6 grid-institutes:grid.7445.2
    7 grid-institutes:grid.9918.9
    8 grid-institutes:grid.9983.b
    9 schema:familyName Kwiatkowska
    10 schema:givenName Marta Zofia
    11 schema:identifier Nde04bcfa83a74f1bbf4d9796c2021d21
    12 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
    13 https://orcid.org/0000-0001-9022-7599
    14 schema:sdDatePublished 2021-12-01T20:41
    15 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    16 schema:sdPublisher Nd0f4eb5dc2274d2596713d280f63e222
    17 sgo:license sg:explorer/license/
    18 sgo:sdDataset persons
    19 rdf:type schema:Person
    20 N8f1b4df2d72844b78656827bb4b3dee6 schema:affiliation grid-institutes:grid.4991.5
    21 sgo:isCurrent true
    22 rdf:type schema:OrganizationRole
    23 Nd0f4eb5dc2274d2596713d280f63e222 schema:name Springer Nature - SN SciGraph project
    24 rdf:type schema:Organization
    25 Nde04bcfa83a74f1bbf4d9796c2021d21 schema:name orcid_id
    26 schema:value 0000-0001-9022-7599
    27 rdf:type schema:PropertyValue
    28 grid-institutes:grid.24488.32 schema:Organization
    29 grid-institutes:grid.266190.a schema:Organization
    30 grid-institutes:grid.4991.5 schema:Organization
    31 grid-institutes:grid.5386.8 schema:Organization
    32 grid-institutes:grid.6572.6 schema:Organization
    33 grid-institutes:grid.7445.2 schema:Organization
    34 grid-institutes:grid.9918.9 schema:Organization
    35 grid-institutes:grid.9983.b schema:Organization
     




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


    ...