Clausal Computing Oy

Calculating rank

USPTO Granted Patents = 10

EPO Patents = 1

Forward Citations = 45

Loading Chart...

2 inventors (with patents filed for the assignee):

Tatu J Ylonen (10 out of 53 patents)

Tero Tapani Mononen (1 out of 4 patents)

Tatu Ylönen (8 patents)

10 patents: Sort by Forward Citations

1. 8712759 - Specializing disambiguation of a natural language expression (2014-04-29),

2. 8666923 - Semantic network clustering influenced by index omissions (2014-03-04),

3. 8660974 - Inference over semantic network with some links omitted from indexes (2014-02-25),

4. 8550404 - Electric sail with voltage multipliers in tethers (2013-10-08),

5. 8527559 - Garbage collector with concurrent flipping without read barrier and without verifying copying (2013-09-03),

6. 8504355 - Joint disambiguation of syntactic and semantic ambiguity (2013-08-06),

7. 8396904 - Utilizing information from garbage collector in serialization of large cyclic data structures (2013-03-12),

8. 8285664 - Semantic network with selective indexing (2012-10-09),

9. 8280866 - Monitoring writes using thread-local write barrier buffers and soft synchronization (2012-10-02),

10. 8244682 - Saving snapshot of a knowledge base without blocking (2012-08-14),

Company Overview

Clausal Computing Oy is a Finnish technology company specializing in advanced computing solutions that leverage formal methods and artificial intelligence. The organization focuses on developing tools and frameworks that enhance software reliability and performance, particularly in complex systems. With a commitment to innovation, Clausal Computing aims to address challenges in various sectors, including automotive, telecommunications, and industrial automation, by providing robust solutions that ensure safety and efficiency in critical applications.

Profile summary synthesized from public USPTO records and patent filings.

Company Badge

USPTO Data Jan 1 1976 - Oct 27 2026

10 Patents

#5 in

#294 in Finland

#56,119 in the World

FI

Clausal Computing Oy

Forward Citations = 45

2 inventors:

Tatu J Ylonen (10 out of 53 patents)

Tero Tapani Mononen (1 out of 4 patents)

Tatu Ylönen (8 patents)

IDiyas Innovation Intelligence. (2026). Company Patent Portfolio: Clausal Computing Oy. Retrieved from https://idiyas.com/company/clausal-computing-oy

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]

1 patent (EPO):

Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]