Takaaki Tateishi

Person

Kanagawa-ken, JP

People

Patents Grantslast 30 patents

Information Patent Grant
Blockchain notification board storing blockchain resources
- Patent number 12,120,254
- Issue date Oct 15, 2024
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partial program execution with attribute-based data conversion for...
- Patent number 12,038,825
- Issue date Jul 16, 2024
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Handling mock objects that are written in the form of multiple assi...
- Patent number 11,989,122
- Issue date May 21, 2024
- International Busi Corporation ess Machines
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Certifying authenticity of data modifications
- Patent number 11,849,047
- Issue date Dec 19, 2023
- International Business Machines Corporation
- Hiroaki Nakamura
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Program synthesis using annotations based on enumeration patterns
- Patent number 11,790,263
- Issue date Oct 17, 2023
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Blockchain notification board storing blockchain resources
- Patent number 11,520,773
- Issue date Dec 6, 2022
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synthetic data creation for dynamic program analysis
- Patent number 11,500,844
- Issue date Nov 15, 2022
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static analysis of smart contract determinism
- Patent number 11,502,822
- Issue date Nov 15, 2022
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically extracting feature engineering knowledge from executi...
- Patent number 11,422,780
- Issue date Aug 23, 2022
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Snapshot restoration
- Patent number 11,379,316
- Issue date Jul 5, 2022
- International Business Machines Corporation
- Kohichi Kamijoh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Certifying authenticity of data modifications
- Patent number 11,374,762
- Issue date Jun 28, 2022
- International Business Machines Corporation
- Hiroaki Nakamura
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Blockchain notification board storing blockchain resources
- Patent number 11,303,442
- Issue date Apr 12, 2022
- International Business Machines Corporation
- Futoshi Iwama
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Blockchain notification board storing blockchain resources
- Patent number 10,997,159
- Issue date May 4, 2021
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Certifying authenticity of data modifications
- Patent number 10,992,456
- Issue date Apr 27, 2021
- International Business Machines Corporation
- Hiroaki Nakamura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Smart contract input mapping
- Patent number 10,901,955
- Issue date Jan 26, 2021
- International Business Machines Corporation
- Naoto Sato
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Composition operators for smart contract
- Patent number 10,896,149
- Issue date Jan 19, 2021
- International Business Machines Corporation
- Naoto Sato
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic generation of smart contracts
- Patent number 10,896,195
- Issue date Jan 19, 2021
- International Business Machines Corporation
- Naoto Sato
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for static detection and categorization of inform...
- Patent number 10,742,666
- Issue date Aug 11, 2020
- International Business Machines Corporation
- Yinnon Haviv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic program synthesis using monadic second-order logic
- Patent number 10,572,228
- Issue date Feb 25, 2020
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Information processing apparatus, information processing method and...
- Patent number 10,489,149
- Issue date Nov 26, 2019
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive analysis of a security specification
- Patent number 10,387,288
- Issue date Aug 20, 2019
- International Business Machines Corporation
- Marco Pistoia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced string analysis that improves accuracy of static analysis
- Patent number 10,372,582
- Issue date Aug 6, 2019
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal specification generation using examples
- Patent number 10,331,415
- Issue date Jun 25, 2019
- International Business Machines Corporation
- Yoichi Hatsutori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic program synthesis using monadic second-order logic
- Patent number 10,095,484
- Issue date Oct 9, 2018
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and apparatus for modular, string-sensitive, access...
- Patent number 9,858,419
- Issue date Jan 2, 2018
- International Business Machines Corporation
- Julian Timothy Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sending messages by oblivious transfer
- Patent number 9,571,271
- Issue date Feb 14, 2017
- International Business Machines Corporation
- Takaaki Tateishi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Parallel program analysis and branch prediction
- Patent number 9,454,375
- Issue date Sep 27, 2016
- International Business Machines Corporation
- Takayuki Kushida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Authenticating acceptance of a string using an automaton
- Patent number 9,397,986
- Issue date Jul 19, 2016
- GLOBALFOUNDRIES Inc.
- Takaaki Tateishi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Enhanced string analysis that improves accuracy of static analysis
- Patent number 9,336,120
- Issue date May 10, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for static detection and categorization of inform...
- Patent number 9,275,246
- Issue date Mar 1, 2016
- International Business Machines Corporation
- Yinnon Haviv
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
HANDLING MOCK OBJECTS THAT ARE WRITTEN IN THE FORM OF MULTIPLE ASSI...
- Publication number 20240004784
- Publication date Jan 4, 2024
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTIAL PROGRAM EXECUTION WITH ATTRIBUTE-BASED DATA CONVERSION FOR...
- Publication number 20230409466
- Publication date Dec 21, 2023
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATE AND TIME FEATURE IDENTIFICATION
- Publication number 20230177856
- Publication date Jun 8, 2023
- International Business Machines Corporation
- Satoshi Masuda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERFORMING AUTOMATED SEMANTIC FEATURE DISCOVERY
- Publication number 20230177032
- Publication date Jun 8, 2023
- International Business Machines Corporation
- Daniel Karl I. Weidele
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYNTHETIC DATA CREATION FOR DYNAMIC PROGRAM ANALYSIS
- Publication number 20220382732
- Publication date Dec 1, 2022
- International Business Machines Corporation
- TAKAAKI TATEISHI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES
- Publication number 20220382746
- Publication date Dec 1, 2022
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS
- Publication number 20220278848
- Publication date Sep 1, 2022
- International Business Machines Corporation
- Hiroaki Nakamura
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES
- Publication number 20220209948
- Publication date Jun 30, 2022
- International Business Machines Corporation
- Futoshi Iwama
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATICALLY EXTRACTING FEATURE ENGINEERING KNOWLEDGE FROM EXECUTI...
- Publication number 20210232936
- Publication date Jul 29, 2021
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SNAPSHOT RESTORATION
- Publication number 20200387432
- Publication date Dec 10, 2020
- International Business Machines Corporation
- Kohichi Kamijoh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC ANALYSIS OF SMART CONTRACT DETERMINISM
- Publication number 20200287708
- Publication date Sep 10, 2020
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM SYNTHESIS USING ANNOTATIONS BASED ON ENUMERATION PATTERNS
- Publication number 20200272935
- Publication date Aug 27, 2020
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA PROCESSING USING EXTERNAL INFORMATION
- Publication number 20200151266
- Publication date May 14, 2020
- International Business Machines Corporation
- Hironori Takeuchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROOF-CARRYING SMART CONTRACT
- Publication number 20200143496
- Publication date May 7, 2020
- International Business Machines Corporation
- Shin Saito
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS
- Publication number 20200112427
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Hiroaki Nakamura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS
- Publication number 20200112437
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Hiroaki Nakamura
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES
- Publication number 20200112432
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Futoshi Iwama
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS
- Publication number 20200112440
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Hiroaki Nakamura
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES
- Publication number 20200110825
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES
- Publication number 20200110824
- Publication date Apr 9, 2020
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD AND...
- Publication number 20200057635
- Publication date Feb 20, 2020
- International Business Machines Corporation
- Futoshi Iwama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPOSITION OPERATORS FOR SMART CONTRACT
- Publication number 20200034448
- Publication date Jan 30, 2020
- International Business Machines Corporation
- Naoto Sato
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC GENERATION OF SMART CONTRACTS
- Publication number 20200034469
- Publication date Jan 30, 2020
- International Business Machines Corporation
- Naoto Sato
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SMART CONTRACT INPUT MAPPING
- Publication number 20200034453
- Publication date Jan 30, 2020
- International Business Machines Corporation
- Naoto Sato
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERACTIVE ANALYSIS OF A SECURITY SPECIFICATION
- Publication number 20190361788
- Publication date Nov 28, 2019
- International Business Machines Corporation
- Marco Pistoia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC PROGRAM SYNTHESIS USING MONADIC SECOND-ORDER LOGIC
- Publication number 20180349104
- Publication date Dec 6, 2018
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL SPECIFICATION GENERATION USING EXAMPLES
- Publication number 20180129478
- Publication date May 10, 2018
- International Business Machines Corporation
- Yoichi Hatsutori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC PROGRAM SYNTHESIS USING MONADIC SECOND-ORDER LOGIC
- Publication number 20170168780
- Publication date Jun 15, 2017
- International Business Machines Corporation
- Takaaki Tateishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced String Analysis that Improves Accuracy of Static Analysis
- Publication number 20160210217
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Salvatore A. Guarnieri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...
- Publication number 20160156650
- Publication date Jun 2, 2016
- International Business Machines Corporation
- Yinnon Haviv
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Takaaki Tateishi

Person

Patents Grantslast 30 patents

Blockchain notification board storing blockchain resources

Partial program execution with attribute-based data conversion for...

Handling mock objects that are written in the form of multiple assi...

Certifying authenticity of data modifications

Program synthesis using annotations based on enumeration patterns

Blockchain notification board storing blockchain resources

Synthetic data creation for dynamic program analysis

Static analysis of smart contract determinism

Automatically extracting feature engineering knowledge from executi...

Snapshot restoration

Certifying authenticity of data modifications

Blockchain notification board storing blockchain resources

Blockchain notification board storing blockchain resources

Certifying authenticity of data modifications

Smart contract input mapping

Composition operators for smart contract

Automatic generation of smart contracts

System and method for static detection and categorization of inform...

Automatic program synthesis using monadic second-order logic

Information processing apparatus, information processing method and...

Interactive analysis of a security specification

Enhanced string analysis that improves accuracy of static analysis

Formal specification generation using examples

Automatic program synthesis using monadic second-order logic

System, method, and apparatus for modular, string-sensitive, access...

Sending messages by oblivious transfer

Parallel program analysis and branch prediction

Authenticating acceptance of a string using an automaton

Enhanced string analysis that improves accuracy of static analysis

System and method for static detection and categorization of inform...

Patents Applicationslast 30 patents

HANDLING MOCK OBJECTS THAT ARE WRITTEN IN THE FORM OF MULTIPLE ASSI...

PARTIAL PROGRAM EXECUTION WITH ATTRIBUTE-BASED DATA CONVERSION FOR...

DATE AND TIME FEATURE IDENTIFICATION

PERFORMING AUTOMATED SEMANTIC FEATURE DISCOVERY

SYNTHETIC DATA CREATION FOR DYNAMIC PROGRAM ANALYSIS

BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES

CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS

BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES

AUTOMATICALLY EXTRACTING FEATURE ENGINEERING KNOWLEDGE FROM EXECUTI...

SNAPSHOT RESTORATION

STATIC ANALYSIS OF SMART CONTRACT DETERMINISM

PROGRAM SYNTHESIS USING ANNOTATIONS BASED ON ENUMERATION PATTERNS

DATA PROCESSING USING EXTERNAL INFORMATION

PROOF-CARRYING SMART CONTRACT

CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS

CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS

BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES

CERTIFYING AUTHENTICITY OF DATA MODIFICATIONS

BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES

BLOCKCHAIN NOTIFICATION BOARD STORING BLOCKCHAIN RESOURCES

INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD AND...

COMPOSITION OPERATORS FOR SMART CONTRACT

AUTOMATIC GENERATION OF SMART CONTRACTS

SMART CONTRACT INPUT MAPPING

INTERACTIVE ANALYSIS OF A SECURITY SPECIFICATION

AUTOMATIC PROGRAM SYNTHESIS USING MONADIC SECOND-ORDER LOGIC

FORMAL SPECIFICATION GENERATION USING EXAMPLES

AUTOMATIC PROGRAM SYNTHESIS USING MONADIC SECOND-ORDER LOGIC

Enhanced String Analysis that Improves Accuracy of Static Analysis

SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORM...