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

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

Mathematics

Automata
Benchmark
Bisimulation
Branching
Combinatorial argument
Conditioning
Confluence
Correctness
Counterexample
Data Integration
Data Management
Data Quality
Demonstrate
Directed Graph
Divergence
Exceed
Experiment
Explosion
Fault Tree
Functional Dependency
Graph Rewriting
Heuristics
Inconsistency
Internal
Interoperability
Large Set
Leader Election
Likelihood
Markov chain
Nondeterminism
Partial
Path
Reachability
Regular Expressions
Reliability Analysis
Reliability Modeling
Rewriting
Scalability
Simplification
Simplify
Specification
State Space
Timing
Uncertain Data
Uncertainty