Ming Gu

Ontology type: schema:Person     

Person Info





Publications in SciGraph latest 50 shown

  • 2016 Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers in FM 2016: FORMAL METHODS
  • 2016 Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller in FM 2016: FORMAL METHODS
  • 2015-02 Generalized interface automata with multicast synchronization in FRONTIERS OF COMPUTER SCIENCE
  • 2015-02 Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic in THEORY OF COMPUTING SYSTEMS
  • 2014-12 Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme in EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING
  • 2014-09 Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks in WIRELESS PERSONAL COMMUNICATIONS
  • 2014-04 Array Theory of Bounded Elements and its Applications in JOURNAL OF AUTOMATED REASONING
  • 2013-12 Probabilistic analysis of system outage in distributed antenna systems with composite channels in EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING
  • 2013 Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems in COMPUTER AIDED VERIFICATION
  • 2011-10 Energy-Efficient Key Distribution Using Electrocardiograph Biometric Set for Secure Communications in Wireless Body Healthcare Networks in JOURNAL OF MEDICAL SYSTEMS
  • 2011-02 Competent predicate abstraction in model checking in SCIENCE CHINA INFORMATION SCIENCES
  • 2011 Symbolic Model Checking the Knowledge in Herbivore Protocol in MODEL CHECKING AND ARTIFICIAL INTELLIGENCE
  • 2011 Domain-Driven Probabilistic Analysis of Programmable Logic Controllers in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2011 Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing in INFORMATION SECURITY PRACTICE AND EXPERIENCE
  • 2010-09 Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs in FRONTIERS OF COMPUTER SCIENCE IN CHINA
  • 2010 On Array Theory of Bounded Elements in COMPUTER AIDED VERIFICATION
  • 2010 Evaluating Importance of Websites on News Topics in PRICAI 2010: TRENDS IN ARTIFICIAL INTELLIGENCE
  • 2009-12 Equality detection for linear arithmetic constraints in JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A
  • 2009-11 A deadlock-free scheduling with sequence-dependent setup times in THE INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • 2009-03 QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector in JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
  • 2009-01 nPAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords in JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
  • 2006 An Efficient Algorithm for Fingercode-Based Biometric Identification in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS
  • 2006 Minimal Threshold Closure in COMPUTER SECURITY – ESORICS 2006
  • 2006 A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2005-09 Efficient vector quantization using genetic algorithm in NEURAL COMPUTING AND APPLICATIONS
  • 2005 Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation in COMPUTATIONAL INTELLIGENCE AND SECURITY
  • 2005 An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems in NETWORKING AND MOBILE COMPUTING
  • 2004 Enhancing the Scalability of the Community Authorization Service for Virtual Organizations in CONTENT COMPUTING
  • 2004 Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems in INFORMATION SECURITY AND PRIVACY
  • 2004 Anomaly Detection in Grid Computing Based on Vector Quantization in GRID AND COOPERATIVE COMPUTING - GCC 2004
  • 2004 Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes in INFORMATION SECURITY APPLICATIONS
  • 2003 Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services in ROBOCUP 2005: ROBOT SOCCER WORLD CUP IX
  • Affiliations

    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": "https://www.grid.ac/institutes/grid.12527.33", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
        "familyName": "Gu", 
        "givenName": "Ming", 
        "id": "sg:person.015646302766.82", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:17", 
        "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_2046.json", 
        "type": "Person"

    Download the RDF metadata as:  json-ld nt turtle xml License info


    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.015646302766.82'

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

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

    Turtle is a human-readable linked data format.

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

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

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


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