Concepedia

Allan Cheng

AC

9

Publications

385

Citations

9

H-Index

1993

Active since

Affiliations

Aarhus University(Current)

Cornell University

University of Edinburgh

Allan Cheng is an author at Aarhus University specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSoftware AnalysisComputational ComplexityProcess ControlCircuit Complexity

Publications per year

1993–2010

9

Publications

9

Complexity results for 1-safe nets

Allan Cheng, Javier Esparza, Jens Palsberg · Theoretical Computer Science · 1995 · 132 citations

Circuit Complexity, Complexity Results, Computational Complexity Theory +7

Cyclosporin A Has Direct Effects on Adult Neural Precursor Cells

Jessica Hunt, Allan Cheng, Amy Hoyles et al. · Journal of Neuroscience · 2010 · 82 citations · Full text

Immunology, Cell Death, Cyclosporin A +25

Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components

Allan Cheng, Søren Christensen, Kjeld Høyer Mortensen · DAIMI Report Series · 1997 · 79 citations · Full text

Petri Net, Ctl-like Logic, Engineering +16

Open Maps (at) Work

Allan Cheng, Mogens Nielsen · BRICS Report Series · 1995 · 29 citations · Full text

Engineering, Geovisualization, Barbed Bisimulation +17

Complexity Results for Model Checking

Allan Cheng · BRICS Report Series · 1995 · 19 citations · Full text

Kripke Structures, Engineering, Automated Reasoning +15

Rows per page

1–5 of 9