Search Results1-20 of  21

  • 1 / 2
  • 桑原 寛明 ID: 9000277863419

    Articles in CiNii:1

    • A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling (2008)
  • 桑原 寛明 ID: 9000356479908

    Articles in CiNii:1

    • MAFP: Alert Management Tool for Static Checking of Source Code (2016)
  • 桑原 寛明 ID: 9000356875823

    Articles in CiNii:1

    • Declassifiers Placement for General Secrecy Lattices in Information Flow Analysis (2017)
  • 桑原 寛明 ID: 9000368927527

    Articles in CiNii:1

    • Dynamic Scheduling Method of Cooking Process Considering The Finishing Temperature of Dishes (2017)
  • 桑原 寛明 ID: 9000375916890

    Articles in CiNii:1

    • Java Annotations for Information Flow Analysis (2017)
  • 桑原 寛明 ID: 9000397848467

    Articles in CiNii:1

    • Research to prevent and improve edema on lower leg during standing work (2018)
  • KUWABARA Hiroaki ID: 9000004334911

    立命館大学 (2015 from CiNii)

    Articles in CiNii:14

    • StrutsLint : A Coding Checker for Web Application (2009)
    • An Extensible Coding Checker for JavaScript Programs (2010)
    • A Formal Description of a Real-Time Object-Oriented Language by the π-Calculus with Time (2004)
  • KUWABARA Hiroaki ID: 9000014653674

    立命館大学情報理工学部 (2015 from CiNii)

    Articles in CiNii:13

    • An Implementation of a Defence Tool against Integer Overflow Attack without Redundant Checks (2009)
    • Improvement of Accuracy of Intrusion Detection for A Secure System using Static Analysis Information (2009)
    • Development of an Automatic Parallelizing Compiler for Cell by Task Partitioning (2009)
  • KUWABARA Hiroaki ID: 9000258007001

    College of Information Science and Engineering, Ritsumeikan University (2012 from CiNii)

    Articles in CiNii:1

    • A CellML Simulation Code Generator using ODE Solving Scheme Description (2012)
  • KUWABARA Hiroaki ID: 9000258237838

    Ritsumeikan University College of Information Science and Engineering (2007 from CiNii)

    Articles in CiNii:1

    • A Test Method of Page Generators for Dependable Web Application (2007)
  • KUWABARA Hiroaki ID: 9000258238028

    College of Information Science and Engineering, Ritsumeikan University (2009 from CiNii)

    Articles in CiNii:1

    • StrutsLint: A Coding Checker for Web Application (2009)
  • KUWABARA Hiroaki ID: 9000258238184

    College of Information Science and Engineering, Ritsumeikan University (2010 from CiNii)

    Articles in CiNii:1

    • Type Error Slicing for Type-based Information Flow Analysis of Imperative Programs (2010)
  • KUWABARA Hiroaki ID: 9000263055657

    College of Information Science and Engineering, Ritsumeikan University (2013 from CiNii)

    Articles in CiNii:1

    • Coarse-Grained Frame for Replaying Editing Operation History (2013)
  • KUWABARA Hiroaki ID: 9000283468484

    Department of Computer Science, Ritsumeikan University (2015 from CiNii)

    Articles in CiNii:1

    • Improving code completion based on repetitive code completion operations (2015)
  • KUWABARA Hiroaki ID: 9000283468486

    Department of Computer Science, Ritsumeikan University (2015 from CiNii)

    Articles in CiNii:1

    • A Method of Declassifiers Placement in Information Flow Analysis (2015)
  • KUWABARA Hiroaki ID: 9000283608333

    Department of Information Science and Engineering, Ritsumeikan University (2012 from CiNii)

    Articles in CiNii:1

    • Distributed Parameter Biological Function Model Simulation with User-Provided PDE Numerical Solution Scheme (2012)
  • KUWABARA Hiroaki ID: 9000345321172

    Center for Information and Communication Technology, Nanzan University (2016 from CiNii)

    Articles in CiNii:1

    • MAFP: Alert Management Tool for Static Checking of Source Code (2016)
  • KUWABARA Hiroaki ID: 9000378101167

    Center for Information and Communication Technology, Nanzan University (2017 from CiNii)

    Articles in CiNii:1

    • Java Annotations for Information Flow Analysis (2017)
  • KUWABARA Hiroaki ID: 9000391587555

    Center for Information and Communication Technology, Nanzan University (2017 from CiNii)

    Articles in CiNii:1

    • Declassifiers Placement for General Secrecy Lattices in Information Flow Analysis (2017)
  • KUWABARA Hiroaki ID: 9000398977345

    Center for Information and Communication Technology, Nanzan University (2018 from CiNii)

    Articles in CiNii:1

    • A Pototype on Proofreader for Learning Programming. (2018)
  • 1 / 2
Page Top