Michal J. Moskal

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Modular electronic prototyping platforms
- Patent number 12,177,969
- Issue date Dec 24, 2024
- Microsoft Technology Licensing, LLC
- Stephen Edward Hodges
- H05 - ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
Information Patent Grant
Interface development and operation
- Patent number 9,286,038
- Issue date Mar 15, 2016
- Microsoft Technology Licensing, LLC
- Sebastian C Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling the release of private information using static flow an...
- Patent number 9,104,528
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Xusheng Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic parallelization in a tracing just-in-time compiler system
- Patent number 8,959,496
- Issue date Feb 17, 2015
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Media files including programming code and description
- Patent number 8,949,771
- Issue date Feb 3, 2015
- Microsoft Corporation
- Michal J. Moskal
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Electronic Prototyping
- Publication number 20240008174
- Publication date Jan 4, 2024
- Microsoft Technology Licensing, LLC
- Stephen Edward HODGES
- H05 - ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
Information Patent Application
Electronic Prototyping Interoperability
- Publication number 20240006833
- Publication date Jan 4, 2024
- Microsoft Technology Licensing, LLC
- Stephen Edward HODGES
- H01 - BASIC ELECTRIC ELEMENTS
Information Patent Application
Electronic Prototyping
- Publication number 20230389175
- Publication date Nov 30, 2023
- Microsoft Technology Licensing, LLC
- Stephen Edward HODGES
- H05 - ELECTRIC TECHNIQUES NOT OTHERWISE PROVIDED FOR
Information Patent Application
Interface Development and Operation
- Publication number 20140380205
- Publication date Dec 25, 2014
- Sebastian C. Burckhardt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Controlling the Release of Private Information Using Static Flow An...
- Publication number 20130152154
- Publication date Jun 13, 2013
- Microsoft Corporation
- Xusheng Xiao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Ranking Programs in a Marketplace System
- Publication number 20130151519
- Publication date Jun 13, 2013
- Microsoft Corporation
- Marat K. Akhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC RENDERING OF INTERACTIVE USER INTERFACE ELEMENTS
- Publication number 20130091444
- Publication date Apr 11, 2013
- Microsoft Corporation
- Jonathan Peli Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT
- Publication number 20130055138
- Publication date Feb 28, 2013
- Microsoft Corporation
- Jonathan Paul de Halleux
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEDIA FILES INCLUDING PROGRAMMING CODE AND DESCRIPTION
- Publication number 20120331438
- Publication date Dec 27, 2012
- Microsoft Corporation
- Michal J. Moskal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Parallelization in a Tracing Just-in-Time Compiler System
- Publication number 20110265067
- Publication date Oct 27, 2011
- Microsoft Corporation
- Wolfram Schulte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software Verification Using Two-State Invariants
- Publication number 20110083124
- Publication date Apr 7, 2011
- Microsoft Corporation
- Michal Jan Moskal
- G06 - COMPUTING CALCULATING COUNTING

Michal J. Moskal

Person

Patents Grantslast 30 patents

Modular electronic prototyping platforms

Interface development and operation

Controlling the release of private information using static flow an...

Automatic parallelization in a tracing just-in-time compiler system

Media files including programming code and description

Patents Applicationslast 30 patents

Electronic Prototyping

Electronic Prototyping Interoperability

Electronic Prototyping

Interface Development and Operation

Controlling the Release of Private Information Using Static Flow An...

Ranking Programs in a Marketplace System

AUTOMATIC RENDERING OF INTERACTIVE USER INTERFACE ELEMENTS

DYNAMICALLY CHANGING KEY SELECTION BASED ON CONTEXT

MEDIA FILES INCLUDING PROGRAMMING CODE AND DESCRIPTION

Automatic Parallelization in a Tracing Just-in-Time Compiler System

Software Verification Using Two-State Invariants