Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Susan Stepney

When Does a Physical System Compute?

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2014English

Maximizing the Adjacent Possible in Automata Chemistries

Artificial Life
BiochemistryGeneticsMolecular BiologyArtificial Intelligence
2016English

MetaChem: An Algebraic Framework for Artificial Chemistries

Artificial Life
BiochemistryGeneticsMolecular BiologyArtificial Intelligence
2020English

Evolving Living Technologies—Insights From the EvoEvo Project

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

An Investigation Into the Use of Mutation Analysis for Automated Program Repair

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

CellBranch: Increment 2: Multiple Transcription Factors

2018English

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Outline Pattern Language for Z: Five Illustrations and Two Tables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Using PVS to Prove a Z Refinement: A Case Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

A Tale of Two Proofs

1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy