Joost P. Katoen

prof.dr.ir.

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

Fingerprint Dive into the research topics where Joost P. Katoen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Nutrition
Fault tree analysis
Semantics
Formal methods
Data integration
Specifications
Scalability
Markov processes
Temporal logic
Chemical analysis
Competitive intelligence
Describing functions
Epidemiology
Aerospace applications
Costs
Directed graphs
Process engineering
Bioinformatics
Semantic Web
Computer programming
Information retrieval
Systems analysis
Nuclear energy
Probability distributions
Computer hardware
Industry
Cryptography
Distribution functions
Learning systems
Energy dissipation
Railroad cars
Experiments
Scheduling
Syntactics
Stochastic models
Linearization
Data storage equipment
Embedded systems
Explosions
Data structures
Computational complexity
Communication systems
Cables
Software design
Interoperability
Availability
Information management
Engines
NASA

Mathematics

Performability
Model Checking
Graph Rewriting
Reward
Fault Tree
Confluence
Regular Expressions
Conditioning
Automata
Counterexample
Logic
Nondeterminism
Bisimulation
Evaluation
Likelihood
Data Integration
Combinatorial argument
Leader Election
Model
State Space
Temporal Logic
Reachability
Specification
Stochastic Model
Markov chain
Exceed
Reliability Modeling
Functional Dependency
Explosion
Experiment
Uncertainty
Branching
Reliability Analysis
Rewriting
Divergence
Uncertain Data
Path