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
Real time systems
Temporal logic
Taxonomies
Ontology
Semantics
Data storage equipment
Computability and decidability
Testing
Explosions
Semantic Web
Software packages
Specifications
Model checking
Telecommunication networks

Mathematics

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