Jakarta
From MaRDI portal
Cited in
(20)- Ott: Effective tool support for the working semanticist
- Dynamic data integration for structural modeling: Model screening approach using a distance-based model parameterization
- Certified Static Analysis by Abstract Interpretation
- Theorem Proving in Higher Order Logics
- scientific article; zbMATH DE number 2079463 (Why is no real title available?)
- Program transformations for light-weight CPU accounting and control in the Java virtual machine
- Extracting a data flow analyser in constructive logic
- scientific article; zbMATH DE number 2043539 (Why is no real title available?)
- scientific article; zbMATH DE number 1927413 (Why is no real title available?)
- TinkerType
- LETOS
- Tool-assisted specification and verification of typed low-level languages
- pyGridWare
- A3PAT
- Optimal and sustainable extraction of groundwater in coastal aquifers
- scientific article; zbMATH DE number 2086505 (Why is no real title available?)
- The Web services resource framework in a peer-to-peer context
- A distance-based prior model parameterization for constraining solutions of spatial inverse problems
- Association Rules Using Rough Set and Association Rule Methods
- A metamodel of access control for distributed environments: applications and properties
This page was built for software: Jakarta
