Coping with deeply nested control structures. - G. R. Perkins; R. W. Norman; Sebastian Danicic (ACM SIGPLAN Notices, 1987)

Projecting Functional Models of Imperative Programs. - Mark Harman; Sebastian Danicic (ACM SIGPLAN Notices, 1993)

A Parallel Algorithm for Static Program Slicing. - Sebastian Danicic; Mark Harman; Yoga Sivagurunathan (Inf. Process. Lett., 1995)

Using Program Slicing to Simplify Testing. - Mark Harman; Sebastian Danicic (Softw. Test. Verification Reliab., 1995)

Slicing Programs in the Presence of Errors. - Mark Harman; Dan Simpson; Sebastian Danicic (Formal Aspects Comput., 1996)

Slicing, I/O and the Implicit State. - Yoga Sivagurunathan; Mark Harman; Sebastian Danicic (AADEBUG, 1997)

Amorphous Program Slicing. - Mark Harman; Sebastian Danicic (WPC, 1997)

Analysis of Dynamic Memory Access Using Amorphous Slicing. - Mark Harman; Yoga Sivagurunathan; Sebastian Danicic (ICSM, 1998)

A new algorithm for slicing unstructured programs. - Mark Harman; Sebastian Danicic (J. Softw. Maintenance Res. Pract., 1998)

Program Simplification as a Means of Approximating Undecidable Propositions. - Mark Harman; Chris Fox; Robert M. Hierons; David W. Binkley; Sebastian Danicic (IWPC, 1999)

Using Program Slicing to Assist in the Detection of Equivalent Mutants. - Robert M. Hierons; Mark Harman; Sebastian Danicic (Softw. Test. Verification Reliab., 1999)

ConSIT: A Conditioned Program Slicer. - Chris Fox; Mark Harman; Robert M. Hierons; Sebastian Danicic (ICSM, 2000)

Espresso: A Slicer Generator. - Sebastian Danicic; Mark Harman (SAC (2), 2000)

Pre/Post Conditioned Slicing. - Mark Harman; Robert M. Hierons; Chris Fox; Sebastian Danicic; John Howroyd (ICSM, 2001)

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. - Chris Fox; Sebastian Danicic; Mark Harman; Robert M. Hierons (IWPC, 2001)

Node Coarsening Calculi for Program Slicing. - Mark Harman; Robert M. Hierons; Sebastian Danicic; John Howroyd; Michael R. Laurence; Chris Fox (WCRE, 2001)

Evolutionary Testing Supported by Slicing and Transformation. - Mark Harman; Lin Hu 005; Robert M. Hierons; Chris Fox; Sebastian Danicic; Joachim Wegener; Harmen Sthamer; André Baresel (ICSM, 2002)

VADA: A Transformation-Based System for Variable Dependence Analysis. - Mark Harman; Chris Fox; Robert M. Hierons; Lin Hu 005; Sebastian Danicic; Joachim Wegener (SCAM, 2002)

An Interprocedural Amorphous Slicer for WSL. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang; Sebastian Danicic; Mohammed Daoudi; Lahcen Ouarbya (SCAM, 2002)

ConSUS: A Scalable Approach to Conditioned Slicing. - Mohammed Daoudi; Lahcen Ouarbya; John Howroyd; Sebastian Danicic; Mark Harman; Chris Fox; Martin P. Ward (WCRE, 2002)

A Denotational Interprocedural Program Slicer. - Lahcen Ouarbya; Sebastian Danicic; Mohammed Daoudi; Mark Harman; Chris Fox (WCRE, 2002)

Amorphous program slicing. - Mark Harman; David W. Binkley; Sebastian Danicic (J. Syst. Softw., 2003)

Guaranteed inconsistency avoidance during software evolution. - Keith B. Gallagher; Mark Harman; Sebastian Danicic (J. Softw. Maintenance Res. Pract., 2003)

Equivalence of conservative, free, linear program schemas is decidable. - Michael R. Laurence; Sebastian Danicic; Mark Harman; Robert M. Hierons; John Howroyd (Theor. Comput. Sci., 2003)

Building Executable Union Slices using Conditioned Slicing. - Sebastian Danicic; Andrea De Lucia; Mark Harman (IWPC, 2004)

Formalizing Executable Dynamic and Forward Slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Lahcen Ouarbya (SCAM, 2004)

Syntax-Directed Amorphous Slicing. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang; David W. Binkley; Sebastian Danicic; Mohammed Daoudi; Lahcen Ouarbya (Autom. Softw. Eng., 2004)

ConSIT: a fully automated conditioned program slicer. - Chris Fox; Sebastian Danicic; Mark Harman; Robert M. Hierons (Softw. Pract. Exp., 2004)

Minimal Slicing and the Relationships Between Forms of Slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Bogdan Korel (SCAM, 2005)

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. - Sebastian Danicic; Chris Fox; Mark Harman; Robert M. Hierons; John Howroyd; Michael R. Laurence (Comput. J., 2005)

ConSUS: a light-weight program conditioner. - Sebastian Danicic; Mohammed Daoudi; Chris Fox; Mark Harman; Robert M. Hierons; John Howroyd; Lahcen Ouarbya; Martin P. Ward (J. Syst. Softw., 2005)

The Sound of Software: Using Sonification to Aid Comprehension. - Lewis Irwin Berman; Sebastian Danicic; Keith B. Gallagher; Nicolas Gold (ICPC, 2006)

A formal relationship between program slicing and partial evaluation. - David W. Binkley; Sebastian Danicic; Mark Harman; John Howroyd; Lahcen Ouarbya (Formal Aspects Comput., 2006)

A formalisation of the relationship between forms of program slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Bogdan Korel (Sci. Comput. Program., 2006)

Theoretical foundations of dynamic program slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Bogdan Korel (Theor. Comput. Sci., 2006)

Special issue on Programming Language Interference and Dependence. - David Clark 001; Sebastian Danicic; Roberto Giacobazzi (J. Log. Algebraic Methods Program., 2007)

A non-standard semantics for program slicing and dependence analysis. - Sebastian Danicic; Mark Harman; John Howroyd; Lahcen Ouarbya (J. Log. Algebraic Methods Program., 2007)

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. - Sebastian Danicic; Mark Harman; Robert M. Hierons; John Howroyd; Michael R. Laurence (Theor. Comput. Sci., 2007)

An Evaluation of Current Java Bytecode Decompilers. - James Alexander George Hamilton; Sebastian Danicic (SCAM, 2009)

A trajectory-based strict semantics for program slicing. - Richard W. Barraclough; David W. Binkley; Sebastian Danicic; Mark Harman; Robert M. Hierons; Ákos Kiss 001; Mike Laurence; Lahcen Ouarbya (Theor. Comput. Sci., 2010)

A survey of static software watermarking. - James Alexander George Hamilton; Sebastian Danicic (WorldCIS, 2011)

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (J. Log. Algebraic Methods Program., 2011)

Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (J. Log. Algebraic Methods Program., 2011)

On the computational complexity of dynamic slicing problems for program schemas. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (Math. Struct. Comput. Sci., 2011)

A unifying theory of control dependence and its application to arbitrary program structures. - Sebastian Danicic; Richard W. Barraclough; Mark Harman; John Howroyd; Ákos Kiss 001; Michael R. Laurence (Theor. Comput. Sci., 2011)

Dependence communities in source code. - James Alexander George Hamilton; Sebastian Danicic (ICSM, 2012)

Complexity of Data Dependence Problems for Program Schemas with Concurrency. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (ACM Trans. Comput. Log., 2012)

Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage. - Yun Zhou 001; John Howroyd; Sebastian Danicic; J. Mark Bishop (AMBN@JSAI-isAI, 2015)

Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data. - Yun Zhou 001; Minlue Wang; Valeriia Haberland; John Howroyd; Sebastian Danicic; J. Mark Bishop (New Gener. Comput., 2017)

Static Backward Slicing of Non-deterministic Programs and Systems. - Sebastian Danicic; Michael R. Laurence (ACM Trans. Program. Lang. Syst., 2018)