Travelled to:1 × Canada
1 × Japan
1 × New Zealand
1 × USA
Collaborated with:I.McQuillan M.Domaratzki L.Kari G.Wozniak S.Watt M.G.Eramian
Talks about:compress (2) viral (2) oper (2) gene (2) don (2) bio (2) biomolecul (1) stochast (1) properti (1) automata (1)
Person: Mark Daley
DBLP: Daley:Mark
Contributed to:
2007
20042005
200420032002Wrote 6 papers:
- ILC-2007-WozniakDW #abstraction #data type #policy
- Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.
- CIAA-2004-DaleyM #complexity #verification
- Viral Gene Compression: Complexity and Verification (MD, IM), pp. 102–112.
- CIAA-J-2004-DaleyM05 #formal method #modelling
- Formal modelling of viral gene compression (MD, IM), pp. 453–469.
- DLT-2004-DaleyD #on the
- On Codes Defined by Bio-Operations (MD, MD), pp. 127–138.
- CIAA-2003-DaleyEM #automaton #probability #retrieval
- Bag Automata and Stochastic Retrieval of Biomolecules in Solution (MD, MGE, IM), pp. 239–250.
- DLT-2002-DaleyK
- Some Properties of Ciliate Bio-operations (MD, LK), pp. 116–127.