- Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming
- Executable LOTOS: Using PARLOG to implement an FDT #
- Techniques for comparison, pattern matching and pattern discovery
- Petri Nets for Systems and Synthetic Biology Monika Heiner1
- Alignment-Free Comparison of TOPS David Gilbert, Francesc Rossello, Gabriel Valiente
- An Overview of Data Models for the Analysis of Biochemical Pathways
- Graph-based analysis of metabolic networks JACQUES VAN HELDEN
- Representing function in biological databases27/12/00 21:12 Representing and analysing molecular
- Transforming Specifications of Observable Behaviour into Programs
- Topology--based protein structure comparison using a pattern discovery technique
- Transformations between HCLP and PCSP Michael Jampel \Lambda , JeanMarie Jacquet y
- The City University Department of Computer Science
- A structured approach for the engineering of biochemical network models,
- Deriving Logic Programs from Observations
- PARLOG: a tutorial introduction. + David Gilbert
- Representing function in biological databases27/12/00 21:12 Representing and analysing molecular
- Agents and environments Alexander Letichevsky
- A general theory of action languages Alexander Letichevsky
- Computer Science Technical Reports
- V+vt fh#u#h' hhy'+v+ #''y+ s'... h r#hi'yvp v#r...f...r#h#v' 's trr r`f...r++v' qh#h
- Timetabling in Constraint Logic Programming Maria Kambi, David Gilbert
- Computer Science Technical Reports
- Pattern discovery methods for protein topology diagrams David Gilbert (1) and Juris Viksna (2)
- Motif--based searching in TOPS protein topology databases David Gilbert 13? David Westhead 23 Nozomi Nagano 4 and Janet Thornton 345
- A Constraint Based Structure Description Language for Biosequences
- Computer Science Technical Reports
- A LOTOS to PARLOG Translator David Gilbert
- Computer Science Technical Reports
- Application of Regulatory Sequence Analysis and Metabolic Network Analysis to the Interpretation of
- Transient Analysis of Linear Circuits using Constraint Logic Programming
- Department of Computer Science May 1995 A Pattern Language for Molecular Biology
- BioNessieG -A Grid Enabled Biochemical Networks Simulation Environment
- Can computational logic provide a paradigm for both the specification and implementation of concurrent systems? \Lambday
- MultiAgent Systems as Concurrent Constraint Processes ?
- Department of Computer Science, School of Informatics, City University Northampton Square, London EC1V OHB, U.K.
- Application of Regulatory Sequence Analysis and Metabolic Network Analysis to the Interpretation of
- Searching the TOPS protein topology database http://tops.ebi.ac.uk/tops
- Logical tools for querying and assisting annotation of a metabolic and regulatory pathway database
- Interactive visualisation and exploration of biological data David Gilbert and Michael Schroeder
- Economic Modelling using Constraint Logic Programming Nelson Donovan & David Gilbert
- Approaches to visualisation in bioinformatics: from dendrograms to Space Explorer
- A Unifying Framework for Modelling and Analysing
- Une technique dclarative pour filtrer des motifs topologiques de protines 1 Une technique dclarative pour filtrer des
- FURY : Fuzzy unification and resolution based on edit distance David Gilbert and Michael Schroeder
- Department of Computer Science December 1995 Approaches to the automatic discovery of patterns in
- Analysis of Signalling Pathways Using Continuous Time Markov Chains
- A Process Algebra for Synchronous Concurrent Constraint Programming
- Concurrent Constraint Programming with Process Mobility
- Computer Science Technical Reports
- Synchronisation in Scc Lubos Brim
- Pattern matching and pattern discovery algorithms for protein topologies
- Computer Science Technical Reports
- Curriculum development in Informatics in Lithuania David Gilbert
- A Case Study in Model-driven Synthetic Biology David Gilbert, Monika Heiner, Susan Rosser, Rachael Fulton, Xu Gu and Maciej
- Specification and implementation of concurrent systems using David Gilbert
- From Petri Nets to Differential Equations -an Integrative Approach
- MSAT a Multiple Sequence Alignment tool based on TOPS Te Ren, Mallika Veeramalai, Aik Choon Tan and David Gilbert
- TOPS cartoons: formalisation, searching and comparison David Gilbert (drg@cs.city.ac.uk) 13 David Westhead 23 Janet Thornton 345 Juris Viksna 6
- Interaction of agents and environments Alexander Letichevsky 1 , David Gilbert 2
