Ken Pierce

According to our database1, Ken Pierce authored at least 5 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM.
CoRR, 2023

2020
Early-stage analysis of cyber-physical production systems through collaborative modelling.
Softw. Syst. Model., 2020

2017
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.
Formal Aspects Comput., 2017

2014
On Formalisms for Dynamic Reconfiguration of Dependable Systems.
CoRR, 2014

2000
BMAT - A Binary Matching Tool for Stale Profile Propagation.
J. Instr. Level Parallelism, 2000


  Loading...