Milan Češka


Ontology type: schema:Person     


Person Info

NAME

Milan

SURNAME

Češka

Publications in SciGraph latest 50 shown

  • 2021-07-15 PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs in COMPUTER AIDED VERIFICATION
  • 2021-05-09 Counterexample-guided inductive synthesis for probabilistic systems in FORMAL ASPECTS OF COMPUTING
  • 2021-03-20 Inductive Synthesis for Probabilistic Programs Reaches New Horizons in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2020-07-14 SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2020-06-26 Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2020
  • 2020-04-15 Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2019
  • 2019-09-23 Counterexample-Driven Synthesis for Probabilistic Program Sketches in FORMAL METHODS – THE NEXT 30 YEARS
  • 2019-09-23 Model Repair Revamped in FROM REACTIVE SYSTEMS TO CYBER-PHYSICAL SYSTEMS
  • 2019-09-17 Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract) in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2019-07-12 Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2019-05-24 Approximate reduction of finite automata for high-speed network intrusion detection in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2019-04-03 Shepherding Hordes of Markov Chains in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2018-07-18 ADAC: Automated Design of Approximate Circuits in COMPUTER AIDED VERIFICATION
  • 2018-04-14 Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2018-01-26 Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2017
  • 2017-08-11 RODES: A Robust-Design Synthesis Tool for Probabilistic Systems in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2017-07-13 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2017-05-28 Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components in EURO-PAR 2016: PARALLEL PROCESSING WORKSHOPS
  • 2016-09-22 Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 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-03-28 Precise parameter synthesis for stochastic biochemical systems in ACTA INFORMATICA
  • 2015-09-02 Parameter Synthesis by Parallel Coloured CTL Model Checking in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015-07-16 Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2014 Precise Parameter Synthesis for Stochastic Biochemical Systems in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2013 Model Checking of Biological Systems in FORMAL METHODS FOR DYNAMICAL SYSTEMS
  • 2013 Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2013
  • 2013 Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking in COMPUTER AIDED VERIFICATION
  • 2012 On Parallel Software Verification Using Boolean Equation Systems in MODEL CHECKING SOFTWARE
  • 2012 Unfoldings of Bounded Hybrid Petri Nets in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2011
  • 2012 A Novel Approach to Modechart Verification of Real-Time Systems in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2011
  • 2009 Local Quantitative LTL Model Checking in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2009 Model-Based Design and Verification of Reactive Systems in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009
  • 2007-03-30 Generalised multi-pattern-based verification of programs with linear linked structures in FORMAL ASPECTS OF COMPUTING
  • 2007-01-01 Pattern-Based Verification for Trees in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2007
  • 2005 Parallel State Space Generation and Exploration on Shared-Memory Architectures in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2005
  • 2003 Partial-Order Reduction in Model Checking Object-Oriented Petri Nets in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003
  • 2001 Analysis and Verification Queries over Object-Oriented Petri Nets in COMPUTER AIDED SYSTEMS THEORY — EUROCAST 2001
  • 2000 Towards Verifying Distributed Systems Using Object-Oriented Petri Nets in COMPUTER AIDED SYSTEMS THEORY - EUROCAST’99
  • 1997 PNtalk — a computerized tool for object oriented petri nets modelling in COMPUTER AIDED SYSTEMS THEORY — EUROCAST'97
  • 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.4994.0", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.10267.32", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4991.5", 
            "type": "Organization"
          }
        ], 
        "familyName": "\u010ce\u0161ka", 
        "givenName": "Milan", 
        "id": "sg:person.016652663056.36", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-0300-9727"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36", 
          "https://orcid.org/0000-0002-0300-9727"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "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_87.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.016652663056.36'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...