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

Nutrition
Model checking
Fault tree analysis
Formal methods
Data integration
Scalability
Semantics
Markov processes
Chemical analysis
Specifications
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
Linearization
Data storage equipment
Embedded systems
Explosions
Temporal logic
Data structures
Cables
Software design
Interoperability
Availability
Information management
Engines
NASA
Hardware

Mathematics

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