new TOP 200 Companies filing patents this week

new Companies with the Most Patent Filings

Margus Veanes patents

Recent patents with Margus Veanes listed as an inventor - additional entries may be under other spellings.

Margus Veanes - Related organizations: Microsoft Corporation patents, Microsoft Technology Licensing, Llc patents

Gesture processing using a domain-specific gesture language

03/03/16 - 20160062468 - The claimed subject matter includes techniques for processing gestures. An example method includes receiving a gesture from an application. The gesture includes one or more primitives from a language that is domain-specific to gestures. The method also further includes receiving skeletal data from a motion detection system. The method also
Inventors: Benjamin Livshits, Margus Veanes, Loris D'antoni, Lucas S. Figueiredo, David A. Molnar

Minimizing symbolic finite automata

12/24/15 - 20150371140 - Techniques are provided herein for minimizing symbolic finite automata. The techniques for minimizing symbolic finite automata include the selection of a set of states, which may include a set of final states or a set of non-final states. By following the transitions from the selected states, techniques disclosed herein define
Inventors: Margus Veanes

String and password generation from regular expressions

12/24/15 - 20150371033 - Technologies are described herein for generating uniformly random passwords by the use of regular expressions. One or more regular expressions are used to define a constraint on a string or password. The regular expressions are processed into one or more symbolic finite automata (SFA). The one or more SFAs are
Inventors: Margus Veanes, Rani Abdellatif, Jason Paul Lockhart, Patrick Mcfalls

Managing access by applications to perceptual information

03/12/15 - 20150071555 - Functionality is described herein by which plural environment-sensing applications capture information from an environment in a fine-grained and least-privileged manner. By doing so, the functionality reduces the risk that private information that appears within the environment will be released to unauthorized parties. Among other aspects, the functionality provides an error
Inventors: Loris D'antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David A. Molnar, Alexander N. Moshchuk, Eyal Ofek, Franziska Roesner, Timothy Scott Saponas, Margus Veanes, Jiahe Helen Wang

String operations with transducers

06/14/12 - 20120151592 - There is provided a computer-implemented method for analyzing string-manipulating programs. An exemplary method comprises describing a string-manipulating program as a finite state transducer. The finite state transducer may be evaluated with a constraint solving methodology to determine whether a particular string may be provided as output by the string-manipulating program.
Inventors: Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, Prateek Saxena, David Molnar

Symbolic finite automata

05/24/12 - 20120130932 - Described are symbolic finite automata for symbolically expressing and analyzing regular expression constraints, such as for use in program analysis and testing. A regular expression or pattern is transformed into a symbolic finite automaton having transitions that are labeled by formulas that denote sets of characters (rather than individual characters).
Inventors: Margus Veanes, Jonathan Paul De Halleux, Nikolai Tillmann

Symbolic query exploration

03/03/11 - 20110055237 - A symbolic query exploration (QEX) module automatically produces output information that can be used to evaluate a database. The QEX module operates by converting an input query into a formula for processing by a satisfiability module theories (SMT) solver module. The SMT solver module generates a model that satisfies the
Inventors: Margus Veanes, Nikolai Tillmann, Jonathan Paul De Halleux, Pavel Grigorenko

### Margus Veanes patent invention listings

The bibliographic references displayed about Margus Veanes's patents are for a recent sample of Margus Veanes's publicly published patent applications. The inventor/author may have additional bibliographic citations listed at the is not associated or affiliated in any way with the author/inventor or the United States Patent/Trademark Office but is providing this non-comprehensive sample listing for educational and research purposes using public bibliographic data published and disseminated from the United States Patent/Trademark Office public datafeed. This information is also available for free on the website. If Margus Veanes filed recent patent applications under another name, spelling or location then those applications could be listed on an alternate page. If no bibliographic references are listed here, it is possible there are no recent filings or there is a technical issue with the listing--in that case, we recommend doing a search on the website.


Sign up for the FREE Keyword Monitor and check for keyword phrases (ie. "RFID" , "wireless", "web development", "fuel cells" etc.)...You will be notified when new patent applications and inventions are published that match your keywords. Also you can save for later research public patent/invention documents using our FREE Organizer. It takes only 30 seconds to sign up or login.

Advertise on - Rates & Info

### Support - Terms & Conditions