Is Disciplined Programming Transferable and is it Insightful? - Charles Lakos; Arthur H. J. Sale (Aust. Comput. J., 1978)

Implementing BCPL on the Borroughs B6700. - Charles Lakos (Softw. Pract. Exp., 1980)

Including an Explicit Memory Model in a Machine Description. - Charles Lakos (Aust. Comput. J., 1988)

Modelling Layered Protocols in LOOPN. - Charles Lakos; Chris D. Keen (PNPM, 1991)

A General Systematic Approach to Arc Extensions for Coloured Petri Nets. - Charles Lakos; Søren Christensen (Application and Theory of Petri Nets, 1994)

From Coloured Petri Nets to Object Petri Nets. - Charles Lakos (Application and Theory of Petri Nets, 1995)

The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. - Charles Lakos (Application and Theory of Petri Nets, 1996)

On the Abstraction of Coloured Petri Nets. - Charles Lakos (ICATPN, 1997)

Animating Formal Specifications Using Java Applets. - Charles Lakos; Glenn Lewis (TOOLS (25), 1997)

The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. - Charles Lakos; John W. Lamp (Application of Petri Nets to Communication Networks, 1999)

A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets. - Charles Lakos; Glenn Lewis (ECOOP Workshop for PhD Students in OO Systems, 1999)

Composing Abstractions of Coloured Petri Nets. - Charles Lakos (ICATPN, 2000)

A Practical Approach to Incremental Specification. - Charles Lakos; Glenn Lewis (FMOODS, 2000)

Behavior Inheritance for Object Lifecycles. - Charles Lakos; Glenn Lewis (TOOLS (33), 2000)

Incremental State Space Construction for Coloured Petri Nets. - Glenn Lewis; Charles Lakos (ICATPN, 2001)

A Cooperative Petri Net Editor. - Rémi Bastide; Charles Lakos; Philippe A. Palanque (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Object Oriented Modeling with Object Petri Nets. - Charles Lakos (Concurrent Object-Oriented Programming and Petri Nets, 2001)

The Challenge of Object Orientation for the Analysis of Concurrent Systems. - Charles Lakos (ICATPN, 2002)

Lightweight Consistency Analysis of Dataflow Process Networks. - Yan Jin; Robert Esser; Charles Lakos (ACSC, 2003)

Modular Analysis of Dataflow Process Networks. - Yan Jin; Robert Esser; Charles Lakos; Jörn W. Janneck (FASE, 2003)

Component-Based Design and Analysis: A Case Study. - Yan Jin; Charles Lakos; Robert Esser (SEFM, 2003)

Towards a Semantic Basis for Rosetta. - Catherine Menon; Charles Lakos (ACSC, 2004)

Modular Analysis of Systems Composed of Semiautonomous Subsystems. - Charles Lakos; Laure Petrucci (ACSD, 2004)

Modular Consistency Analysis of Component-Based Design. - Yan Jin; Charles Lakos; Robert Esser (J. Res. Pract. Inf. Technol., 2004)

A Petri Net View of Mobility. - Charles Lakos (FORTE, 2005)

A Proposal For Relative Time Petri Nets. - Joseph Kuehn; Charles Lakos; Robert Esser (SEFM, 2005)

Inconsistency Management and View Updates. - Catherine Menon; Michael Johnson; Charles Lakos (FESCA@ETAPS, 2005)

Modular state space exploration for timed petri nets. - Charles Lakos; Laure Petrucci (Int. J. Softw. Tools Technol. Transf., 2007)

Experiments in applying evolutionary algorithms to software verification. - Woei Shyang Siaw; Charles Lakos; Zbigniew Michalewicz; Sven Schellenberg (IEEE Congress on Evolutionary Computation, 2008)

Modelling Mobile IP with Mobile Petri Nets. - Charles Lakos (Trans. Petri Nets Other Model. Concurr., 2009)

Modular State Spaces for Prioritised Petri Nets. - Charles Lakos; Laure Petrucci (Monterey Workshop, 2010)

Extending PNML Scope: the Prioritised Petri Nets Experience. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (PNSE, 2011)

Extending pnml Scope: A Framework to Combine Petri Nets Types. - Lom-Messan Hillah; Fabrice Kordon; Charles Lakos; Laure Petrucci (Trans. Petri Nets Other Model. Concurr., 2012)

Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm. - Camille Coti; Charles Lakos; Laure Petrucci (PNSE @ Petri Nets, 2016)