If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where James Jerson Ortiz Vega is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Clocks
Computability and decidability
Data storage equipment
Explosions
Model checking
Ontology
Real time systems
Semantic Web
Semantics
Software packages
Specifications
Taxonomies
Telecommunication networks
Temporal logic
Testing

Mathematics

Axioms
Calculus
Communication Networks
Description Logics
Distributed Systems
First-order Logic
Java
Labeled Transition System
Logic
Modal Logic
Model Checking
Ontology
Open Source Software
Propositional Logic
Real-time
Reasoning
Semantic Web
Software Package
Timed Automata
Timing
Uncertainty