Max Schaefer

Person

Oxford, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Source code element signatures
- Patent number 10,353,702
- Issue date Jul 16, 2019
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Algebraic data types for database query languages
- Patent number 10,042,884
- Issue date Aug 7, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating identifiers for tuples of recursively defined relations
- Patent number 9,830,358
- Issue date Nov 28, 2017
- Semmle Limited
- Alexander Eyers-Taylor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code element signatures
- Patent number 9,792,114
- Issue date Oct 17, 2017
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Algebraic data types for database query languages
- Patent number 9,720,961
- Issue date Aug 1, 2017
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference for datalog with complex type hierarchies
- Patent number RE46380
- Issue date Apr 25, 2017
- Semmle Limited
- Max Schaefer
Information Patent Grant
Generating identifiers for tuples of recursively defined relations
- Patent number 9,633,078
- Issue date Apr 25, 2017
- Semmle Limited
- Alexander Eyers-Taylor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,507,591
- Issue date Nov 29, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed analysis and attribution of source code
- Patent number 9,417,985
- Issue date Aug 16, 2016
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,411,578
- Issue date Aug 9, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,411,579
- Issue date Aug 9, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,262,157
- Issue date Feb 16, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference for datalog with complex type hierarchies
- Patent number 8,595,213
- Issue date Nov 26, 2013
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Approximating query results by relations over types for error detec...
- Patent number 8,332,385
- Issue date Dec 11, 2012
- Semmle Limited
- Oege de Moor
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SOURCE CODE ELEMENT SIGNATURES
- Publication number 20180101379
- Publication date Apr 12, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ALGEBRAIC DATA TYPES FOR DATABASE QUERY LANGUAGES
- Publication number 20180096026
- Publication date Apr 5, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED ANALYSIS AND ATTRIBUTION OF SOURCE CODE
- Publication number 20160140015
- Publication date May 19, 2016
- Semmle Limited
- Arthur Baars
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20160132326
- Publication date May 12, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20160098271
- Publication date Apr 7, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20150324195
- Publication date Nov 12, 2015
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20150309790
- Publication date Oct 29, 2015
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE FOR DATALOG WITH COMPLEX TYPE HIERARCHIES
- Publication number 20120016912
- Publication date Jan 19, 2012
- Semmle Limited
- Max SCHAEFER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPROXIMATING QUERY RESULTS BY RELATIONS OVER TYPES FOR ERROR DETEC...
- Publication number 20090234801
- Publication date Sep 17, 2009
- Semmle Limited
- Oege De Moor
- G06 - COMPUTING CALCULATING COUNTING

Max Schaefer

Person

Patents Grantslast 30 patents

Source code element signatures

Algebraic data types for database query languages

Generating identifiers for tuples of recursively defined relations

Source code element signatures

Algebraic data types for database query languages

Type inference for datalog with complex type hierarchies

Generating identifiers for tuples of recursively defined relations

Source code violation matching and attribution

Distributed analysis and attribution of source code

Source code violation matching and attribution

Source code violation matching and attribution

Source code violation matching and attribution

Type inference for datalog with complex type hierarchies

Approximating query results by relations over types for error detec...

Patents Applicationslast 30 patents

SOURCE CODE ELEMENT SIGNATURES

ALGEBRAIC DATA TYPES FOR DATABASE QUERY LANGUAGES

DISTRIBUTED ANALYSIS AND ATTRIBUTION OF SOURCE CODE

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

TYPE INFERENCE FOR DATALOG WITH COMPLEX TYPE HIERARCHIES

APPROXIMATING QUERY RESULTS BY RELATIONS OVER TYPES FOR ERROR DETEC...